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
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
e9bbd38f68
gf --version now prints the shared folder to be used by the RGL
2022-08-24 12:02:10 +02:00
1294269cd6
workaround for the Nix madness
2022-08-24 11:57:47 +02:00
b7672b67a3
adjust the -view command depending on the OS
2022-05-31 10:15:50 +02:00
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
3a1213ab37
prepare for GHC 9, base 4.15, by using Buffer constructor interface
2022-03-05 12:59:25 +08:00
7faf8c9dad
Clean up redundant case expressions
2021-07-12 16:38:29 +08:00
b3881570c7
Remove last traces of the Either in value2term
2021-07-12 15:53:49 +08:00
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
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
cdbe73eb47
Remove two missing-methods warnings
2021-07-08 12:10:41 +02:00
0954b4cbab
More cabal file cleanup. Remove some more tabs from Haskell source.
2021-07-07 13:04:09 +02:00
f2e52d6f2c
Replace tabs for whitespace in source code
2021-07-07 09:40:41 +02:00
ef42216415
Add import from command line invocation to command history
...
Closes #64
2021-07-06 15:35:03 +02:00
d2fb755fab
Merge branch 'master' into concrete-new
2021-07-06 09:37:22 +02:00
1b66bf2773
Merge pull request #121 from Meowyam/issue97
...
resolves GrammaticalFramework/gf-core/#97
2021-07-06 09:22:48 +02:00
1e3de38ac4
remove redundant options
2021-07-06 15:22:59 +08:00
4e8859aa75
Merge pull request #118 from GrammaticalFramework/canonical
...
Fixes to canonical compilation
2021-07-06 09:16:52 +02:00
dff215504a
resolves GrammaticalFramework/gf-core/#97, without l
2021-07-06 15:00:17 +08:00
173ab96839
Hotfix for https://github.com/GrammaticalFramework/gf-core/issues/56
2021-07-06 14:59:53 +08:00
dff1193f7b
Add --haskell=pgf2 flag
2021-07-06 14:59:53 +08:00
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
d53e1713c7
resolves GrammaticalFramework/gf-core/#97
2021-07-02 16:08:34 +08:00
b090e9b0ff
Add --haskell=pgf2 flag
2021-07-01 15:31:00 +02:00
5d7c687cb7
Make imports in CheckGrammar a little more explicit
2021-07-01 14:32:39 +02:00
376b1234a2
Rename GF.Compile.TypeCheck.RConcrete to GF.Compile.TypeCheck.Concrete
2021-07-01 14:27:11 +02:00
71d99b9ecb
Rename GF.Compile.Compute.ConcreteNew to GF.Compile.Compute.Concrete
2021-07-01 14:21:29 +02:00
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
e5a2aed5b6
Remove record fields not in lincat
...
Fixes #100 , #101
2021-07-01 11:47:14 +02:00
13575b093f
Add top-level signatures and general code cleanup
2021-07-01 10:13:42 +02:00
587004f985
Sort record fields in lin definitions
...
Fixes #102
2021-06-30 14:14:54 +02:00
0a70eca6e2
Make GF.Grammar.Canonical.Id a type synonym for GF.Infra.Ident.RawIdent
...
This avoids a lot of conversion back and forth between Strings and ByteStrings
This commit was cherry-picked from d0c27cdaae
2021-06-30 10:58:23 +02:00
6efbd23c5c
Merge pull request #84 from ffrixslee/issue-46
...
Issue 46 (various deprecations during compilation of GF)
2021-06-29 23:48:00 +02:00
2c37e7dfad
Fix build for ghc-7.10.3
2021-06-16 14:54:36 +08:00
b1ed63b089
Don't print stack traces in Command.hs
...
They don't provide useful info anyways and they are needlessly verbose.
2021-06-16 14:26:22 +08:00
1a466c14c8
Don't print out the error msg for pattern matching unnecessarily
2021-01-20 01:15:28 +08:00
76bec6d71e
Omitted import Except(..)
2020-11-12 09:48:15 +08:00
2dc179239f
Replaced Control.Monad.Error with Control.Monad.Except
2020-11-10 17:32:43 +08:00
9b02385e3e
Removed fromValue for boolV
2020-11-10 17:26:56 +08:00
8ca4baf470
Deleted redundant pattern match
2020-11-10 17:15:20 +08:00
1f7584bf98
Added explicit implementation for 'fromValue' in instance declaration for 'Predef Bool'
2020-11-10 17:14:31 +08:00
33aad1b8de
Deleted redundant pattern match
2020-11-10 17:06:35 +08:00
ac81b418d6
Added readJSON error messages
2020-11-10 16:57:33 +08:00
1ff66006b8
Fix infinite recursion on error
...
The implementation was meant to lift from SIO to IO,
but instead it was just the identity function,
which means that `fail = id . fail` and we have an infinite loop.
2020-10-26 17:21:22 +01:00
f2e4b89a22
Fix syntax error problem for older versions of GHC
2020-10-08 17:41:44 +02:00
ab52572f44
Fix bug where shell commands were ignored, introduced by #71
2020-09-18 09:25:08 +02:00
127a1b2842
Remove MonadFail requirements for aeson code
2020-09-12 11:04:32 +02:00
2fd1040724
Fix incorrect type and update dependencies
2020-09-12 11:04:32 +02:00
9d8cd55cd5
Import orphan instances of MonadFail for ghc<8
...
Also upgrade alex/happy so automatic install works
2020-09-09 11:05:41 +02:00
Aarne Ranta