summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile/Compute
AgeCommit message (Expand)Author
2014-12-05Eliminate the record extension operator from the Value type returned by the p...hallgren
2014-10-21ModuleName and Ident are now distinct typeshallgren
2014-10-20Remove some dead codehallgren
2014-10-16Some work on the haddock documentationhallgren
2014-10-15Fixes for the haddock documentationhallgren
2014-10-09Prelude.CAPIT is now a built-in primitive. It still generates &| in the Haske...kr.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-16Compute/ConcreteNew.hs: adding a Prawitz rewritehallgren
2014-03-17show the value in the error message when failing to get Str from valueaarne
2014-02-17fix in GF.Compile.Compute.ConcreteNew which makes it possible to compile Docu...kr.angelov
2013-11-29Commment code and options relating to the old partial evaluatorhallgren
2013-11-29Move typePredefined from GF.Compile.Compute.AppPredefined to GF.Compile.TypeC...hallgren
2013-11-29Move checkPredefError from GF.Compile.Compute.ConcreteLazy to GF.Grammar.Macroshallgren
2013-11-12added Predef.SOFT_BIND. This special token allows zero or more spaces between...kr.angelov
2013-11-05Eliminate mutual dependencies between the GF compiler and the PGF libraryhallgren
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