summaryrefslogtreecommitdiff
path: root/src/GF/Compile
AgeCommit message (Expand)Author
2007-12-16restored Int size and last ; added lib/prelude to be the last in any grammar ...aarne
2007-12-14removed dep. on GFCCRawaarne
2007-12-14restored CanonToGFCC as a wrapper of GFCC generationaarne
2007-12-13new GFCC concrete syntax in place everywhereaarne
2007-11-08partial check of dependencies with restricted inheritanceaarne
2007-10-21the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by comme...aarne
2007-10-15Slightly nicer output when reading old grammarsbernardy
2007-10-12FCat is just a plain integer nowkr.angelov
2007-10-12removing a traceaarne
2007-10-12check circularity in paramaarne
2007-10-06cleaned up obsolete GFCC referencesaarne
2007-10-05gf works with the new gfcc formataarne
2007-09-28order of FCFGS in shell state.aarne
2007-09-24remove FTypes module and move all definitions to Formalism.FCFGkr.angelov
2007-09-23remove some redundant dependencies from FCFGkr.angelov
2007-09-20compact printing of gf filesaarne
2007-09-19adapted GFCC2FCFG to other uses of GFCC, made it to default parseraarne
2006-12-28GFCC to FCFG conversionkr_angelov
2007-09-17bud fix in reading gfc without gfraarne
2007-09-16strict reading of files; bug fix in readFiles in ShellStateaarne
2007-07-05hacky solution to name resolution warningsaarne
2007-07-02contravariance in forgiving lock fieldsaarne
2007-06-19extended functor syntaxaarne
2007-06-18fixed the mysterious "file..gfc" erroraarne
2007-06-18overloading in ParadigmsFreaarne
2007-06-17checking name conflicts; some RGs don't work nowaarne
2007-06-08pattern matching optimization; trace of fun in compilation with -vaarne
2007-05-31syntax interfacesaarne
2007-05-31overload checking and messages; resource.txt modifsaarne
2007-05-15started direct compiler from GF to GFCCaarne
2007-05-03removed the Str/Tok distinction in CheckGrammar - obsolete anyway.aarne
2007-01-11fix in etaexpand optimizationaarne
2007-01-10a slight optimization in eta expandaarne
2007-01-10semantics of variantsaarne
2006-12-21length test in overloadaarne
2006-12-21overload rules and their documentationaarne
2006-12-19overload resolution with value type, for experimentaarne
2006-12-19partial application in overload resolution, with priority for full appaarne
2006-11-24rename patterns bug fixaarne
2006-11-21Constructors documentedaarne
2006-11-18overloading API and examplesaarne
2006-11-18normalize record types in overload resolutionaarne
2006-11-18overload syntax; type printing in CheckGrammaraarne
2006-11-17oper overloading: first implemenatation using recordsaarne
2006-11-14internal representation for param value indexaarne
2006-11-13bug fix with ** in Evaluationaarne
2006-11-12thread EEnv into ShellStateaarne
2006-11-12i -eval bug fixed: should work nowaarne
2006-11-10new compilation phase, not finishedaarne
2006-11-09lookup with more informationaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 23:01:10 +0000