summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile/Compute
AgeCommit message (Expand)Author
2013-09-27a major refactoring in the C and the Haskell runtimes. Note incompatible chan...kr.angelov
2013-09-19Make Ident abstract; imports of Data.ByteString.Char8 down from 29 to 16 moduleshallgren
2013-09-09partial evaluator: prettier complaint about nonlinears patternshallgren
2013-09-09partial evaluator: complain about nonlinear patternshallgren
2013-09-09Fix an old name shadowing bug in concrete syntax by removing the refresh passhallgren
2013-08-23nonExist now does the expected thingkr.angelov
2013-03-16Fix a problem with pattern macros in pre { } expressionshallgren
2013-03-12partial evaluator: push predefined functions inside variantshallgren
2013-02-27Faster regular expression pattern matching in the grammar compiler.hallgren
2013-01-29Better error message for unsupported token gluinghallgren
2013-01-28Better error message for Predef.errorhallgren
2013-01-11partial evaluator: fix token glueing bughallgren
2012-12-19partial evaluator bug fixhallgren
2012-12-19GF.Grammar.Lookup: new function lookupResDefLochallgren
2012-12-18partial evaluator bug fixhallgren
2012-12-14Add language extension for ghc<7.4hallgren
2012-12-14More work on the new partial evaluatorhallgren
2012-12-11partial evaluator workhallgren
2012-12-10Compute.ConcreteNew: add missing case for variant functionshallgren
2012-12-06Compute.ConcreteNew: bug fix for indirectly defined pattern macroshallgren
2012-11-16new-comp: rewrite f (x|y) into (f x|f y)hallgren
2012-11-13Adding a new experimental partial evalutatorhallgren
2012-10-24Compute.ConcreteNew: support variantshallgren
2012-05-15missing case in partial evaluation of + fixedaarne
2012-02-28bug fix in AppPredefined: don't compare values that contain variables. this s...aarne
2012-02-24the Predef function eqVal to compare equality of parameter valuesaarne
2011-12-02The typechecker is still unfinished but at least it can typecheck the English...kr.angelov
2011-11-30Hopefully complete Value type and a little bit more on computations.kr.angelov
2011-11-30more stuff in the new type checkerkr.angelov
2011-11-29Sketch of the new type checker for the concrete syntax. Enabled only with -ne...kr.angelov
2011-11-10Now PMCFG is compiled per module and at the end we only link it. The new comp...kr.angelov
2011-11-02merge GF.Infra.Modules and GF.Grammar.Grammar. This is a preparation for the ...kr.angelov
2011-11-02Now the compiler maintains more precise information for the source locations ...kr.angelov
2011-11-01Remove configuration flag cclazyhallgren
2011-10-25Recording an alternative version of look in Compute/ConcreteLazy.hshallgren
2011-10-24use associativity to force more precompilation of pre expressionsaarne
2011-10-20Introduce an explicit error value in the Term typehallgren
2011-10-20Compute/ConcreteLazy.hs: no need to reverse when looking up labels in recordshallgren
2011-10-20AppPredefined.hs: more readable notation for the types of primitiveshallgren
2011-09-09Remove unused function computeConcreteRec.hallgren
2011-09-01Add lazy version of GF.Compile.Compute.Concretehallgren
2011-08-25reload command in shellaarne
2011-08-22commented Compute/Concrete with explanationsaarne
2011-06-02Predef functions toUpper, toLower, isUpperaarne
2011-02-25Predef.error surfaces as error message in compilation and cc commandaarne
2010-12-11fixed the failure to partial-evaluate pre in right-associative contextaarne
2010-07-01the abstract syntax for Predef.gf is now hard-coded in AppPredefined.hskrasimir
2010-07-01reorganize the modules in GF.Compile.*krasimir