The latest Chamleon release includes a compiler. Chameleon programs are translated into plain Haskell (= Hindley/Milner subset plus polymorphic recursion).
Note that Chameleon comes also with a type debugger. Check out http://www.comp.nus.edu.sg/~sulzmann/chameleon/ for the latest release including a number of examples. Martin _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell