summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-11-30darcs.txt: mention that several patches can be sent at once.bringert
2005-11-30Transfer: Ord extends Eq.bringert
2005-11-30Fixed typo in overload.tr.bringert
2005-11-30Transfer: fleshed out overloading examples.bringert
2005-11-30Added transfer Maybe module.bringert
2005-11-30Remove more useless pattern matching and variable bindings in transfer compil...bringert
2005-11-29Transfer: removed some fixed TODOs.bringert
2005-11-30added transfer casesaarne
2005-11-30transfer added to GF command interpreterarne
2005-11-29Added example of composOp overloading to overload.tr.bringert
2005-11-29Added patterns with guards to transfer TODO.bringert
2005-11-29Use rec and sig for records.bringert
2005-11-29Split widesnake example. Changed examples to use rec and sig keywords.bringert
2005-11-29Added stoneage transfer example.bringert
2005-11-29Transfer: let expressions caused non-termination due to excessive strictness,...bringert
2005-11-29Transfer: added derive composFoldbringert
2005-11-29Transfer: support printing meta variable values.bringert
2005-11-29Transfer: don't eta-expand overshadowed constructors.bringert
2005-11-29Fixed type argument to recursive call in generated composOp.bringert
2005-11-29Added numerals example.bringert
2005-11-29Made layout test example more compilcated.bringert
2005-11-29In transfer beta reduction optimization: reduce bottom-up instead of top-down.bringert
2005-11-29Added meta variables to transfer front-end and core.bringert
2005-11-29Transfer generation: cat constructors should not have tree types.bringert
2005-11-29Transfer data type generation now uses the Tree type constructor for data con...bringert
2005-11-29Added GrammarToTransfer. It works, except that the constructor types are miss...bringert
2005-11-28Added TODO about layout bug.bringert
2005-11-28Transfer compiler: extended variable removal to variables bound in case expre...bringert
2005-11-28Transfer compilation: Change varibles which are not used to wildcards.bringert
2005-11-28Fixed transfer composOp generation to support tree types that don't take a si...bringert
2005-11-28Changed precedence of projection to be higher than application.bringert
2005-11-28Changed all example programs to use layout syntax.bringert
2005-11-28Regenerated transfer layout syntax module with bug-fixed BNFC. Fixed printing...bringert
2005-11-28Changed exp.tr to use layout syntax and the Cat type.bringert
2005-11-28Removed interpreter API TODO.bringert
2005-11-28Removed BNFC layout fix from transfer TODO.bringert
2005-11-28Cleaned up closure stuff in the transfer interpreter.bringert
2005-11-26Add instructions about compressing patches.bringert
2005-11-25Added evaluateExp and builtin to InterpreterAPI. Check for EOF in interactive...bringert
2005-11-25questions and transfer in shell stateaarne
2005-11-25Move transfer into the GF repo.bringert
2005-11-24Added note about read-write access on Windows.bringert
2005-11-24Document ControlMaster problem in Cygwin.bringert
2005-11-24Include darcs-cm wrapper.bringert
2005-11-24Include darcs-cm script.bringert
2005-11-24Mention what the ssh -M session looks like.bringert
2005-11-24solved: path problem in SimpleGFCpeb
2005-11-24Emphasize need to use momo.bringert
2005-11-24Added mkdir to chalmers path setup.bringert
2005-11-24simple problem tracingaarne