GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-07-02 03:48:33 -06:00
Code Issues Packages Projects Releases Wiki Activity
8,972 Commits 21 Branches 11 Tags
1747b4627499090a0e384761c716ab431665bec8
Commit Graph

1053 Commits

Author SHA1 Message Date
Eve 1747b46274 Add alex/happy as build tool dependencies, bump up unix version in gf-compiler 2025-01-26 01:12:29 +01:00
Krasimir Angelov ac427d63f2 fix compilation in -resource mode 2024-10-22 09:02:03 +02:00
Krasimir Angelov 3b36b381aa save use of jments 2024-10-22 08:30:51 +02:00
Krasimir Angelov f3a1fadd0c use evalError instead of erro 2024-10-22 08:29:30 +02:00
Krasimir Angelov ebececef6d added MonadFix 2024-10-22 08:28:51 +02:00
Krasimir Angelov 00addd4a0c update the cabal file 2024-10-14 17:00:14 +02:00
Krasimir Angelov 00fd704405 the server package is now merged with the compiler 2024-10-14 16:56:35 +02:00
Krasimir Angelov 43671f3679 concrete revisions not longer take space in the revision registry 2024-09-21 11:56:19 +02:00
Krasimir Angelov e722916728 pattern matching with PChar 2024-09-05 18:00:27 +02:00
Krasimir Angelov 676a01db2c a work in progress implementation for reset 2024-08-26 13:47:39 +02:00
Krasimir Angelov 428287346a optimize pattern matching on strings 2024-08-26 11:58:36 +02:00
Krasimir Angelov d515cfd89d Data.XML must escape the data as well 2024-05-17 11:46:37 +02:00
Krasimir Angelov 6d7071fe9c typechecking and evaluation for markup 2024-05-17 11:37:44 +02:00
Krasimir Angelov efe00f88e3 refactoring pgfMain now takes the file path directly 2024-05-16 19:34:02 +02:00
Krasimir Angelov 02e8dcbb56 make it possible to control whether to expand variants or not 2024-04-27 14:55:01 +02:00
Krasimir Angelov 82308426c6 merge variants when the | operator is used 2024-04-09 19:23:14 +02:00
Krasimir Angelov f637abe92e steps towards an NLG language 2024-04-07 10:39:43 +02:00
Krasimir Angelov 81717e7822 fixed space leaks 2024-04-06 10:59:37 +02:00
Krasimir Angelov 614f4b2dc9 'reset' for delimited continuations 2024-03-15 09:11:26 +01:00
Krasimir Angelov 1fd0e9d8e2 fetch languages on demand to reduce database references 2024-03-14 20:05:19 +01:00
Krasimir Angelov 518e57141b detect keywords in the lookahead 2024-03-08 09:27:01 +01:00
Krasimir Angelov 52c56feaf2 fix the disambiguation of html tags 2024-03-06 19:27:16 +01:00
Matheus Bernardo 1e6e84c5a6 Adding html tags to the parser and lexer 2024-03-01 16:52:15 +01:00
Krasimir Angelov 83d5c883c3 A pgf doesn't always have a file location 2024-02-08 16:40:24 +01:00
Krasimir Angelov 3b4f12e621 create lin/lincat can now fetch the definitions from the source grammar 2024-02-08 15:14:05 +01:00
Krasimir Angelov ab30f1f9e5 fix the parsing for source commands 2024-02-08 13:38:45 +01:00
Krasimir Angelov 9fd1c5da80 The type signatures in Predef are no longer hard coded 2024-02-06 08:36:43 +01:00
Krasimir Angelov 9a6fc7fc9e export Thunk, newThunk 2024-02-06 07:34:40 +01:00
Krasimir Angelov d5871b120d normalStringForm now returns a list 2024-02-06 07:31:19 +01:00
Krasimir Angelov e74661c592 export the force function 2024-01-31 08:21:29 +01:00
Krasimir Angelov c46dd599f9 restore commented out code 2024-01-31 08:20:59 +01:00
Krasimir Angelov c94d0f31bc now we can load PGF files as precompiled modules 2024-01-30 13:02:40 +01:00
Krasimir Angelov 021e271f29 an FFI for GF 2024-01-23 17:33:39 +01:00
Krasimir Angelov a82095d117 reintroduce the compiler API 2024-01-18 20:58:10 +01:00
Krasimir Angelov 5e664b6f69 update 2024-01-17 14:45:46 +01:00
Krasimir Angelov 413e92e7c3 support ghc 9.4 2024-01-17 13:58:52 +01:00
Krasimir Angelov 88e3b2aac4 support ghc 9.4 2024-01-17 13:56:58 +01:00
Krasimir Angelov e8f8044432 temporary add gf-scribe to the compiler 2024-01-17 13:17:04 +01:00
Krasimir Angelov 4c701e68e2 more general and simpler implementation for gluing 2023-12-16 12:29:13 +01:00
Krasimir Angelov 2631f0af8f partial implementation for type inference with records 2023-12-01 15:26:24 +01:00
Krasimir Angelov 8540e44e9d small fixes 2023-11-29 08:47:40 +01:00
Krasimir Angelov 5232364a9e typechecking without Value<->Term conversion 2023-11-28 21:21:34 +01:00
Krasimir Angelov 1d64d166be fix the so command in case of dependent types 2023-11-28 14:07:09 +01:00
Krasimir Angelov 54e06b5371 refactoring 2023-11-28 10:25:27 +01:00
Krasimir Angelov 6b9bda3328 fully restore the parser 2023-11-28 07:39:54 +01:00
Krasimir Angelov eb71557627 ensure that metavariable IDs are always in sync 2023-11-27 13:46:21 +01:00
Krasimir Angelov 65002fb586 allow Exp instead of Exp1 for the source commands 2023-11-24 09:41:23 +01:00
Krasimir Angelov 4f28d2b3a3 the evaluator and the typechecker now share the same monad 2023-11-24 09:40:28 +01:00
Krasimir Angelov bd9bd8b32f the experimental typechecker is almost converted to the new evaluator 2023-11-24 08:35:11 +01:00
Krasimir Angelov e996d78b18 make "cc", "so", "create lin", "create lincat" usable even without loaded grammar 2023-11-23 20:26:48 +01:00