summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile/CheckGrammar.hs
AgeCommit message (Expand)Author
2021-07-07Replace tabs for whitespace in source codeJohn J. Camilleri
2021-07-01Make imports in CheckGrammar a little more explicitJohn J. Camilleri
2021-07-01Rename GF.Compile.TypeCheck.RConcrete to GF.Compile.TypeCheck.ConcreteJohn J. Camilleri
2021-07-01Rename GF.Compile.Compute.ConcreteNew to GF.Compile.Compute.ConcreteJohn J. Camilleri
2019-09-20more dead codekrangelov
2019-09-20remove obsolete codekrangelov
2019-04-25GF.Compile.CheckGrammar: discard bad 'lincat C = …' with a warningThomas Hallgren
2018-04-18Fixes for GHC 8.4.1 compatibilityThomas Hallgren
2016-03-02the experimental type checker in GF.Compile.TypeCheck.ConcreteNew is now rewr...krasimir
2015-02-20added option -plus-as-bind which treats (+) as a bind when used with runtime ...krasimir
2014-10-21ModuleName and Ident are now distinct typeshallgren
2014-08-22Command line flag -s/-q now silences all warningshallgren
2014-07-27Introducing GF.Text.Pretty for more concise pretty printers and GF.Infra.Loca...hallgren
2014-01-31experimental type checker module GF.Compile.TypeCheck.RConcrete.hs with recor...aarne
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-26Represent identifiers as UTF-8-encoded ByteStringshallgren
2013-11-20Reduced clutter in monadic codehallgren
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-04-10gf -s/-q now silences "no linearization of" warningshallgren
2012-12-14More work on the new partial evaluatorhallgren
2012-12-11partial evaluator workhallgren
2012-11-13Adding a new experimental partial evalutatorhallgren
2012-10-19Consistenly use SourceGrammar instead of [SourceModule] when calling compiler...hallgren
2012-06-26Experiment with parallel grammar checkshallgren
2012-06-26Report many type errors instead of stopping after the first onehallgren
2011-12-02The typechecker is still unfinished but at least it can typecheck the English...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-17bugfix in the overload resolution. It was accidentally introduced as part of ...kr.angelov
2011-11-15more structured format for errors and warnings from the compilerkr.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-08-30GF.Infra.Modules: keep the modules of a grammar in a finite map instead of a ...hallgren
2010-11-12operations in the abstract syntaxkrasimir
2010-07-01reorganize the modules in GF.Compile.*krasimir
2010-05-28refactoring in GF.Grammar.Grammarkrasimir
2010-03-23typo in CheckGrammarkrasimir
2010-03-23use the new more accurate location information for some error messageskrasimir
2010-03-22store and propagate the exact source location for all judgements in the gramm...krasimir
2010-02-16no need to keep the list of constructors per category in .gfokrasimir
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter f...krasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 05:29:03 +0000