GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-08-21 03:36:22 -06:00
Code Issues Packages Projects Releases Wiki Activity
9,117 Commits 21 Branches 11 Tags
0a33204ee4c2189b8d6eae1794861977503b42e4
Commit Graph

148 Commits

Author SHA1 Message Date
Krasimir Angelov a59967d5f9 added value2float, exported value2float, value2int 2025-06-05 11:57:31 +00:00
Krasimir Angelov 68bab72cd3 remove redundant variants 2025-05-28 19:17:45 +00:00
Krasimir Angelov 2c427b69fe avoid using withState 2025-05-28 14:20:16 +00:00
Krasimir Angelov 52eb5899d4 added zonkValue 2025-05-28 14:02:06 +00:00
Eve f64d6b045b Revert bubble re-implementation 2025-05-26 18:21:04 +02:00
Eve 9c422c8224 Type annotations for option labels + new bubble impl 2025-05-26 18:16:49 +02:00
Eve 6429ed7148 Choice-splitting versions of mapVariants and mapConstVs 2025-05-26 18:13:11 +02:00
Krasimir Angelov a0faa48537 progress on Finnish 2025-05-23 15:11:00 +02:00
Krasimir Angelov f82b8b6e11 missing cases in collectOp 2025-05-22 20:06:50 +02:00
Krasimir Angelov 9e6885c901 fix for VInts 2025-05-22 11:55:29 +02:00
Krasimir Angelov 9a3cb2369d added missing cases for VInts 2025-05-22 11:54:17 +02:00
Krasimir Angelov 9c038ceb7c more updates to get English compile 2025-05-22 11:48:21 +02:00
Krasimir Angelov c61315465d ditch the old typechecker completely 2025-05-21 14:55:13 +02:00
Krasimir Angelov 054ebf066a more precise subtype/supertype for nondependent functions 2025-05-21 14:35:55 +02:00
Krasimir Angelov 548e4c8549 more updates for typechecking the RGL 2025-05-21 14:32:53 +02:00
Krasimir Angelov 6f8654716e ignore the lock field when checking for subsumption 2025-05-21 13:56:45 +02:00
Krasimir Angelov 8b93f80c52 don't typecheck record fields that are going to be discarded 2025-05-21 13:56:19 +02:00
Krasimir Angelov fd27a2ebd3 minimal set of changes to make Bulgarian compile with the new typechecker 2025-05-21 13:39:03 +02:00
Krasimir Angelov 6f9f187c70 two hacks for backwards compatibility 2025-05-19 13:08:54 +02:00
Krasimir Angelov 68ae919afa avoid unnecessary variants 2025-05-18 07:46:56 +02:00
Krasimir Angelov 3a1990fd1d switch to using the new type checker by default 2025-05-18 07:20:12 +02:00
Krasimir Angelov e54f748efa serialization for Markup and Reset 2025-05-18 07:08:11 +02:00
Krasimir Angelov 03421f6bc7 fix in the typechecking of one and default 2025-05-09 19:15:28 +02:00
Krasimir Angelov d54fab0bbf fix typo 2025-05-09 19:10:51 +02:00
Krasimir Angelov 3d7c8ade17 a draft for the generalized control operators 2025-05-09 18:58:27 +02:00
Krasimir Angelov 544bbd9049 special handling for empty variants in the bubbling 2025-05-05 11:46:50 +02:00
Krasimir Angelov d5e3e8f649 whitespace 2025-05-03 07:32:06 +02:00
Krasimir Angelov 4c0644fd55 another bug in the typechecker 2025-05-03 07:31:44 +02:00
Krasimir Angelov 188b77b083 improvement on the typechecker 2025-05-02 13:52:17 +02:00
Krasimir Angelov a9d4fecd33 added export for EPatt 2025-04-15 08:40:30 +02:00
Krasimir Angelov cc4d07f168 Export a grammar in source format to JSON 2025-04-14 11:16:27 +02:00
Krasimir Angelov c2d64efe68 cannonical export now may contain some resource modules with parameters 2025-04-11 10:47:43 +02:00
Eve b29ec2a47a Option evaluation + basic repl support for option manipulation 2025-03-31 17:56:36 +02:00
Eve 8bd0d13dd6 Port builtin improvements to new evaluator + opt parsing 2025-03-31 17:54:06 +02:00
Eve 3de005f11c Replace open term check for predefs with canonical term check 2025-03-31 17:54:06 +02:00
Eve 223604526e Better predef evaluation semantics, avoid value2term 2025-03-31 17:54:06 +02:00
Krasimir Angelov c95a526ca9 missed to add the JSON file 2025-03-27 14:29:38 +01:00
Krasimir Angelov 5dcd1108c7 take into account the result type during overload reasolution 2025-03-27 14:28:42 +01:00
Krasimir Angelov e6c4775ade the JSON dump now supports the entire GF language 2025-03-26 14:56:08 +01:00
Krasimir Angelov 4c24fc904d another case for evaluation under a table 2025-03-21 07:00:58 +01:00
Krasimir Angelov 81d472235a function application under tables 2025-03-20 16:06:33 +01:00
Krasimir Angelov b0d363c311 added missing cases 2025-03-17 19:06:41 +01:00
Krasimir Angelov a7c0be2fd5 fix typo 2025-03-14 07:38:33 +00:00
Krasimir Angelov b008aa7de0 sketch an implementation for reset 2025-03-13 19:01:18 +00:00
Krasimir Angelov 271991ef10 added missing cases for VMarkup 2025-03-10 16:38:18 +00:00
Krasimir Angelov e59ae98aa1 export bubble 2025-03-10 16:08:55 +00:00
Krasimir Angelov 88ae6bff71 added missing case for VCRecType 2025-03-10 14:42:36 +00:00
Krasimir Angelov 22a22aacbb added evaluation for markup 2025-03-10 14:26:51 +00:00
Krasimir Angelov 854739eee4 support for non-flat forms 2025-03-10 15:22:59 +01:00
Krasimir Angelov 16f9f86248 start using the new typechecker and evaluator in the cc command 2025-03-10 15:22:31 +01:00