summaryrefslogtreecommitdiff
path: root/src/compiler
AgeCommit message (Collapse)Author
2025-08-02define default depths for shell and server only onceInari Listenmaa
2025-08-02Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core ↵Arianna Masciolini
into hleiss/master
2025-08-02explicitly import join, when, (<=<) from Control.MonadInari 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.
2025-02-19Reactivate the gf-shell command 'pt -transfer'Hans Leiss
2024-03-15Apply gt to all arguments when pipedInari Listenmaa
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
2023-09-11Improve syntax error messagesAndreas Källberg
Now you will get error messages like these: example.gf:1:21: Syntax error: Unexpected token '}'. Expected one of: - '{' - 'open' - an identifier
2022-10-04Extract the previous optimization to its own functionAndreas Källberg
2022-10-04Use a Set in isInherited to speed up long extend listsAndreas Källberg
Now the time is O(log(n)*m) instead of O(n*m) where n is the number of items in the extend list e.g. abstract FromWordNet = WordNet [ a_couple_Card, a_la_carte_Adv, a_la_mode_Adv, a_little_Card, ... ];
2022-10-04Only include transformers-compat for ghc < 8Andreas Källberg
Since that's the only place where it's needed and we don't have to fight with versions elsewhere
2022-10-04Restore build with ghc-7.10.3Andreas Källberg
2022-10-04using an unparsable variable name in the internal desugaring of table ↵Aarne Ranta
extension to avoid captures; captures with iterated table extensions might still be possible, which needs further analysis
2022-10-03New construct: table update. Syntax t ** { cases }. Syntactic sugar for ↵aarneranta
table {cases ; vvv => t \! vvv}.t
2022-08-24`gf --version` now prints the shared folder to be used by the RGLKrasimir Angelov
2022-08-24workaround for the Nix madnessKrasimir Angelov
2022-05-31adjust the -view command depending on the OSKrasimir Angelov
2022-05-18Always use UTF8 encoding in the gf executableAndreas Källberg
This fixes many of the "Invalid character" messages you can get on different platforms. This has helped both with a nix-installation that didn't have global locale set and with a windows installation.
2022-03-05prepare for GHC 9, base 4.15, by using Buffer constructor interfaceMeng Weng Wong
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-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-06Add import from command line invocation to command historyJohn J. Camilleri
Closes #64
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-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-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-06-16Fix build for ghc-7.10.3Andreas Källberg
2021-06-16Don't print stack traces in Command.hsAndreas Källberg
They don't provide useful info anyways and they are needlessly verbose.
2021-01-20Don't print out the error msg for pattern matching unnecessarilyInari Listenmaa
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 05:50:22 +0000