summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile
AgeCommit message (Expand)Author
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
2014-02-17fix in GF.Compile.Compute.ConcreteNew which makes it possible to compile Docu...kr.angelov
2014-02-09disabled ad hoc overloading, as it still causes mysterious errors. It is just...aarne
2014-02-01new overload resolution, taking care of ad hoc overloading.aarne
2014-02-01ad hoc overloading: a new way to deal with name resolution conflicts. Previou...aarne
2014-01-31typo in Concrete type checker: when type checking <e : t>, return annotated e...aarne
2014-01-31experimental type checker module GF.Compile.TypeCheck.RConcrete.hs with recor...aarne
2013-12-18PGFtoPython: add Python translations for nonExist, BIND and SOFT_BINDhallgren
2013-12-16GF.Compile.ReadFiles: reduced code duplicationhallgren
2013-12-06Show relative file paths in error messageshallgren
2013-12-06GF.Compile.CheckGrammar: add source path to error message for circular defini...hallgren
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-28GFI: adapt to character encoding changeshallgren
2013-11-26Represent identifiers as UTF-8-encoded ByteStringshallgren
2013-11-25Change how GF deals with character encodings in grammar fileshallgren
2013-11-21Some refactoring in GF.Compile and GF.Compile.GetGrammarhallgren
2013-11-21Some more monadic lifting changeshallgren
2013-11-20Removed some code duplication in GF.Compile.Updatehallgren
2013-11-20Reduced clutter in monadic codehallgren
2013-11-12Fix Issue 68: Cannot use an overloaded operator in table defined using square...hallgren
2013-11-12added Predef.SOFT_BIND. This special token allows zero or more spaces between...kr.angelov
2013-11-06Remove PGF.Signaturehallgren
2013-11-06the content of ParseEngAbs3.probs is now merged with ParseEngAbs.probs. The l...kr.angelov
2013-11-05Eliminate mutual dependencies between the GF compiler and the PGF libraryhallgren
2013-10-30added the linref construction in GF. The PGF version number is now bumpedkr.angelov
2013-10-02something in the typeinferencer of the latest GHC has changed. I need to add ...kr.angelov
2013-09-23the compiler now sorts the list of sequences in the PGF fileskr.angelov
2013-09-27a major refactoring in the C and the Haskell runtimes. Note incompatible chan...kr.angelov
2013-09-23GrammarToPGF now looks only at the top modules for the PGF flagskr.angelov
2013-09-23fix a warning in the compilerkr.angelov
2013-09-23GF.Grammar.Grammar.allExtends now returns a list of source modules instead of...kr.angelov
2013-09-19Introduce type RawIdent; only 9 imports of Data.ByteString.Char8 remainhallgren
2013-09-19Make Ident abstract; imports of Data.ByteString.Char8 down from 29 to 16 moduleshallgren
2013-09-10Some code verbosity reductionhallgren
2013-09-10Workaround for a problem with lock fieldshallgren
2013-05-30new-comp: delay eta expansion until just before partial evaluationhallgren
2013-09-09Nonlinear patterns in concrete syntax are now detected and reported as errorshallgren
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-09-03fix in the GF compiler and runtime which let us to define pre construct detec...kr.angelov