57 Commits

Author	SHA1	Message	Date
Yann Hamdaoui	8837caaddb	Implement strReplaceRegex primop	2021-04-13 15:12:24 +02:00
Yann Hamdaoui	941aa107f1	Use better names for string conversion primops	2021-04-13 15:12:24 +02:00
Yann Hamdaoui	1b4003fe42	Update strings stdlib to use comma syntax	2021-04-13 15:11:49 +02:00
Yann Hamdaoui	1dafb9a3f9	Fix comment	2021-04-13 15:11:49 +02:00
Yann Hamdaoui	383ac81b0b	Add string isMatch operator	2021-04-13 15:11:49 +02:00
Yann Hamdaoui	015bf77d46	Add ternary string ops replace and substr (no impl)	2021-04-13 15:11:46 +02:00
Yann Hamdaoui	64312104ce	Implement the Ident contract	2021-04-13 15:10:26 +02:00
Yann Hamdaoui	be8ce6f49e	Implement strMatch primops, smallfixes in stdlib	2021-04-13 15:10:26 +02:00
Yann Hamdaoui	a659163a21	Implement strContains primops, smallfixes	2021-04-13 15:10:26 +02:00
Yann Hamdaoui	64cbb8151d	Implement more string primops + their typing	2021-04-13 15:10:24 +02:00
Yann Hamdaoui	7247af8199	Implement some string primops	2021-04-13 15:07:59 +02:00
Yann Hamdaoui	d2f6d44238	Add string contracts and primops wrapper in stdlib	2021-04-13 15:06:44 +02:00
Eelco Dolstra	428a03916b	Merge pull request #324 from tweag/feature/stdlib-valuesof ... Add valuesOf to records stdlib	2021-04-09 10:34:45 +02:00
Yann Hamdaoui	a7f4decb0a	Fix lists stdlib syntax	2021-04-07 20:41:26 +02:00
Yann Hamdaoui	3b3e56f9be	Add valuesOf to the record stdlib	2021-04-07 20:11:49 +02:00
Yann Hamdaoui	61160f34a8	Add non-empty contract list	2021-04-07 20:10:02 +02:00
Yann Hamdaoui	e57bb043fe	Add a generate primitive operator	2021-04-07 20:10:02 +02:00
Yann Hamdaoui	922b950231	Use better type for the comparison function in sort	2021-04-07 20:10:02 +02:00
Yann Hamdaoui	e4d162d3be	Update lists stdlib to use the comma syntax	2021-04-07 20:10:02 +02:00
Yann Hamdaoui	e99fdea70b	Upgrade nums stdlib to use the comma syntax	2021-04-05 19:54:52 +02:00
Eelco Dolstra	3c52c3ac3f	Merge pull request #323 from tweag/feature/stdlib-num-recs-extension ... Add the nums stdlib	2021-03-31 16:52:31 +02:00
Yann Hamdaoui	6a734ab6a6	Update stdlib to semicolon-less syntax	2021-03-11 18:04:28 +01:00
Yann Hamdaoui	16b02c60c7	Fixes in the nums stdlib	2021-03-11 11:52:25 +01:00
Yann Hamdaoui	7a2b101f58	Add a nums stdlib	2021-03-11 10:44:36 +01:00
Eelco Dolstra	1553e390d6	Merge remote-tracking branch 'origin/feature/record-definition-by-pieces'	2021-03-02 13:33:02 +01:00
Yann Hamdaoui	d5d20d2760	Remove the field interpolation syntax	2021-02-19 14:16:34 +01:00
Yann Hamdaoui	858a2d1b09	Change Unknown to Other in typeOf	2021-02-10 09:53:33 +01:00
Yann Hamdaoui	c2ee0d680e	Add wrapper for hash and (de)serialize in stdlib	2021-02-10 09:48:43 +01:00
Yann Hamdaoui	3a87a88e90	Adapt type paths for parametrized list type	2021-01-21 19:52:50 +01:00
Yann Hamdaoui	604cb1e9c9	Implement homogenuous list contracts	2021-01-21 18:50:21 +01:00
Yann Hamdaoui	d3939e60e2	Update stdlib types with parametrized list types	2021-01-21 18:29:42 +01:00
Eelco Dolstra	bab81af43e	Merge pull request #266 from tweag/syntax/metavalues-pipe ... Pipe syntax for metavalues	2021-01-20 12:40:06 +01:00
Yann Hamdaoui	d9ac2c8861	Make %tag% and %blame% available as contracts.xxx builtins	2021-01-20 11:38:05 +01:00
Yann Hamdaoui	0ced2375a7	Adapt the stdlib to metavalues' pipe syntax	2021-01-20 11:13:08 +01:00
Yann Hamdaoui	b06903d6c9	Accept dynamic strings as tags of blame labels	2020-12-21 18:16:55 +01:00
Yann Hamdaoui	4cf6946a40	Push the function argument on the stack in ListMap/RecordMap	2020-12-11 18:37:37 +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	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	ceeb205bf5	Use new primops syntax in the stdlib	2020-12-09 15:26:30 +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
Yann Hamdaoui	42e1cb4d20	Fix reversed lists.flatten	2020-12-04 09:52:08 +01:00
Yann Hamdaoui	f6e1eb4455	Update the stdlib to use the new typing syntax	2020-11-23 17:41:22 +01:00
Yann Hamdaoui	84551c0f65	Implement contract for the dynamic row tail	2020-11-20 11:48:57 +01:00
Yann Hamdaoui	236a37911a	Update to the new merge syntax	2020-11-17 17:21:35 +01:00
Yann Hamdaoui	aceb4581e0	Remove open record contracts (postponed) + renaming	2020-11-05 17:08:10 +01:00
Yann Hamdaoui	12f866cf64	Add contract for dynamic records	2020-11-05 17:08:10 +01:00