GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-08-31 08:17:00 -06:00
Code Issues Packages Projects Releases Wiki Activity
8,789 Commits 21 Branches 11 Tags
95b916339d0507e50ef6a306f69ca51af75760f6
Commit Graph
997 Commits
Author SHA1 Message Date
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
Krasimir Angelov f0045e910e better output for 'pg -fullform' 2022-01-28 17:32:40 +01:00
Krasimir Angelov a216c1aa6d ensure left-to-right pattern maching of records 2022-01-11 13:31:44 +01:00
Krasimir Angelov 310b40be31 strip redundant code 2022-01-11 13:31:00 +01:00
Krasimir Angelov 54993bce12 deepForce VSymCat 2022-01-11 12:48:14 +01:00
Krasimir Angelov f5435dba38 restore the rigt order for terms 2022-01-09 08:00:05 +01:00
Krasimir Angelov e65a3a06c9 fix the serialization 2022-01-08 20:02:40 +01:00
Krasimir Angelov 00f857559d restore the sharing of sequences. Shrinks the grammar by ~45% 2022-01-08 19:49:42 +01:00
Krasimir Angelov f118e644d9 finished 'create lincat' 2021-12-29 14:06:24 +01:00
Krasimir Angelov daebed0b7b check the resource and the compiled grammar for compatibility 2021-12-29 12:28:50 +01:00
Krasimir Angelov 16b0eea568 code cleanup 2021-12-28 13:38:19 +01:00
Krasimir Angelov c9b90a509c first draft of a working "create lin" command 2021-12-28 13:36:53 +01:00
krangelov 8b602d6c9f mergePGF now detects when grammars have different abstract syntaxes 2021-12-24 16:19:14 +01:00
krangelov 21d38a7b4a detect when we load a grammar with a different abstract and don't try to merge 2021-12-24 16:01:42 +01:00
krangelov 39853b3c04 add command "import -resource" 2021-12-24 14:46:07 +01:00
krangelov cb10e2fe32 add commands to add/remove concrete syntaxes 2021-12-24 13:56:27 +01:00
krangelov 67a7e928f6 the import command can also boot images from .pgf files now 2021-12-24 12:52:29 +01:00
krangelov cf87f55fa0 remove the trace message 2021-12-24 12:41:02 +01:00
krangelov f606547209 the import command can now create blank grammars 2021-12-24 12:35:12 +01:00
krangelov 8b05257d6c restore the web server 2021-12-24 11:41:03 +01:00
krangelov 56824cb645 error -> fail 2021-12-24 11:15:10 +01:00
krangelov 5c16693da3 started create/drop with lin & lincat 2021-12-23 23:04:31 +01:00
krangelov b000b80159 added commands create cat & drop cat 2021-12-23 19:21:55 +01:00
krangelov f5798350fd commands "create fun" & "drop fun" in the shell 2021-12-23 14:55:26 +01:00
krangelov 12b4958b99 make it possible to merge PGF files in the compiler 2021-12-22 10:47:22 +01:00
krangelov 13b6d51d43 support records as parameter types 2021-12-21 11:16:01 +01:00
krangelov 5811720d3a code cleanup 2021-12-21 09:19:18 +01:00
krangelov 0a8b6d2586 make sure that types in ResValue are precomputed 2021-12-21 09:16:53 +01:00
krangelov f2b6f36e02 generalize the syntax for pre patterns 2021-12-20 15:44:30 +01:00
krangelov 2be3fd7e78 eval pattern macroses 2021-12-20 15:03:15 +01:00
krangelov ef84adf107 refactoring 2021-12-19 14:18:19 +01:00
krangelov f6789fdfbf refactor VC -> VC & VEmpty 2021-12-19 14:13:37 +01:00
krangelov 275f8f37ce handle pre when it is in the arguments of a Predef function 2021-12-19 10:43:06 +01:00
krangelov b266c55f8a narrowing for table [...] 2021-12-17 17:26:23 +01:00
krangelov 2cb4fda502 more clean up 2021-12-17 10:05:20 +01:00
krangelov 2f79892463 clean up imports 2021-12-17 10:01:07 +01:00
krangelov 8e841d8c9b remove some dead code 2021-12-16 19:04:53 +01:00
krangelov c8dcc10325 another fix for cc 2021-12-16 14:00:25 +01:00
krangelov 4ed287a809 bug fix and refactoring in the cc command 2021-12-16 13:14:29 +01:00
krangelov 8466692584 a bit more refactoring 2021-12-16 10:58:40 +01:00
krangelov 60c9d46141 simplify the Ident type 2021-12-16 09:53:39 +01:00
krangelov 7dea9598a4 remove the trace messages 2021-12-16 08:46:37 +01:00
krangelov 937a78c628 drop the -trace option 2021-12-15 13:08:10 +01:00
krangelov f793ed4413 generate PMCFG only for complete modules 2021-12-15 09:53:45 +01:00
krangelov b61e870783 a better error message 2021-12-15 09:36:12 +01:00
krangelov 4b7eaaf43f make sure that everything is evaluated before conversion 2021-12-15 08:23:31 +01:00
krangelov 14feb56140 bugfix in the conversion of parameters to numbers 2021-12-14 19:08:01 +01:00
krangelov e2b6774bd3 the elimination of empty tokens is moved to the typechecker 2021-12-14 15:59:13 +01:00
krangelov 7556662344 compile record expansions with let bindings to avoid duplication 2021-12-14 15:27:53 +01:00