make you can create
apfe, a command line
tool that has all the functionality of the PFE framework, plus the
ability to translate Haskell files to Alfa files.
There are also two (obsolete) test programs that don't depend on the PFE
tstHs2Alfa (for the base language, Haskell 98)
tstProp2Alfa (for Hasell 98 + property declarations).
They can be compiled with
The code compiles with GHC, provided that the directory
AlfaSource, containing certain modules from Alfa, is present
and unpack it in this directory).
case let ... in ... of ...
there will be a problem with capture of the type variable
class Functor f where fmap :: (a->b)->f a->f b instance Ix a => Ix (Array a) where fmap = ...
Gfpare translated, but their meaning in Alfa is probably not what it should be.
===) is translated to intentional equality, which differs for functions.
The subdirectory tests contains sample Haskell modules that the translator can translate. (There are also some test files in this directory.)