summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile
AgeCommit message (Expand)Author
2016-03-02a better interface between the type checker and the partial evaluatorkrasimir
2016-03-02the experimental type checker in GF.Compile.TypeCheck.ConcreteNew is now rewr...krasimir
2015-12-02GF shell, cc command: try to compute pre{...} tokens in token sequenceshallgren
2015-09-30cc -trace: don't try to show the bodies of lambda abstractionshallgren
2015-09-28Preliminary new shell feature: cc -trace.hallgren
2015-08-28Comment out some dead code found with -fwarn-unused-bindshallgren
2015-06-23Bump version of .gfo and .pgf files, improve error messages on version mismatchhallgren
2015-05-11added all orthographic primitiveskrasimir
2015-04-14Translating linearization functions to Haskell: move Haskell AST and pretty p...hallgren
2015-04-07GF.Compile.ConcreteToHaskell: some documentationhallgren
2015-03-05remove some more old codekrasimir
2015-03-05removed some operations in GeneratePMCFG. They didn't work well with variants...krasimir
2015-03-04GF.Compile.Compute.ConcreteNew: add dynamic table conversionhallgren
2015-03-04GF.Compile.Compute.ConcreteNew: some refactoring for readabilityhallgren
2015-03-02Fix to avoid "error (no reason given) OCCURRED IN optimizing <cat>"hallgren
2015-02-20added option -plus-as-bind which treats (+) as a bind when used with runtime ...krasimir
2015-02-16Changes for compatibility with ghc-7.10-rc2hallgren
2015-02-12Translating linearization functions to Haskell: more simplificationshallgren
2015-02-11Translating linearization functions to Haskell: simplify the generated Haskel...hallgren
2015-02-09Translating linearization functions to Haskell: support for variantshallgren
2015-01-19Translating linearization functions to Haskell: move a common record type to ...hallgren
2015-01-14Translating linearization functions to Haskell: better treatment of special t...hallgren
2015-01-08Translating linearization functions to Haskell: add support for pre {...}hallgren
2015-01-07Translating linearization functions to Haskell: use qualified names to avoid ...hallgren
2015-01-06Translating linearization functions to Haskell: significant code size reductionshallgren
2015-01-06More work on translating linearization functions to Haskellhallgren
2014-12-11Work in progress on translating linearization functions to Haskellhallgren
2014-12-08Haddock documentation: expose exportPGF, some other small improvementshallgren
2014-12-05Eliminate the record extension operator from the Value type returned by the p...hallgren
2014-10-31now (+) in the abstract syntax works, i.e. it knows how to deal with partial ...kr.angelov
2014-10-30a more efficient tail call by using the new TUCK instructionkr.angelov
2014-10-26an explicit SAVE instructionkr.angelov
2014-10-22an explicit PUSH_FRAME instructionkr.angelov
2014-10-21ModuleName and Ident are now distinct typeshallgren
2014-10-20use of 'head' in TypeCheck/RConcrete created an uncomprehensible error messag...aarne
2014-10-20Remove some dead codehallgren
2014-10-16Some work on the haddock documentationhallgren
2014-10-16More haddock documentation improvementshallgren
2014-10-16finally proper stack unwind in the evaluatorkr.angelov
2014-10-15Fixes for the haddock documentationhallgren
2014-10-14the compiler now allows + to be used as a floating point addition in the abst...kr.angelov
2014-10-14yet another bugfix in the byte codekr.angelov
2014-10-14another bugfix in the byte code generationkr.angelov
2014-10-14bugfix in the bytecode generatorkr.angelov
2014-10-09Prelude.CAPIT is now a built-in primitive. It still generates &| in the Haske...kr.angelov
2014-10-08now we statically allocate closures for all top-level functions and all nulla...kr.angelov
2014-10-07bugfix in the byte code compilerkr.angelov
2014-10-06using instruction RET was wrong; now use EVALkr.angelov
2014-09-29minor stylistic change in GenerateBCkr.angelov
2014-09-29bugfix in the pattern matching compiler and a number of other fixes that I so...kr.angelov