Programatica ToolsProgramatica Tools| Name | Last modified | Size |
|---|---|---|
| Parent Directory | - | |
| AST/ | 2006-03-31 03:35 | - |
| Flags.ghc | 2003-06-26 02:14 | 47 |
| Base2Stratego2.hs | 2005-07-19 09:29 | 128 |
| TiBase2Stratego2.hs | 2005-07-19 09:29 | 535 |
| TiProp2Stratego2.hs | 2005-10-11 01:09 | 1.4K |
| Prop2Stratego2.hs | 2005-10-11 01:09 | 1.6K |
| PropDecorate2Stratego2.hs | 2005-07-21 00:02 | 2.0K |
| PropStruct2Stratego2.hs | 2006-03-31 03:35 | 2.6K |
| StrategoCmds.hs | 2005-07-21 00:02 | 3.2K |
| BaseStruct2Stratego2.hs | 2005-10-11 01:09 | 6.1K |
pfe stratego M
For the time being, it translates a Haskell module M to a list of Decl (defined
below). Unsupported forms of declarations are ignored. The translation is
made before type checking.
The command pfe prove, which provided an earlier version of
the translation to Stratego, has been removed. The code is still available
in ../Phugs.
The subdirectory AST contains the Haskell implementation of the
abstract syntax in ../../Plogic:
| File | Corresponds to |
|---|---|
| AST/StrategoPattern.hs | Pattern.r |
| AST/StrategoProp.hs | Prop.r, Pred.r |
| AST/StrategoTerm.hs | Term.r |
| AST/StrategoType.hs | Type.r |
| AST/StrategoDecl.hs | a type for top-level declarations |
| AST/StrategoAST2.hs | collects and re-exports all |
This directory contains the translation functions and the code to hook into the PFE framework.
| File | Purpose |
|---|---|
| StrategoCmds.hs | hook it into the PFE framework |
| BaseStruct2Stratego2.hs | base syntax translation |
| PropStruct2Stratego2.hs | P-logic translation |
| Prop2Stratego2.hs | knot-tying definitions |
| Flags.ghc | compiler flags for GHC |
Show instances,
so these has to be an exact correspondence between
the Haskell data types in the AST directory and the data structures
expected in Stratego.