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
03df25bb7a
Add support for ghc-9.2.4
2022-10-04 17:01:23 +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
Andreas Källberg
fef03e755b
Update some old unused code to support newer ghc
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
dc8dce90a0
added a Setup script to compile without cabal-install
2022-08-24 14:00:22 +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
krangelov
3acb7d2da4
silence harmless warnings
2022-08-12 10:54:43 +02:00
krangelov
08fb29e6b8
fix the reference counting for pgf.BIND
2022-08-12 10:51:56 +02:00
Krasimir Angelov
a42cec2107
support for BIND tokens in the Python bindings
2022-07-16 20:29:36 +02:00
Krasimir Angelov
ae460e76b6
allow compilation with emscripten
2022-07-04 10:42:34 +02:00
Krasimir Angelov
b7672b67a3
adjust the -view command depending on the OS
2022-05-31 10:15:50 +02:00
Krasimir Angelov
e33de168fd
use a relative link to WordNet
2022-05-31 07:44:25 +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
Inari Listenmaa
ec70e4a83e
Merge pull request #136 from mengwong/ghc9
...
compiles with GHC 9.0.2
2022-05-06 03:26:00 +02:00
Andreas Källberg
b0b2a06f3b
Improve comment
2022-05-03 13:10:29 +08:00
Andreas Källberg
221597bd79
When profiling, don't add cost centres in Data.Binary.Get
...
This change speeds up profiling by an order of magnitude.
Without it, the >>= function for Get dominates runtime completely during profiling.
2022-05-03 13:08:35 +08:00
Inari Listenmaa
862aeb5d9b
Update base <4.15 to <4.16 for tests + pgf*.cabal
2022-03-05 13:42:11 +08:00
Meng Weng Wong
b53a102c98
if this PR is accepted we don't need these instructions
2022-03-05 12:59:25 +08:00
Meng Weng Wong
bc14a56f83
"now try this" instructions for people flailing with Apple Silicon M1
2022-03-05 12:59:25 +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
John J. Camilleri
723bec1ba0
Changes made in order to get Hackage upload working
2021-08-09 13:41:25 +02:00
krangelov
265f08d6ee
added link to vis-network.min.js
2021-07-26 16:57:05 +02:00
krangelov
e47042424e
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
2021-07-26 16:52:11 +02:00
krangelov
ecf309a28e
fix links to WordNet
2021-07-26 16:51:58 +02:00
Inari Listenmaa
667bfd30bd
Merge pull request #87 from anka-213/make-it-fast
...
Remove the `Either Int` from value2term
2021-07-20 04:35:37 +02:00
Inari Listenmaa
45bc5595c0
Update C runtime install instructions
2021-07-15 09:54:15 +08:00
Meowyam
743f5e55d4
add missing install.sh file for c runtime
2021-07-14 17:20:20 +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
John J. Camilleri
0c3ca3d79a
Add note in PGF2 documentation about risk for integer overflow.
...
Closes #109
2021-07-06 14:43:21 +02:00
John J. Camilleri
e2e5033075
Merge pull request #122 from 2jacobtan/master
...
specify version bounds in *.cabal files
2021-07-06 14:31:29 +02:00
John J. Camilleri
84b4b6fab9
Some more cabal file cleanup. Add stack files for pgf, pgf2.
2021-07-06 14:11:30 +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
