612 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Eelco Dolstra	9021b426be	Merge pull request #248 from tweag/task/ops-use-stack ... Eliminate the inner terms of primitive operators 1: Switch	2020-12-21 14:59:21 +01:00
Eelco Dolstra	3a72ae41e2	Merge pull request #234 from tweag/refactor/meta-values-cleaning ... [Refactor]Remove the previous representation of metavalues	2020-12-21 14:42:20 +01:00
Eelco Dolstra	37f28e2b2e	Merge pull request #233 from tweag/refactor/meta-values ... [Refactor]Change the representation of metavalues	2020-12-21 14:41:54 +01:00
Yann Hamdaoui	732d30189e	Merge pull request #247 from tweag/task/eq-operator ... Built-in evaluation of a sequence of equalities	2020-12-18 10:55:05 +00:00
Yann Hamdaoui	61c2ab8808	Merge pull request #245 from tweag/task/lazy-lists-map ... Lazy `map` operator	2020-12-18 10:52:55 +00:00
Yann Hamdaoui	f9d0c1c62f	Merge pull request #243 from tweag/task/primitive-operators-representation ... Special syntax for fully-applied primitive operations	2020-12-18 10:52:29 +00:00
Yann Hamdaoui	949cca7442	Merge pull request #222 from tweag/fix/extra-row-error-message ... [Fix]Wrong `extra row` error message	2020-12-15 17:49:34 +00:00
Yann Hamdaoui	a7508c0846	Typecheckin of switch	2020-12-11 18:20:58 +01:00
Yann Hamdaoui	2a071fea45	Evaluation of new switch	2020-12-11 18:20:58 +01:00
Yann Hamdaoui	defd953c40	Add dedicated switch construct in the AST	2020-12-11 18:20:53 +01:00
Yann Hamdaoui	bbf7ee0493	Fix clearing of Eq on the stack	2020-12-11 11:09:49 +01:00
Yann Hamdaoui	7a40814216	Test that Eq correctly clear the stack	2020-12-11 10:21:31 +01:00
Yann Hamdaoui	c82eed5b95	Push eqs on stack, remove MultiEq	2020-12-11 09:54:25 +01:00
Yann Hamdaoui	7d6e9c4d80	Fix MultiEq + comments formatting	2020-12-09 18:13:08 +01:00
Yann Hamdaoui	84d2550f35	Make MultiEq binary to reduce allocations	2020-12-09 17:58:05 +01:00
Yann Hamdaoui	2d9717ef6d	Add MultiEq operation to evaluate a sequence of equalities	2020-12-09 15:46:39 +01:00
Yann Hamdaoui	51cbeeab15	Closurize the result of RecordMap	2020-12-09 15:42:49 +01:00
Yann Hamdaoui	48ac893531	Make map lazy in its first argument	2020-12-09 15:42:49 +01:00
Yann Hamdaoui	382d940ad1	Rename mapRec to RecordMap	2020-12-09 15:42:49 +01:00
Yann Hamdaoui	5c511b270c	Add comment + formatting	2020-12-09 15:42:46 +01:00
Yann Hamdaoui	9fb8df71c1	Formatting	2020-12-09 15:39:22 +01:00
Yann Hamdaoui	e7aed63cd0	Add comment + formatting	2020-12-09 15:39:20 +01:00
Yann Hamdaoui	782d468184	Add records stdlib with builtins wrappers	2020-12-09 15:26:30 +01:00
Yann Hamdaoui	800059fde0	Lists: add missing elemAt and fix map's type	2020-12-09 15:26:30 +01:00
Yann Hamdaoui	dc5a067cdd	Include builtins in the stdlib	2020-12-09 15:26:30 +01:00
Yann Hamdaoui	e8bccd3f5d	Use new primops syntax in tests	2020-12-09 15:26:30 +01:00
Yann Hamdaoui	ceeb205bf5	Use new primops syntax in the stdlib	2020-12-09 15:26:30 +01:00
Yann Hamdaoui	3731991a7f	Use special syntax for primitive operations	2020-12-09 15:26:30 +01:00
Yann Hamdaoui	b04c275b0e	Remove old merge token from the lexer/parser	2020-12-09 15:26:30 +01:00
Arnaud Spiwack	8a439d5e0a	Merge pull request #246 from tweag/fix/failing-ci-promise ... [Fix]Failing CI on master (old Promise syntax)	2020-12-09 12:31:57 +01:00
Yann Hamdaoui	325e2fff80	Update syntax of Promise in dynamic row tail tests	2020-12-09 12:10:09 +01:00
Yann Hamdaoui	c35100e7f8	Merge pull request #217 from tweag/feature/dyn-record-contracts ... Open record contracts	2020-12-09 10:53:47 +00:00
Théophane Hufschmitt	ffc350daf7	Merge pull request #239 from tweag/task/meta-value-typechecking ... Use type information of metavalues	2020-12-08 13:36:35 +01:00
Eelco Dolstra	c4648b7469	Merge pull request #242 from tweag/task/remove-iszero ... Remove isZero operator	2020-12-07 18:08:17 +01:00
Yann Hamdaoui	fdaea4828c	Merge pull request #238 from tweag/syntax/line-comments ... [Syntax]Support line comments	2020-12-07 13:38:39 +00:00
Yann Hamdaoui	c3edd770a1	Merge pull request #237 from tweag/fix/lists-flatten ... [Fix]Lists.flatten reversed	2020-12-07 13:19:06 +00:00
Yann Hamdaoui	ad0f19ac08	Remove isZero operator	2020-12-07 11:39:42 +01:00
Yann Hamdaoui	9f4dac8afc	Apparent type of metavalue with contract	2020-12-04 11:34:01 +01:00
Yann Hamdaoui	17af56f7c5	Support line comments	2020-12-04 10:37:37 +01:00
Yann Hamdaoui	42e1cb4d20	Fix reversed lists.flatten	2020-12-04 09:52:08 +01:00
Yann Hamdaoui	0c0f912005	Remove dead code	2020-12-04 09:47:41 +01:00
Yann Hamdaoui	305fd7259d	Remove dead code of previous metavalues representation	2020-12-04 09:47:41 +01:00
Yann Hamdaoui	f55679a579	Ensure inner term of metavalue is always thunked	2020-12-04 09:45:27 +01:00
Yann Hamdaoui	fafeeb680f	Add comment	2020-12-03 08:39:26 +01:00
Yann Hamdaoui	459ab6f515	Fix comment	2020-12-03 08:39:26 +01:00
Yann Hamdaoui	5e3b2d1dc5	Rename function	2020-12-03 08:39:26 +01:00
Yann Hamdaoui	2e6564b6b6	Update share normal form for new metavalue representation	2020-12-03 08:39:26 +01:00
Yann Hamdaoui	6620b3c91b	Support serialization for the new metavalue representation	2020-12-03 08:39:26 +01:00
Yann Hamdaoui	edc5759b56	Fix tests for pretty-printing of types	2020-12-03 08:39:26 +01:00
Yann Hamdaoui	772cb959e2	Do not force metavalues in non-strict mode	2020-12-03 08:39:26 +01:00