41 Commits

Author	SHA1	Message	Date
Jonathan Prieto-Cubides	6ba1a4f4ff	Add a validity predicate example written in MiniJuvix	2022-03-30 19:09:43 +02:00
Jan Mas Rovira	f121fe0d39	[minihaskell] add compilation to MiniHaskell	2022-03-30 16:03:56 +02:00
Jan Mas Rovira	153ebe36a2	add simple test for MicroJuvix type checker	2022-03-29 09:46:26 +02:00
Paul Cadman	2ec85d39a4	[test] Add test of shadowing public open	2022-03-25 09:30:05 +00:00
Paul Cadman	242275a4e3	[scoper] Remove ErrGeneric	2022-03-24 14:57:10 +00:00
Paul Cadman	e60d307595	[error] Add ambiguous module message	2022-03-24 14:45:49 +00:00
Paul Cadman	459da40ae6	[error] Add message for ambiguous symbol error	2022-03-24 14:27:56 +00:00
Paul Cadman	339cc24541	[scoper] Improve resolution of local symbols	2022-03-24 10:28:15 +00:00
Paul Cadman	86110e063a	[test] Add ambiguity tests	2022-03-24 10:22:03 +00:00
Paul Cadman	f527143e67	[parser] Fix foreign block parsing	2022-03-23 15:34:08 +00:00
Paul Cadman	20dfb7b736	[scoper] Add support for Axiom backends	2022-03-23 15:05:52 +00:00
Jan Mas Rovira	c6e3c99225	[scoped] add ScopedIden	2022-03-18 10:16:43 +01:00
Jan Mas Rovira	fa95f8be82	separate MiniHaskell into MicroJuvix and 'new' MiniHaskell	2022-03-17 18:18:10 +01:00
Jan Mas Rovira	fee0055ea0	parse and scope 'foreign' and 'compile' statements	2022-03-16 23:40:44 +01:00
Jan Mas Rovira	df5f6d2df0	[scoper] check that top modules are defined in the correct path	2022-03-16 13:58:07 +01:00
Jan Mas Rovira	09303131a8	[test] improve test for literals	2022-03-16 12:42:06 +01:00
Jan Mas Rovira	271464df04	add integer and string literals	2022-03-15 12:37:33 +01:00
Jonathan Prieto-Cubides	7f501de774	[ tests ] added example about ordinals	2022-03-08 13:25:17 +01:00
Jonathan Prieto-Cubides	02c17c1d1f	[ tests ] Uppercase type variables	2022-03-07 17:59:18 +01:00
Jonathan Prieto-Cubides	9ed5db7243	[ tests ] fixed definitions for flat and aux	2022-03-07 17:16:45 +01:00
Jonathan Prieto-Cubides	19c15a1a8e	[ tests ] Adds some example of mutual recursion to test the termination checker	2022-03-07 16:39:14 +01:00
Jan Mas Rovira	f7b3d6042f	[termination] implement callgraph using sets	2022-03-05 13:32:47 +01:00
Jan Mas Rovira	d6dda61e12	[termination] implement lexical order search	2022-03-04 02:13:43 +01:00
Jan Mas Rovira	95c7e6fa10	[tests] add ackermann function	2022-02-24 01:33:26 +01:00
Jan Mas Rovira	4b16e08b8d	add some test files aimed at termination checking	2022-02-24 00:36:22 +01:00
Jan Mas Rovira	7ec3fede62	[tests] fix definition of Data.List.filter	2022-02-24 00:31:21 +01:00
Jan Mas Rovira	028c6ac5c0	[tests] add test and error for missing function clause	2022-02-24 00:29:59 +01:00
Jan Mas Rovira	a8d7f183b8	[tests] add test for parenthesized operators: (+)	2022-02-23 10:59:56 +01:00
Jan Mas Rovira	3124052807	[tests] add more positive tests from the stdlib	2022-02-18 22:02:57 +01:00
Jan Mas Rovira	3ead694533	[tests] add test for a fragment of stdlib Data.List	2022-02-18 17:57:04 +01:00
Jan Mas Rovira	bdd155d712	[tests] add support for mocked file system in scope checker. Useful for multi ... file tests	2022-02-18 17:48:21 +01:00
Jan Mas Rovira	09bf131990	[tests] setup step-wise positive tests	2022-02-18 13:01:42 +01:00
Jan Mas Rovira	85601c6332	[scoper] properly handle qualified constructors in patterns	2022-02-18 00:58:41 +01:00
Jan Mas Rovira	393f907a51	[scoper] add error for unused operator syntax definitions	2022-02-17 22:00:58 +01:00
Jan Mas Rovira	e55680bfec	[scoper] add module not in scope error	2022-02-17 13:40:19 +01:00
Jan Mas Rovira	4ffc7f368d	[wip] incorporate singletons-th	2022-02-16 20:15:14 +01:00
Jan Mas Rovira	add1b6e689	[tests] add more errors and their tests	2022-02-16 15:18:08 +01:00
Jan Mas Rovira	ee1ed2d385	[pretty] cool error for import cycles	2022-02-16 11:53:58 +01:00
Jan Mas Rovira	0856327658	[errors] add not in scope error	2022-02-14 13:39:54 +01:00
Jan Mas Rovira	d2e07b9c43	[errors] add more errors and tests	2022-02-14 11:54:18 +01:00
Jan Mas Rovira	cbc9a409ca	[tests] add two negative tests to check new errors	2022-02-14 09:06:11 +01:00