msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
9,074 Commits 21 Branches 11 Tags
25b3d8026ce9f4c1d9f84368206b1370e3677a1e
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Krasimir Angelov 25b3d8026c added value2expr 2025-09-01 08:43:58 +00:00
Krasimir Angelov 85806752c3 remove AdHocOverload 2025-08-30 21:20:52 +02:00
Krasimir Angelov 171b5fd334 Merge branch 'majestic' of github.com:krangelov/gf-core into majestic 2025-08-30 20:09:43 +02:00
Krasimir Angelov e5a531da61 testing repl not needed anymore 2025-08-30 20:09:13 +02:00
Krasimir Angelov b79a53adc5 fix parsing NLG operations 2025-08-30 14:54:07 +00:00
Krasimir Angelov d8df0a0171 fix evaluation of options 2025-08-30 14:01:06 +00:00
Krasimir Angelov b62a5ebabe Merge branch 'majestic' of github.com:krangelov/gf-core into majestic 2025-08-26 19:46:25 +02:00
Krasimir Angelov c02a0c4159 fix the case PType => PType 2025-08-26 19:45:31 +02:00
Krasimir Angelov 272fc4bac1 Merge branch 'majestic' of github.com:krangelov/gf-core into majestic 2025-08-21 14:25:28 +02:00
Krasimir Angelov 8ba7d7ba48 fix error for clang 2025-08-21 14:24:42 +02:00
Krasimir Angelov cbac8b4fd2 improve the syntax for options 2025-08-19 18:01:37 +02:00
Krasimir Angelov 1a512473cd composOp of options 2025-08-17 22:50:10 +02:00
Krasimir Angelov bcaa0477d2 pretty printing for options 2025-08-17 08:35:43 +02:00
Krasimir Angelov 78751395b4 added mapVariantsC 2025-08-16 22:59:30 +02:00
Krasimir Angelov 5bf8faa47a Merge branch 'my-temporary-work' into majestic 2025-08-15 14:31:31 +00:00
Krasimir Angelov 4aa664e7aa fix for reverting metavariables 2025-08-14 12:21:45 +02:00
Krasimir Angelov d6a6a352ae support for PChars inside pre 2025-08-13 12:18:59 +02:00
Krasimir Angelov ca4e99baf8 restore the pattern measureing for better performance 2025-08-13 11:51:11 +02:00
Krasimir Angelov c6c1dc178d fixed typechecking for record extension 2025-08-12 15:23:45 +02:00
Krasimir Angelov 82c1a70cfb allow patterns inside pre to contain concatenation 2025-08-08 13:55:39 +02:00
Krasimir Angelov 0b4426ab83 detect and eliminate unnecessary coercions 2025-08-08 09:21:34 +02:00
Krasimir Angelov be1de111ce support pattern definitions inside pre 2025-08-08 09:19:14 +02:00
Krasimir Angelov f2de64cd34 progress on the type checker 2025-08-07 13:38:38 +02:00
Krasimir Angelov 4c8549d6dd a simple selection operation 2025-06-11 08:48:04 +00:00
Krasimir Angelov b993931820 change the semantics of bubbling and add the len construction 2025-06-10 17:27:30 +00:00
Krasimir Angelov ceb07da0c0 leftover change 2025-06-06 16:57:29 +00:00
Krasimir Angelov 6664914b7e Merge branch 'majestic' of github.com:krangelov/gf-core into majestic 2025-06-06 16:55:22 +00:00
Krasimir Angelov 04639d2c6b allow multiple tags inside control and top-level opers 2025-06-06 06:21:32 +00:00
Krasimir Angelov 21b44e3c55 control structure concat' 2025-06-05 11:58:25 +00:00
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
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 dbfa9e4faf type inference for lambda abstractions 2025-04-16 12:29:50 +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 3432e6f571 serialization for expressions in daison 2025-04-13 08:36:25 +02:00
Krasimir Angelov c2d64efe68 cannonical export now may contain some resource modules with parameters 2025-04-11 10:47:43 +02:00
Krasimir Angelov aa3a03e7af Merge pull request #179 from phantamanta44/majestic 
majestic: predef evaluation + option..of construct
 2025-04-06 17:25:16 +02:00
Krasimir Angelov f0b42f4783 Merge pull request #178 from EkaterinaVoloshina/majestic 
Create ServerInstructions.md
 2025-03-31 19:07:43 +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 65e4ca309c Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic 2025-03-21 07:02:23 +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
Krasimir Angelov 084ffa1ce9 fix quantification 2025-03-08 12:42:46 +00:00
Krasimir Angelov 344481634f the pure evaluator 2025-03-07 23:27:05 +00:00
Krasimir Angelov 364c8c023c switch to using pure functional evaluator 2025-03-07 20:50:28 +00:00
Krasimir Angelov c9aadf7382 added missing case 2025-03-07 08:57:55 +01:00
Krasimir Angelov d97292cfd4 AC_PROG_LIBTOOL not necessary anymore 2025-03-07 08:57:11 +01:00
Krasimir Angelov 84fa6522de bump upper version of the network package 2025-02-26 12:06:29 +00:00
Krasimir Angelov 176dcdf2fa import liftA2 2025-02-25 12:31:05 +00:00
Krasimir Angelov a501784a32 Merge pull request #173 from phantamanta44/majestic 
majestic: Type-checking improvements + unifying overload resolution + simple REPL
 2025-02-25 13:05:00 +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 db58a4e7d6 bugfix 2024-09-21 16:12:21 +02:00
Krasimir Angelov b86097a580 bugfix 2024-09-21 15:50:09 +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 8878eddb7d an API to retrieve a single language 2024-09-20 17:34:10 +02:00
Krasimir Angelov e722916728 pattern matching with PChar 2024-09-05 18:00:27 +02:00
Krasimir Angelov 6c2a94d428 comment out the call to the LRTableMaker 2024-09-05 14:03:07 +02:00
Krasimir Angelov 5239ce5458 an experimental left-corner table maker 2024-09-05 14:01:22 +02:00
Krasimir Angelov d43d2cbdb1 fix potential crashes 2024-09-03 16:41:22 +02:00
Krasimir Angelov c519d4bfae switch to the new and nicer vector API 2024-08-28 11:20:45 +02:00