John J. Camilleri
9533edc3ca
Merge pull request #128 from GrammaticalFramework/windows-binary
...
Fixes to building Windows binary
2021-07-23 15:55:37 +02:00
John J. Camilleri
4df8999ed5
Change Python 3.8 to 3.9
2021-07-23 08:05:35 +02:00
John J. Camilleri
7fdbf3f400
Update path in main workflow for binaries
2021-07-22 23:11:01 +02:00
John J. Camilleri
0d6c67f6b1
Try without rewriting envvar
2021-07-22 23:02:22 +02:00
John J. Camilleri
2610219f6a
Update path
2021-07-22 22:56:39 +02:00
John J. Camilleri
7674f078d6
Try another path
2021-07-22 22:49:44 +02:00
John J. Camilleri
c67fe05c08
Narrow search, print env var
2021-07-22 22:44:53 +02:00
John J. Camilleri
7b9bb780a2
Find Java stuff
2021-07-22 22:34:26 +02:00
John J. Camilleri
4f256447e2
Add separate Windows binary CI action for easier testing
2021-07-22 22:27:15 +02:00
Inari Listenmaa
dfa5b9276d
#gf IRC channel has moved to Libera
2021-07-22 01:08:00 +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
66ae31e99e
Merge pull request #126 from inariksit/developers-documentation
...
Update developers' documentation
2021-07-15 05:16:55 +02:00
Inari Listenmaa
a677f0373c
General restructuring, various minor changes
2021-07-15 10:40:26 +08:00
Inari Listenmaa
13f845d127
Update C runtime instructions
2021-07-15 10:39:54 +08:00
Inari Listenmaa
aa530233fb
Remove instructions to create binaries
...
Those are in github actions
2021-07-15 10:27:57 +08:00
Inari Listenmaa
45bc5595c0
Update C runtime install instructions
2021-07-15 09:54:15 +08:00
Inari Listenmaa
6d12754e4f
Split the Cabal instructions to another page
...
and link from main instructions
2021-07-15 08:21:29 +08:00
1Regina
a09d9bd006
install and upgrade stack
2021-07-14 17:20:20 +08:00
Meowyam
fffe3161d4
updated docs to reflect binaries generated via github actions
...
fix merge conflicts
resolve merge conflict
2021-07-14 17:20:20 +08:00
Meowyam
743f5e55d4
add missing install.sh file for c runtime
2021-07-14 17:20:20 +08:00
Inari Listenmaa
9e209bbaba
Changes in Git instructions
2021-07-14 17:20:07 +08:00
Inari Listenmaa
a1594e6a69
updated doc with instructions for C runtime for ubuntu and fedora
2021-07-14 16:44:44 +08:00
Inari Listenmaa
06e0a986d1
Changes in Git instructions
2021-07-14 16:12:11 +08:00
Meowyam
6f2a4bcd2c
update doc for linux installation
2021-07-14 15:32:02 +08:00
Inari Listenmaa
f345f615f4
Update information about test suite
...
Co-Authored-By: 1Regina <46968488+1Regina@users.noreply.github.com >
2021-07-14 15:16:23 +08:00
Inari Listenmaa
80d16fcf94
Update instructions about C runtime
2021-07-14 15:03:59 +08:00
Andreas Källberg
7faf8c9dad
Clean up redundant case expressions
2021-07-12 16:38:29 +08:00
Andreas Källberg
c2ffa6763b
Github actions: Fix build for stack
2021-07-12 15:53:49 +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
6077d5dd5b
Merge pull request #124 from GrammaticalFramework/cabal-cleanup
...
More cabal file cleanup
2021-07-08 08:56:31 +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
a2b23d5897
Make whitespace uniform in Cabal files, add a few more dependency bounds
2021-07-07 09:11:46 +02:00
John J. Camilleri
0886eb520d
Update 3.11 release notes
2021-07-06 15:45:21 +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
5e052ff499
Merge pull request #119 from GrammaticalFramework/concrete-new
...
Clean up Compute.ConcreteNew and TypeCheck.RConcrete
2021-07-06 14:05:00 +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
2jacobtan
e1a40640cd
specify version bounds in pgf.cabal and pgf2.cabal
2021-07-06 05:42:34 +08:00
