summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Grammar
AgeCommit message (Expand)Author
2012-12-19GF.Grammar.Lookup: new function lookupResDefLochallgren
2012-12-11partial evaluator workhallgren
2012-11-23Fix a prededence bug in GF grammar pretty printerhallgren
2012-11-07GF.Grammar.PatternMatch: relax overly restrictive type signatureshallgren
2012-10-25GF.Grammar.Macros: add function collectPattOphallgren
2012-10-24GF.Grammar.Macros: add function composPattOphallgren
2012-09-28GF shell, show_operations: nicer looking types for linearization functionshallgren
2012-09-27GF shell, show_operations: also show the types of linearization functionshallgren
2012-08-29Use nub' instead of nub in some places, remove some unused nub importspeter.ljunglof
2012-06-26Report many type errors instead of stopping after the first onehallgren
2012-06-25printing ResValue judgements as comments, to provide useful information when ...aarne
2012-06-15Add file name to error message when reading a bad .gfo file (in some cases)hallgren
2012-05-04alex 3 incompatibility workaroundhallgren
2012-02-24the Predef function eqVal to compare equality of parameter valuesaarne
2012-02-22gfse: experimental support for editing concrete syntax in text modehallgren
2011-12-02missing cases in GF.Grammar.Binarykr.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-15fix in the versioning of the .gfo fileskr.angelov
2011-11-15now we store version number in every .gfo file. If the file is compiled with ...kr.angelov
2011-11-15now the pretty printer in GF has a new mode called Internal. This is the most...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-10-20Introduce an explicit error value in the Term typehallgren
2011-10-20Some experiments with PSeq (left commented out)hallgren
2011-09-26don't count app nodes in term sizeaarne
2011-09-24bug fixes in code size analysisaarne
2011-09-22change the precedence for the left argument of ->kr.angelov
2011-09-22the sd -size command now shows the size of all code needed for defining an operaarne
2011-09-22documented the ss commandaarne
2011-09-21statistics on grammar size in terms of constructorsaarne
2011-09-21commands ss to show source, and sd to show the dependencies of a constantaarne
2011-09-20module for analysing source grammarsaarne
2011-09-20command ss to show source (including gfo) in text; to be extendedaarne
2011-09-07GF.Grammar.Macros: simplify composOp and composSafeOphallgren
2011-09-01GF.Grammar.*: generalized the type of some functions that can not fail from t...hallgren
2011-08-31GF.Infra.Modules: minor tweakshallgren
2011-08-30GF.Infra.Modules: keep the modules of a grammar in a finite map instead of a ...hallgren
2011-08-30GF.Grammar.Lookup: added function lookupQIdentInfohallgren
2011-08-30PatternMatch.hs: commented out suspicious unused function varsOfPatthallgren
2011-07-21GenIP, GenRP in Extra and any_Quant in ExtraEngaarne
2011-06-02Predef functions toUpper, toLower, isUpperaarne
2011-03-12make it possible to override opers defined in an interface by syntax 'instanc...aarne
2011-03-03overloaded opers included in sorting of judgementsaarne
2011-02-28the command show_operations to inspect opers in scopeaarne
2010-12-14option cc -list addedaarne
2010-12-10preparing resource api for multilingual documentationaarne
2010-11-15bugfix for the abstract operationskrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 11:41:07 +0000