GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-07-13 00:52:46 -06:00
Code Issues Packages Projects Releases Wiki Activity
7,916 Commits 21 Branches 11 Tags
59351190508131f6418124e5d983302e867c3448
Commit Graph

843 Commits

Author SHA1 Message Date
Inari Listenmaa d07646e753 Merge pull request #192 from GrammaticalFramework/build-timestamp 
Add build timestamps to GF prompt
 2025-08-08 19:32:52 +02:00
Inari Listenmaa c7e26d7cd2 also add the 9.6 compatibility fixes to PGF2 2025-08-08 18:12:26 +02:00
Herbert Lange 9e5701b13c hide ambiguous function 2025-08-08 18:06:03 +02:00
Herbert Lange 78beac7598 change date/time formating 2025-08-08 18:02:59 +02:00
Herbert Lange 1c4cde7c66 updating formating for git info 2025-08-08 17:43:56 +02:00
Herbert Lange e0ad7594dd add build time and git info to BuildInfo 2025-08-08 17:36:03 +02:00
Inari Listenmaa 3e0c0fa463 define default depths for shell and server only once 2025-08-02 21:46:13 +02:00
Arianna Masciolini 5170668ff2 Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core into hleiss/master 2025-08-02 19:02:30 +02:00
Inari Listenmaa e84826ed2a explicitly import join, when, (<=<) from Control.Monad 2025-08-02 16:39:31 +02:00
Inari Listenmaa b914a25de3 define return in terms of pure, >> as *>, mappend as <> 
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-02 16:39:31 +02:00
Inari Listenmaa 1037b209ae add whitespace on list comprehensions, applications etc. 
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-08-02 16:39:31 +02:00
Hans Leiss 5776b567a2 Reactivate the gf-shell command 'pt -transfer' 2025-02-19 12:59:43 +01:00
Inari Listenmaa 2f31bbab23 Apply gt to all arguments when piped 2024-03-15 12:43:17 +01:00
Andreas Källberg 268a25f59c Indent each line of an error message 
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-25 09:55:02 +02:00
Andreas Källberg ffd7b27abd Improve syntax error messages 
Now you will get error messages like these:
example.gf:1:21:
   Syntax error:
     Unexpected token '}'.
     Expected one of:
     - '{'
     - 'open'
     - an identifier
 2023-09-11 12:30:28 +02:00
Andreas Källberg a58c6d49d4 Extract the previous optimization to its own function 2022-10-04 17:01:47 +02:00
Andreas Källberg fef7b80d8e Use a Set in isInherited to speed up long extend lists 
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-04 17:01:47 +02:00
Andreas Källberg 0a16b76875 Only include transformers-compat for ghc < 8 
Since that's the only place where it's needed
and we don't have to fight with versions elsewhere
 2022-10-04 13:28:23 +02:00
Andreas Källberg 51b7117a3d Restore build with ghc-7.10.3 2022-10-04 13:07:07 +02:00
Aarne Ranta 223f92d4f6 using an unparsable variable name in the internal desugaring of table extension to avoid captures; captures with iterated table extensions might still be possible, which needs further analysis 2022-10-04 11:06:56 +02:00
aarneranta 83483b93ba New construct: table update. Syntax t ** { cases }. Syntactic sugar for table {cases ; vvv => t \! vvv}.t 2022-10-03 17:04:29 +02:00
Krasimir Angelov e9bbd38f68 gf --version now prints the shared folder to be used by the RGL 2022-08-24 12:02:10 +02:00
Krasimir Angelov 1294269cd6 workaround for the Nix madness 2022-08-24 11:57:47 +02:00
Krasimir Angelov b7672b67a3 adjust the -view command depending on the OS 2022-05-31 10:15:50 +02:00
Andreas Källberg 9b9905c0b2 Always use UTF8 encoding in the gf executable 
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-05-18 14:42:01 +08:00
Meng Weng Wong 3a1213ab37 prepare for GHC 9, base 4.15, by using Buffer constructor interface 2022-03-05 12:59:25 +08:00
Andreas Källberg 7faf8c9dad Clean up redundant case expressions 2021-07-12 16:38:29 +08:00
Andreas Källberg b3881570c7 Remove last traces of the Either in value2term 2021-07-12 15:53:49 +08:00
Andreas Källberg bd270b05ff Remove the Either Int from value2term 
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-12 15:50:43 +08:00
John J. Camilleri a1fd3ea142 Fix bug introduced in cdbe73eb47 
Apparently I don't understand how pattern-matching works in Haskell
 2021-07-08 13:56:58 +02:00
John J. Camilleri cdbe73eb47 Remove two missing-methods warnings 2021-07-08 12:10:41 +02:00
John J. Camilleri 0954b4cbab More cabal file cleanup. Remove some more tabs from Haskell source. 2021-07-07 13:04:09 +02:00
John J. Camilleri f2e52d6f2c Replace tabs for whitespace in source code 2021-07-07 09:40:41 +02:00
John J. Camilleri ef42216415 Add import from command line invocation to command history 
Closes #64
 2021-07-06 15:35:03 +02:00
Inari Listenmaa d2fb755fab Merge branch 'master' into concrete-new 2021-07-06 09:37:22 +02:00
Inari Listenmaa 1b66bf2773 Merge pull request #121 from Meowyam/issue97 
resolves GrammaticalFramework/gf-core/#97
 2021-07-06 09:22:48 +02:00
Meowyam 1e3de38ac4 remove redundant options 2021-07-06 15:22:59 +08:00
Inari Listenmaa 4e8859aa75 Merge pull request #118 from GrammaticalFramework/canonical 
Fixes to canonical compilation
 2021-07-06 09:16:52 +02:00
Meowyam dff215504a resolves GrammaticalFramework/gf-core/#97, without l 2021-07-06 15:00:17 +08:00
Inari Listenmaa 173ab96839 Hotfix for https://github.com/GrammaticalFramework/gf-core/issues/56 2021-07-06 14:59:53 +08:00
John J. Camilleri dff1193f7b Add --haskell=pgf2 flag 2021-07-06 14:59:53 +08:00
Inari Listenmaa 09d772046e Merge pull request #57 from inariksit/cc-bugfix-rgl-only 
Hotfix for #56 (cc doesn't work for many RGL languages)
 2021-07-02 10:11:35 +02:00
Meowyam d53e1713c7 resolves GrammaticalFramework/gf-core/#97 2021-07-02 16:08:34 +08:00
John J. Camilleri b090e9b0ff Add --haskell=pgf2 flag 2021-07-01 15:31:00 +02:00
John J. Camilleri 5d7c687cb7 Make imports in CheckGrammar a little more explicit 2021-07-01 14:32:39 +02:00
John J. Camilleri 376b1234a2 Rename GF.Compile.TypeCheck.RConcrete to GF.Compile.TypeCheck.Concrete 2021-07-01 14:27:11 +02:00
John J. Camilleri 71d99b9ecb Rename GF.Compile.Compute.ConcreteNew to GF.Compile.Compute.Concrete 2021-07-01 14:21:29 +02:00
John J. Camilleri 78b73fba20 Make cleanupRecordFields also recurse into variants 
It's possible that more constructors need to be handled
 2021-07-01 13:53:33 +02:00
John J. Camilleri e5a2aed5b6 Remove record fields not in lincat 
Fixes #100, #101
 2021-07-01 11:47:14 +02:00
John J. Camilleri 13575b093f Add top-level signatures and general code cleanup 2021-07-01 10:13:42 +02:00