Commit Graph

8407 Commits

Author SHA1 Message Date
Krasimir Angelov
dca6611d84 synchronize the mmap sizes between processes 2021-12-29 11:16:21 +01:00
Krasimir Angelov
294ff3251c fix reference counting 2021-12-29 10:19:21 +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
Krasimir Angelov
1959dd4499 added LT_INIT 2021-12-28 13:11:31 +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
4ec0c334c3 remove PGF2.Type 2021-12-24 10:53:36 +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
f03779dfed fix Fun -> Cat 2021-12-23 18:06:08 +01:00
krangelov
f5798350fd commands "create fun" & "drop fun" in the shell 2021-12-23 14:55:26 +01:00
krangelov
5b5ecc6934 prevent crashes 2021-12-23 14:26:51 +01:00
krangelov
4792665241 back to storing rwlocks in a separate file to avoid moving the lock 2021-12-22 22:19:56 +01:00
krangelov
12b4958b99 make it possible to merge PGF files in the compiler 2021-12-22 10:47:22 +01:00
krangelov
c4bd898dc0 remove dead code 2021-12-22 09:31:11 +01:00
krangelov
d18c6d07ea use a diferent target name to avoid accidentally removing test.pgf 2021-12-21 19:10:36 +01:00
krangelov
a6f9eb15ad added Data instances for backwards compatibility 2021-12-21 14:38:28 +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
8cb0383864 fix in the variable resolution 2021-12-15 09:31:02 +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