summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile
AgeCommit message (Expand)Author
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
2014-09-27checked that course of value tables (table P [...]) have the correct number o...aarne
2014-09-17forgot to type check the type of a typed let expressionkr.angelov
2014-09-17the type checker for the abstract syntax now allows let expressions in def ru...kr.angelov
2014-09-11a major revision of the bytecode generator and JIT compiler. the effect is th...kr.angelov
2014-09-05the code for def rules now uses proper graph update to preserve lazynesskr.angelov
2014-09-05full support for recursive def rules in the C runtimekr.angelov
2014-09-01partial implementation for recursive def ruleskr.angelov
2014-08-25Experimental: parallel batch compilation of grammarshallgren
2014-08-22Command line flag -s/-q now silences all warningshallgren
2014-08-20Add lifted directory operations in GF.System.Directory to eliminate the need ...hallgren
2014-08-19GF.Compile.ReadFiles: a simpler & faster way to convert from Latin1 to UTF-8hallgren
2014-08-13Fix warnings in 16 modules, mostly forward compatibility warnings from GHC 7.8hallgren
2014-08-13Refactoring in GF.Compile and GF.ReadFiles with an eye to parallel compilationhallgren
2014-08-11pattern matching in def rules is now supportedkr.angelov
2014-08-11a partial support for def rules in the C runtimekr.angelov
2014-07-28Convert from Text.PrettyPrint to GF.Text.Prettyhallgren
2014-07-27Introducing GF.Text.Pretty for more concise pretty printers and GF.Infra.Loca...hallgren
2014-06-17Compute/ConcreteNew.hs: eliminate selections from wildcard tableshallgren
2014-06-12PGF library: expose only PGF and PGF.Internal instead of all moduleshallgren
2014-05-24now we compile context-free grammars directly to PGF without going via GF sou...kr.angelov
2014-05-16Compute/ConcreteNew.hs: adding a Prawitz rewritehallgren
2014-05-16Fix an eta expansion bug in the grammar compilerhallgren
2014-04-04TypeCheck.RConcrete: contravariance in table typeshallgren
2014-04-04Removed imports of TypeCheck.Concrete, fixed problems in TypeCheck.RConcretehallgren
2014-04-01Bug fix for pattern macros in pre{}hallgren
2014-03-21refactor the compilation of CFG and EBNF grammars. Now they are parsed by usi...kr.angelov
2014-03-17show the value in the error message when failing to get Str from valueaarne
2014-03-15bugfix in the compiler for linref of empty recordkr.angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 23:22:34 +0000