Programatica Tools, tools/hs2stratego

Name	Last modified	Size
Parent Directory		-
Flags.ghc	2003-06-26 02:14	47
Base2Stratego2.hs	2005-07-19 09:29	128
TiBase2Stratego2.hs	2005-07-19 09:29	535
PropDecorate2Stratego2.hs	2005-07-21 00:02	2.0K
StrategoCmds.hs	2005-07-21 00:02	3.2K
BaseStruct2Stratego2.hs	2005-10-11 01:09	6.1K
Prop2Stratego2.hs	2005-10-11 01:09	1.6K
TiProp2Stratego2.hs	2005-10-11 01:09	1.4K
AST/	2006-03-31 03:35	-
PropStruct2Stratego2.hs	2006-03-31 03:35	2.6K

2003-06-26 02:14

Base2Stratego2.hs

2005-07-19 09:29

128

TiBase2Stratego2.hs

2005-07-19 09:29

535

PropDecorate2Stratego2.hs

2005-07-21 00:02

2.0K

StrategoCmds.hs

2005-07-21 00:02

3.2K

BaseStruct2Stratego2.hs

2005-10-11 01:09

6.1K

Prop2Stratego2.hs

2005-10-11 01:09

1.6K

TiProp2Stratego2.hs

2005-10-11 01:09

1.4K

AST/

2006-03-31 03:35

PropStruct2Stratego2.hs

2006-03-31 03:35

2.6K

What is in this directory (hs2stratego)

The code in this directory implements a simple translation of Haskell code to the Stratego representation defined in ../../Plogic. There is one new pfe command:

    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.



Files


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


About the translation

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

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

A new data type for top-level declarations have been introduced, see AST/StrategoDecl.hs.
All top-level names are replaced with their original name (qualified name).
Function bindings and list comprehensions are simplified as in the Haskell 98 report.
The output is produced by using derived 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.

Changes that should be made in the Stratego files

Some constructors names with hyphen have to be renamed:
- Prop-decl ==> PropDecl
- Lfp-Pred ==> LfpPred
- Gfp-Pred ==> GfpPred
- Pred-abs ==> PredAbs
- Pred-decl ==> PredDecl
The sort HBranch used in the constructor HCase isn't declared. The result of the constructor HBranch is declared to be Term, but should presumably be HBranch.

Other things TODO

HAbs takes a single pattern, but should probably take a list of patterns, since "\ p1 p2 -> e" is not the same as "\ p1 -> \ p2 -> e".
Make room for literals other than integers (strings, characters, fractional)
Make room for the record syntax (or translate it away).
Make sure the translation of types makes sense.
Make room for qualified types.
Make room for negation in patterns?
Make room for the equivalence connective <==>.
Are constructor applications assumed to be saturated?
Make room for type signatures in expressions, e.g. (+)::(Int->Int->Int)
...

Authors: TH

Contact: TH

Programatica Tools

Directory tools/hs2stratego

What is in this directory (hs2stratego)

Files

About the translation

Changes that should be made in the Stratego files

Other things TODO