moved the exporting part into the parser (this is still a hack); re-added CoreHaskell again to the examples - there seems to be a problem with the variable name pat
quick_and_dirty := true;+ −
+ −
no_document use_thys+ −
["Ex/Lambda",+ −
"Ex/LF",+ −
"Ex/SingleLet",+ −
"Ex/Ex1rec",+ −
"Ex/Ex2",+ −
"Ex/Ex3",+ −
"Ex/ExLet",+ −
"Ex/ExLetRec",+ −
"Ex/TypeSchemes",+ −
"Ex/Modules",+ −
"Ex/ExPS3",+ −
"Ex/ExPS7",+ −
"Ex/CoreHaskell",+ −
"Ex/Test",+ −
"Manual/Term4"+ −
];+ −