summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile/Compute/ConcreteNew.hs
AgeCommit message (Expand)Author
2017-03-06GF.Compile.Compute.ConcreteNew now can handle EPattTypekrasimir
2016-03-15more progress on the typecheckerkrasimir
2016-03-07current state of the experimental typecheckerkrasimir
2016-03-03add missing cases in vapply in the partial evaluatorkrasimir
2016-03-02fix in the typecheckerkrasimir
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-03-04GF.Compile.Compute.ConcreteNew: add dynamic table conversionhallgren
2015-03-04GF.Compile.Compute.ConcreteNew: some refactoring for readabilityhallgren
2015-02-20added option -plus-as-bind which treats (+) as a bind when used with runtime ...krasimir
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-16Some work on the haddock documentationhallgren
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-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-05Eliminate mutual dependencies between the GF compiler and the PGF libraryhallgren
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-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-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
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 12:24:56 +0000