9002 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Inari Listenmaa	945cd65220	Merge pull request #176 from EkaterinaVoloshina/patch-1 ... excluded outdated info	2025-03-20 17:40:02 +01:00
Ekaterina Voloshina	3c5c8424e0	excluded outdated info	2025-03-20 17:38:14 +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
Eve	19c5b410f2	Predef combinators	2025-02-21 15:25:25 +01:00
Eve	815dfcc2fc	Unification for function types	2025-02-15 23:07:29 +01:00
Eve	265db698ac	Dereference metavariables in types before structural inspections	2025-02-15 22:27:06 +01:00
Eve	b4b9974d54	More comprehensive open term check for builtin eval	2025-02-09 16:53:03 +01:00
Eve	80de452e6d	Fix inverted check in implicit arg app type check, disambiguate implicit args in reapply instead of tcApp	2025-02-08 10:23:23 +01:00
Eve	4750ccfb7e	Nondeterministic overload resolution in new type checker	2025-02-04 14:14:16 +01:00
Eve	41cdf5e56a	Load prelude in repl	2025-02-03 09:54:13 +01:00
Eve	8290f79f52	Rudimentary resource REPL in gf-compiler	2025-01-26 09:13:24 +01:00
Eve	3b58ccbeef	Don't evaluate builtins with free variables as arguments	2025-01-26 01:14:25 +01:00
Eve	d9ed763ace	Fix tcApp on pi types, split check/infer into variants inside and outside EvalM	2025-01-26 01:13:58 +01:00
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	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
Krasimir Angelov	cda3e99bd2	an alternative vector implementation	2024-08-27 22:40:05 +02:00
Krasimir Angelov	6a75e4d595	Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic	2024-08-26 13:47:58 +02:00
Krasimir Angelov	676a01db2c	a work in progress implementation for reset	2024-08-26 13:47:39 +02:00
Krasimir Angelov	92cd2df143	fix broken patch	2024-08-26 12:15:34 +02:00