summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2021-07-12Github actions: Fix build for stackAndreas 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-08Merge pull request #124 from GrammaticalFramework/cabal-cleanupJohn J. Camilleri
More cabal file cleanup
2021-07-07More cabal file cleanup. Remove some more tabs from Haskell source.John J. Camilleri
2021-07-07Replace tabs for whitespace in source codeJohn J. Camilleri
2021-07-07Make whitespace uniform in Cabal files, add a few more dependency boundsJohn J. Camilleri
2021-07-06Update 3.11 release notesJohn J. Camilleri
2021-07-06Add import from command line invocation to command historyJohn J. Camilleri
Closes #64
2021-07-06Add note in PGF2 documentation about risk for integer overflow.John J. Camilleri
Closes #109
2021-07-06Merge pull request #122 from 2jacobtan/masterJohn J. Camilleri
specify version bounds in *.cabal files
2021-07-06Some more cabal file cleanup. Add stack files for pgf, pgf2.John J. Camilleri
2021-07-06Merge pull request #119 from GrammaticalFramework/concrete-newInari Listenmaa
Clean up Compute.ConcreteNew and TypeCheck.RConcrete
2021-07-06Merge branch 'master' into concrete-newInari Listenmaa
2021-07-06Merge pull request #121 from Meowyam/issue97Inari Listenmaa
resolves GrammaticalFramework/gf-core/#97
2021-07-06remove redundant optionsMeowyam
2021-07-06Merge pull request #118 from GrammaticalFramework/canonicalInari Listenmaa
Fixes to canonical compilation
2021-07-06resolves GrammaticalFramework/gf-core/#97, without lMeowyam
2021-07-06Hotfix for https://github.com/GrammaticalFramework/gf-core/issues/56Inari Listenmaa
2021-07-06Add --haskell=pgf2 flagJohn J. Camilleri
2021-07-06specify version bounds in pgf.cabal and pgf2.cabal2jacobtan
2021-07-06set stack.yaml to lts-18.02jacobtan
2021-07-06specify version bounds in gf.cabal2jacobtan
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-02resolves GrammaticalFramework/gf-core/#97Meowyam
2021-07-02Merge pull request #120 from GrammaticalFramework/haskell-exportJohn J. Camilleri
Add --haskell=pgf2 flag
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-01Add run-on-grammar canonical test scriptJohn 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-07-01Reduce Phrasebook grammars in testsuite/canonical to bare minimumJohn J. Camilleri
2021-06-30Sort record fields in lin definitionsJohn J. Camilleri
Fixes #102
2021-06-30Move testsuite/compiler/canonical on level up, update test scriptJohn J. Camilleri
2021-06-30Add shell script in testsuite/compiler/canonical for replicating known issuesJohn J. Camilleri
Ideally this is integrated into proper test suite, but that's too much overhead for now
2021-06-30Superficial refactoring to testsuite moduleJohn J. Camilleri
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-06-24Add another =John J. Camilleri
2021-06-24Update pgf.cabal, and minors to other cabal filesJohn J. Camilleri
2021-06-23Update README.mdJohn J. Camilleri
Add `stack install` as alternative to `cabal install`
2021-06-23Update RELEASE.mdJohn J. Camilleri
Add link to gf maintainers on Hackage.
2021-06-22Merge pull request #106 from GrammaticalFramework/stack-yaml-symlinkJohn J. Camilleri
In the end, just some minor additions to Stack files. See discussion for more.
2021-06-22Make stack.yaml a regular file againJohn J. Camilleri
2021-06-22Merge branch 'master' into stack-yaml-symlinkJohn J. Camilleri