By running 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
framework: tstHs2Alfa
(for the base language, Haskell 98)
and tstProp2Alfa
(for Hasell 98 + property declarations).
They can be compiled with make
progamname.
The code compiles with GHC, provided that Fudgets for GHC is installed
and a link AlfaSource
to the source code for Alfa is present.
sig
, .
and Type
are translated).
case let ... in ... of ...
class Functor f where fmap :: (a->b)->f a->f b
instance Ix a => Ix (Array a) where fmap = ...
there will be a problem with catpure of the type variable a
.
Lfp
and Gfp
are
translated, but their meaning in Alfa is probably not what it should be.
The subdirectory tests contains sample Haskell modules that the translator can translate. (There are also some test files in this directory.)