520 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Denis Merigoux	45684e124c	Better test harness and doc	2020-12-09 17:31:42 +01:00
Denis Merigoux	5deee89562	Run tests in paralell	2020-12-09 17:09:43 +01:00
Denis Merigoux	fe130f90c7	Update simple test	2020-12-09 16:51:03 +01:00
Denis Merigoux	b0b231b38a	Handles infinite precision	2020-12-09 16:45:23 +01:00
Denis Merigoux	be563a24f6	Defined operators for dec and money	2020-12-09 14:51:22 +01:00
Denis Merigoux	ae05498049	Added support for decimals	2020-12-09 12:20:20 +01:00
Denis Merigoux	2e928f5629	Fixed typing bug	2020-12-09 11:38:04 +01:00
Denis Merigoux	170bd7685f	Added error when a scope variable evaluates to empty	2020-12-09 11:23:03 +01:00
Denis Merigoux	5ff7d78a9e	Fixed various edge cases of enums	2020-12-09 10:36:09 +01:00
Denis Merigoux	5abb73157f	Fix content/type lexer issue in nv	2020-12-06 18:09:48 +01:00
Denis Merigoux	15247aa28a	Pass simple test with enums	2020-12-06 17:56:06 +01:00
Denis Merigoux	4da1c7f9c8	Implmemented enum desugaring but parser error	2020-12-06 17:48:15 +01:00
Denis Merigoux	9170630a6e	Added better test	2020-12-06 13:00:38 +01:00
Denis Merigoux	ee0cb1eefc	Preventing recursive type definitions	2020-12-06 12:32:36 +01:00
Denis Merigoux	8abe20849d	Passing simple test	2020-12-06 11:42:47 +01:00
Denis Merigoux	fb592fa735	Field and constructor names appear in default calculus	2020-12-05 18:12:53 +01:00
Denis Merigoux	70aa8ae2c1	Simple struct test passing	2020-12-05 17:27:08 +01:00
Denis Merigoux	ef5dd18bc7	Introduce intermediate typ structure with named structs and enums	2020-12-04 18:48:16 +01:00
Denis Merigoux	0f853909ef	Implemented name resolution	2020-12-04 18:02:49 +01:00
Denis Merigoux	b5af8d175e	Enum and struct context to fill in name resolution	2020-12-04 16:40:17 +01:00
Denis Merigoux	7e674fa69d	Tabs to spaces	2020-12-04 15:14:29 +01:00
Denis Merigoux	9c0a81c928	Merge branch 'master' into dev	2020-12-04 15:09:07 +01:00
Denis Merigoux	c4192a219f	Added translation scope -> dcalc in presence of ctx	2020-12-04 14:41:20 +01:00
Denis Merigoux	b170b043f1	Print structs and enums in scopelang	2020-12-03 21:29:22 +01:00
Denis Merigoux	77b4fdf312	Starting to add structs and enums to scope language	2020-12-03 21:02:28 +01:00
Denis Merigoux	42a42fe10c	Added sum types to default calculus	2020-12-03 20:11:41 +01:00
Denis Merigoux	43829d65a6	Added more tests	2020-12-03 18:59:14 +01:00
Denis Merigoux	303b0c8e8d	Merge pull request #33 from CatalaLang/literate_programming ... Fixed newline problem	2020-12-01 15:49:47 +01:00
Denis Merigoux	00505a9da7	Fixed newline problem!	2020-11-30 10:55:27 +01:00
Denis Merigoux	de1660055f	Merge pull request #32 from CatalaLang/backend_revamping ... Revamp backend to follow new formalization	2020-11-27 19:20:35 +01:00
Denis Merigoux	3d48effb17	Fix all tests	2020-11-27 19:09:16 +01:00
Denis Merigoux	4599403d22	Changed error message	2020-11-27 19:04:57 +01:00
Denis Merigoux	94f47b3ac4	Changed error message	2020-11-27 19:04:22 +01:00
Denis Merigoux	80ef321123	Better func test	2020-11-27 19:00:08 +01:00
Denis Merigoux	180d56df13	Better error messages	2020-11-27 18:36:38 +01:00
Denis Merigoux	ae1c2c6e02	Passing all tests!	2020-11-27 17:21:37 +01:00
Denis Merigoux	0443221e8b	Fixed functions	2020-11-27 16:27:10 +01:00
Denis Merigoux	1030e4bc8d	Better type printing	2020-11-27 12:18:49 +01:00
Denis Merigoux	4709680557	Better cyclic dependencies error messages	2020-11-27 12:15:54 +01:00
Denis Merigoux	64cf1fd7cd	Test without func now pass!	2020-11-27 11:54:22 +01:00
Denis Merigoux	341ee710d8	Fixed translation bug	2020-11-27 11:37:21 +01:00
Denis Merigoux	3869f60669	WIP	2020-11-26 17:06:32 +01:00
Denis Merigoux	453c3afc91	Another example passing	2020-11-26 16:32:52 +01:00
Denis Merigoux	4a181ab4b7	First test passing	2020-11-26 16:22:08 +01:00
Denis Merigoux	69f0751037	Translate and typechecking simple exemple	2020-11-26 15:48:26 +01:00
Denis Merigoux	d3fe18aa18	Pretty-printing, fixing bugs in scope_to_dcalc	2020-11-26 13:38:42 +01:00
Denis Merigoux	e0f7baaa2b	Pretty printer	2020-11-26 10:38:13 +01:00
Denis Merigoux	b5e1e48fc8	Chain completed, onto debugging	2020-11-25 18:00:34 +01:00
Denis Merigoux	90de3c7c71	Completed translation from desugared to scope	2020-11-25 16:51:19 +01:00
Denis Merigoux	91f39a1b40	Progress: ... * used generative functors for Uids * priority tree now in Desugared.Ast	2020-11-25 14:35:31 +01:00