Programatica ToolsProgramatica ToolsThe README file is displayed below the directory index.
| Name | Last modified | Size |
|---|---|---|
| Parent Directory | - | |
| ScopeNamesBase.hs | 2001-10-29 22:37 | 507 |
| tests/ | 2002-02-01 00:13 | - |
| NameMapsBase.hs | 2002-03-05 03:04 | 1.1K |
| ReAssoc.hs | 2002-10-20 09:12 | 1.9K |
| ReAssocModule.hs | 2002-10-22 23:42 | 633 |
| FreeNamesBase.hs | 2002-10-23 00:28 | 597 |
| ScopeNames.hs | 2003-03-04 06:17 | 938 |
| ReAssocBase.hs | 2004-12-06 23:36 | 815 |
| ReAssocBaseStruct.hs | 2004-12-06 23:36 | 3.7K |
| NameMapsBaseStruct.hs | 2004-12-16 01:36 | 8.4K |
| NameMaps.hs | 2005-05-03 09:23 | 3.2K |
| FreeNames.hs | 2005-05-12 22:58 | 2.1K |
| ScopeNamesBaseStruct.hs | 2005-05-12 22:58 | 5.6K |
| PNT.hs | 2005-05-19 04:48 | 1.8K |
| Tst.hs | 2005-06-25 09:06 | 639 |
| DefinedNames.hs | 2005-07-21 00:02 | 2.7K |
| DefinedNamesBase.hs | 2005-07-21 00:02 | 956 |
| DefinedNamesBaseStruct.hs | 2005-07-21 00:02 | 4.3K |
| FreeNamesBaseStruct.hs | 2005-10-11 01:09 | 4.9K |
| Flags.ghc | 2006-04-27 03:28 | 105 |
| ScopeModule.hs | 2009-01-04 11:18 | 8.7K |
| UniqueNames.hs | 2009-01-04 11:18 | 2.6K |
This directory defines functions for identifiers in abstract syntax trees. We use overloading to allow the same function names to be reused in extended versions of the syntax. The functions are thus methods in a small number of classes. These classes are:
| Class | Description |
|---|---|
| DefinedNames
ClassMethods ... | A method to compute the set of names introduced by declarations and patterns. Also, in a separate class, a method to compute the set of methods defined by a class declaration. |
| FreeNames | A method to compute the set of names that occur free in declarations, expressions, patterns and type expressions |
| NameMaps | Traverse an abstract syntax tree and apply a given function to every identifier. Some context information is provided by the traversal function. |
| ReAssoc | Rewrite expressions according to operator precedence and associativity. |
| ScopeNames | Pair identifiers with the environment in which it should be interpreted. |
For each of these classes, there is
| Class definition | re-usable instances | knot-tying instances |
|---|---|---|
| DefinedNames | DefinedNamesBaseStruct | DefinedNamesBase |
| FreeNames | FreeNamesBaseStruct | FreeNamesBase |
| NameMaps | NameMapsBaseStruct | NameMapsBase |
| ReAssoc | ReAssocBaseStruct | ReAssocBase |
| ScopeNames | ScopeNamesBaseStruct | ScopeNamesBase |
There are some additional modules in this directory:
| Module | Purpose |
|---|---|
| PNT | A data type PNT for identifiers carrying information on what unique entity it refers to, what type of entity it is (class, type, value, ...) and the position where it occurred in the source code. |
| UniqueNames | Data type Orig (origin) to identity where something is defined. Data type PN to tag an identifier with an origin. |
| ReAssocModule | A function for applying the reAssoc method to a module in the appropriate top level environment. |
| ScopeModule | Functions for applying the scoping pass to a module. The output is an abstract syntax tree containing identifiers of type PNT. |