491 commits

Author	SHA1	Message	Date
Kevin Gillette	cd8ab753e3	remove %% operator	2022-04-18 19:15:14 -06:00
Kevin Gillette	777363afd0	decrement symbol IDs to account for mod removal	2022-04-18 19:14:43 -06:00
Kevin Gillette	d236c28743	Merge branch 'trunk' into sqrt-unchecked	2022-04-18 19:12:22 -06:00
Kevin Gillette	9ed4ca9739	remove Num.mod and Num.modUnchecked	2022-04-18 13:54:40 -06:00
Folkert	1c8b18f176	import Box by default	2022-04-18 21:43:16 +02:00
Kevin Gillette	1908ff41c3	rem, sqrt, log are unchecked but have checked variants ... mod exists but is not implemented due to lack of hardware support (emulation, possibly in terms of rem, is needed).	2022-04-17 14:40:39 -06:00
Folkert	e112f6ad2c	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc	2022-04-16 21:01:51 +02:00
Folkert	2b07b8c78d	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc	2022-04-13 21:45:40 +02:00
Kevin Gillette	2c4a83788c	Rename internal NUM_DIV_INT references to NUM_DIV_FLOOR. ... This balances with NUM_DIV_CEIL (which is another form of integer division).	2022-04-13 02:48:57 -06:00
Nikita Mounier	8206f345c7	Merge remote-tracking branch 'origin/trunk' into div-no-result	2022-04-11 11:45:06 +00:00
Nikita Mounier	9182bb5773	Add toF32/64 checked versions in symbol.rs to avoid conflict.	2022-04-11 11:35:56 +00:00
Nikita Mounier	4ecf2a8c24	Modify division behaviour to panic when dividing by 0, and add divChecked, divFloorChecked and divCeilingChecked` for safe alternatives which return a Result, mimicking the previous behaviour.	2022-04-11 11:23:33 +00:00
Folkert	1d0f9e9192	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc	2022-04-08 15:47:11 +02:00
Richard Feldman	cd00a98636	Add toF32/64 and checked versions	2022-04-07 16:13:57 -04:00
Brian Carroll	448140d223	wasm: refactor to prepare for HigherOrder calls	2022-04-05 00:01:11 +01:00
Folkert	7b221d6115	Merge branch 'simplify-identids' into builtins-in-roc	2022-03-22 22:25:55 +01:00
Folkert	30aa242075	flip insert and check	2022-03-22 22:22:24 +01:00
Folkert	a67bb29a36	remove hashmap	2022-03-22 21:58:49 +01:00
Folkert	6a9b08ed11	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc	2022-03-20 13:01:00 +01:00
Folkert	e914272bf5	Revert "idea (rejected): only generate work up to constraint gen, then look at what modules are actually used and generate Solve.. work based on that" ... This reverts commit 2cbe5f5231.	2022-03-19 16:26:46 +01:00
Folkert	2cbe5f5231	idea (rejected): only generate work up to constraint gen, then look at what modules are actually used and generate Solve.. work based on that	2022-03-19 16:26:38 +01:00
Folkert	988ab8775b	fix miscompilation for wasm	2022-03-18 23:11:28 +01:00
Folkert	bcd100e462	remove allocation in Symbol creation	2022-03-18 22:10:03 +01:00
Folkert	813b22a106	remove allocation in Symbol creation	2022-03-18 22:07:12 +01:00
Folkert	4e1197165b	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc-delayed-alias	2022-03-18 21:25:52 +01:00
Brendan Hansknecht	d681062c63	add Num.toNat	2022-03-11 11:17:42 -08:00
Folkert	831a90e310	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc	2022-03-08 22:36:06 +01:00
Folkert	3510bad1d5	add scaffolding	2022-03-07 20:55:40 +01:00
Folkert	adf4ad22a5	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc	2022-03-05 20:55:15 +01:00
Brendan Hansknecht	3bada97067	Merge remote-tracking branch 'origin/trunk' into gen-dev/quicksort2	2022-03-01 15:29:52 -08:00
Brendan Hansknecht	0ae0e689fc	Merge pull request #2602 from rtfeldman/list-replace ... List replace	2022-03-01 23:29:32 +00:00
Folkert	bd31503855	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc	2022-02-28 18:55:20 +01:00
Folkert de Vries	f30c07edd0	Merge pull request #2604 from rtfeldman/early-exhaustiveness-checking ... Move out exhaustiveness checking to its own crate	2022-02-28 14:44:42 +01:00
Brendan Hansknecht	069361a07e	first attempt at List.replace in the dev backend	2022-02-27 22:02:47 -08:00
Richard Feldman	8ec7b26a1c	Merge pull request #2547 from rtfeldman/simplify-editor ... simplify editor	2022-02-27 21:43:09 -05:00
ayazhafiz	b9a29bdb16	Make exhaustive checking its own crate ... Prepares for moving exhaustiveness checking to the closer typechecking phase. Doing this one step at a time so that git preserves the rename.	2022-02-27 20:28:25 -05:00
Brendan Hansknecht	2e70bb8458	remove list set low level	2022-02-27 15:07:09 -08:00
Folkert	0107d78ea0	most of Num	2022-02-27 13:03:47 +01:00
Folkert	65b1b3fcce	just before Num	2022-02-26 23:11:40 +01:00
Folkert	c0d3543d5a	make Str + Result work	2022-02-26 17:52:24 +01:00
Brendan Hansknecht	dddf8ff785	switch from pair to record and change name to ListReplaceUnsafe	2022-02-24 20:41:26 -08:00
Brendan Hansknecht	ba2e8cd32b	Add base piping for list.Replace	2022-02-24 17:58:56 -08:00
Folkert	d1d7cfef44	reimplement Result	2022-02-23 17:52:13 +01:00
hafiz	ca9ecbea52	Merge pull request #2533 from rtfeldman/abilities! ... [WIP] Spike for abilities and friends	2022-02-21 23:18:40 -05:00
Anton-4	985af24071	added reference to created issue for update_key	2022-02-21 17:20:19 +01:00
Anton-4	48d5775f62	simplification, stricter adherence to projectional editing approach	2022-02-21 14:47:57 +01:00
ayazhafiz	fa24e51593	Parse opaque types	2022-02-19 18:38:31 -05:00
ayazhafiz	13067f2908	Implement Num.toNNNChecked ... Closes #2411	2022-02-19 16:20:21 -05:00
Jan Van Bruggen	e12d98af98	WIP: Start adding new Int.toInt builtins	2022-02-19 11:28:12 -05:00
Brian Carroll	c61a18a200	Use custom macros for static assertions	2022-02-09 17:16:43 +00:00