summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile
AgeCommit message (Collapse)Author
37 hoursUpdate GeneratePMCFG.hsoptimizeadelon
46 hoursBetter names, less codeadelon
46 hoursUse non-strict functions (makes little difference)adelon
47 hoursRoll back spacing changes for minimal diffadelon
2 daysRemove cache (no clear benefit)adelon
2 daysComments, `count` -> `areaSum`adelon
3 daysSlightly more explicit namingadelon
3 daysTestsadelon
3 daysBenchmarks, initial sketchesadelon
2025-08-13add import Control.Monad when generating .hs with GADTsInari Listenmaa
2025-08-02define return in terms of pure, >> as *>, mappend as <>Inari Listenmaa
In preparation for deprecation, see https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid and https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
2025-08-02add whitespace on list comprehensions, applications etc.Inari Listenmaa
text editor interprets these things as errors (e.g. unterminated qq for list comprehension) and underlines red, even though there is no real error.
2023-09-25Indent each line of an error messageAndreas Källberg
By indenting each line instead of just the first, we simplify the work of the gf-lsp parser, so we can see which errors are the same
2021-07-12Clean up redundant case expressionsAndreas Källberg
2021-07-12Remove last traces of the Either in value2termAndreas Källberg
2021-07-12Remove the `Either Int` from value2termAndreas Källberg
This prevents HUGE space leak and makes compiling a PGF a LOT faster For example, an application grammar moved from taking over 50GB of ram and taking 5 minutes (most of which is spent on garbage colelction) to taking 1.2 seconds and using 42mb of memory The price we pay is that the "variable #n is out of scope" error is now lazy and will happen when we try to evaluate the term instead of happening when the function returns and allowing the caller to chose how to handle the error. I don't think this should matter in practice, since it's very rare; at least Inari has never encountered it.
2021-07-08Fix bug introduced in cdbe73eb475cf44e1a45b2abacb12756e394016aJohn J. Camilleri
Apparently I don't understand how pattern-matching works in Haskell
2021-07-08Remove two missing-methods warningsJohn J. Camilleri
2021-07-07Replace tabs for whitespace in source codeJohn J. Camilleri
2021-07-06Merge branch 'master' into concrete-newInari Listenmaa
2021-07-06Merge pull request #118 from GrammaticalFramework/canonicalInari Listenmaa
Fixes to canonical compilation
2021-07-02Merge pull request #57 from inariksit/cc-bugfix-rgl-onlyInari Listenmaa
Hotfix for #56 (cc doesn't work for many RGL languages)
2021-07-01Add --haskell=pgf2 flagJohn 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
2021-07-01Make cleanupRecordFields also recurse into variantsJohn J. Camilleri
It's possible that more constructors need to be handled
2021-07-01Remove record fields not in lincatJohn J. Camilleri
Fixes #100, #101
2021-07-01Add top-level signatures and general code cleanupJohn J. Camilleri
2021-06-30Sort record fields in lin definitionsJohn J. Camilleri
Fixes #102
2021-06-30Make GF.Grammar.Canonical.Id a type synonym for GF.Infra.Ident.RawIdentJohn J. Camilleri
This avoids a lot of conversion back and forth between Strings and ByteStrings This commit was cherry-picked from d0c27cdaae78c670b098740bfb49b428d900e640 (lpgf branch)
2021-06-29Merge pull request #84 from ffrixslee/issue-46Inari Listenmaa
Issue 46 (various deprecations during compilation of GF)
2021-01-20Don't print out the error msg for pattern matching unnecessarilyInari Listenmaa
2020-11-10Removed fromValue for boolVLiyana
2020-11-10Deleted redundant pattern matchLiyana
2020-11-10Added explicit implementation for 'fromValue' in instance declaration for ↵Liyana
'Predef Bool'
2020-09-05Merge remote-tracking branch 'origin/master' into fix-newer-cabalAndreas Källberg
2020-09-05MonadFail: Make backwards-compatibleAndreas Källberg
2020-08-05Fix most build errorsAndreas Källberg
2020-08-05fix newer ghc: Don't try to be backwards compatibleAndreas Källberg
2020-08-05First attempt at fixing incompabilities with newer cabalAndreas Källberg
2020-08-03Replace deprecated pragma with up-to-date one. (#17)Inari Listenmaa
2020-07-31Remove accidentally added space character in deriving clause.Inari Listenmaa
2020-07-31Remove characters that aren't allowed in Haskell data types.Inari Listenmaa
GF allows more characters in its types, as long as they are inside single quotes. E.g. 'VP/Object' is a valid name for a GF category, but not for a Haskell data type.
2020-07-31Add option "data" to Haskell options.Inari Listenmaa
Imports Data.Data, all GF types derive Data, and uses DeriveDataTypeable.
2020-07-06an attempt to solve record extension overloading bug, commented out for the ↵aarneranta
moment
2020-07-06fixed issue #67 on order of record fields in overloadingaarneranta
2020-06-06Hotfix for https://github.com/GrammaticalFramework/gf-core/issues/56Inari Listenmaa
2020-06-05Condense the unsupported token gluing as per John's suggestionInari Listenmaa
2020-06-04Don't output "\n **" if helpfulMsg is empty.Inari Listenmaa
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 11:30:21 +0000