summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile
AgeCommit message (Expand)Author
2012-05-15missing case in partial evaluation of + fixedaarne
2012-03-26Workaround for bug in ghc-7.2.2hallgren
2012-02-28bug fix in AppPredefined: don't compare values that contain variables. this s...aarne
2012-02-28buf fix in the compiler for HOASkr.angelov
2012-02-24the Predef function eqVal to compare equality of parameter valuesaarne
2012-01-14sorted the list of funs and cats in GrammatToPGF to get the predef categories...aarne
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
2011-11-24now if some module is compiled with -no-pmcfg then the PMCFG code is generate...kr.angelov
2011-11-22make addSequencesB(V) strict. Otherwise we get stack overflow when compiling ...kr.angelov
2011-11-17rebuildModule should do location globalization tookr.angelov
2011-11-17bugfix in the overload resolution. It was accidentally introduced as part of ...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 errors messages from GF.Compile.Update also follow the new formatkr.angelov
2011-11-15the indirections in the .gf-tags files now point directly to the origin of th...kr.angelov
2011-11-15more structured format for errors and warnings from the compilerkr.angelov
2011-11-14bugfix in the new PGF generationkr.angelov
2011-11-14the new design for -tagskr.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-11-01Remove configuration flag cclazyhallgren
2011-10-25Recording an alternative version of look in Compute/ConcreteLazy.hshallgren
2011-10-25qualification with real module name accepted, as in GF refmanaarne
2011-10-24use associativity to force more precompilation of pre expressionsaarne
2011-10-20Introduce an explicit error value in the Term typehallgren
2011-10-20Compute/ConcreteLazy.hs: no need to reverse when looking up labels in recordshallgren
2011-10-20AppPredefined.hs: more readable notation for the types of primitiveshallgren
2011-09-09Remove unused function computeConcreteRec.hallgren
2011-09-01Add lazy version of GF.Compile.Compute.Concretehallgren
2011-08-31GF.Compile.Coding: cleaner code 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-30GrammarToPGF.hs: comment out unused importshallgren
2011-08-25reload command in shellaarne
2011-08-22commented Compute/Concrete with explanationsaarne
2011-07-21GenIP, GenRP in Extra and any_Quant in ExtraEngaarne
2011-06-02Predef functions toUpper, toLower, isUpperaarne
2011-04-06generate Eq instance for GADTaarne
2011-04-06fixed the printing of predefined and list categories in haskell=gadtaarne
2011-03-12make it possible to override opers defined in an interface by syntax 'instanc...aarne
2011-03-12make later flags take priority over earlier ones in PGF generation aarne
2011-03-05added composOp generation to haskell-gadt, and an example in examples/gadt-tr...aarne
2011-03-04revived GADT generationaarne
2011-03-04fixed a variable refreshing bug in the compileraarne
2011-02-25Predef.error surfaces as error message in compilation and cc commandaarne
2010-12-17bugfix: GeneratePMCFG should initialize the lexicon to emptykrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 15:36:28 +0000