Anton-4
c93e27ca9a
added List.keep_if_try!
( #7804 )
...
* added keep_if_try!
* cleanup types
* cleanup var name
2025-05-21 14:12:24 -05:00
Anton-4
882577bebc
added map_try! + walk_try! test ( #7770 )
...
* map_try! + walk_try! test
* update mono tests
2025-04-29 22:05:12 +02:00
Lars Frogner
560171c238
Add Num.[f32,f64,dec]_[to,from]_bits
builtins and deprecate Num.[f32,f64]_[to,from]_parts
( #7741 )
...
* Add `Num.[f32,f64,dec]_[to,from]_bits` builtins
* Update mono tests
* Deprecate `Num.[f32,f64]_[to,from]_parts`
2025-04-18 10:10:45 +02:00
Ian McLerran
541fb6056c
update mono tests
2025-01-09 13:53:01 -06:00
Ian McLerran
c360fca87e
update mono tests
2025-01-03 13:58:24 -06:00
Jared Ramirez
7daa008a9a
Add Num.fromBool
2024-12-24 10:10:20 -05:00
Isaac Van Doren
d99c347998
rename Str.split
2024-11-15 21:12:23 -06:00
Isaac Van Doren
9a14991c8f
update mono tests
2024-11-12 21:58:00 -06:00
Luke Boswell
9c1fe2c839
update mono
2024-11-13 10:46:34 +11:00
Agus Zubiaga
ca7697db91
update mono tests: ids increase because of new fx vars
2024-11-07 18:54:22 -03:00
Agus Zubiaga
762799052e
Merge branch 'main' into typecheck-module-params
2024-08-07 18:55:33 -03:00
Brendan Hansknecht
d4b86a745b
update mono tests
2024-07-13 10:39:57 -07:00
Agus Zubiaga
3841376784
update mono tests after adding import defs
2024-07-06 22:52:38 -03:00
Anton-4
18394da2a2
update mono tests
2024-06-10 16:32:53 +02:00
Folkert
241d2b565a
update mono tests
2024-05-04 15:59:59 +02:00
Fabian Schmalzried
4586147ee8
fix test-mono
2024-04-01 21:08:15 +02:00
Brendan Hansknecht
3c737c19ee
update mono tests
2024-02-29 21:33:32 -08:00
Richard Feldman
3b55b64ca6
Update mono tests
2024-02-15 06:47:14 -05:00
Richard Feldman
aabd95404f
Merge remote-tracking branch 'origin/main' into remove-nat
2024-01-30 21:42:45 -05:00
Kiryl Dziamura
b3dfdb562b
crash on rem div by zero
2024-01-30 11:12:02 +01:00
Folkert
979128cf32
make division by zero (integer) not trap
2024-01-29 01:38:32 +01:00
Richard Feldman
418731cb71
Update mono tests
2024-01-26 16:25:32 -05:00
Brian Teague
4499f8c6f4
isApproxEq function
2024-01-23 21:06:35 -05:00
Folkert
8b5269a66c
update mono tests
2024-01-20 22:31:54 +01:00
Bryce Miller
80dd0b6b93
run test_mono
2023-12-12 07:42:18 -05:00
Folkert
abff41c91f
update mono tests
2023-11-06 18:19:34 +01:00
Anton-4
44eedf7359
fix mono tests
2023-10-07 19:32:09 +02:00
Brendan Hansknecht
fb1db19dca
mono test
2023-09-17 09:00:01 -07:00
Richard Feldman
d63144489a
Merge remote-tracking branch 'origin/main' into walk-with-index
2023-08-17 00:08:50 -04:00
Richard Feldman
7768264868
Update mono tests again
2023-08-15 02:39:50 -04:00
Richard Feldman
af357a5cbd
Update mono tests
2023-08-15 02:30:21 -04:00
Richard Feldman
fd866a5a64
Update mono tests
2023-08-14 20:17:43 -04:00
Kilian Vounckx
402a89237d
Add Num.bitwiseNot function
2023-06-17 20:08:33 +02:00
Kilian Vounckx
ab0969f7bb
Add fractional constants
2023-06-15 20:31:17 +02:00
Fábio Beirão
250c50e018
Update the test_mono/generated folder
2023-06-09 18:09:37 +02:00
Kilian Vounckx
d43a78d000
Add update to symbols table and auto generate test_mono
2023-05-30 09:07:15 +02:00
Folkert
6fe610b7fc
update mono tests
2023-05-03 18:38:20 +02:00
Kiryl Dziamura
7752d8dab5
Update mono IR snapshots
2023-04-12 16:15:50 +02:00
Brendan Hansknecht
9e2a36f1d4
update mono
2023-03-13 18:03:05 -07:00
Brendan Hansknecht
85306953e9
update mono
2023-03-12 08:42:37 -07:00
Brendan Hansknecht
a86c8d7994
update mono tests
2023-02-27 16:36:08 -08:00
Brendan Hansknecht
415cac5179
update mono tests
2022-12-04 21:49:28 -08:00
Ayaz Hafiz
204ac2f8b4
Consolidate mono test behavior in debug and release modes
...
Makes sure that we turn on `debug-symbols` in mono tests, and that this
feature is fully respected in symbol generation, so that output in
release + debug builds are the same.
Closes #4435
2022-11-02 15:04:47 -05:00
Ayaz Hafiz
dc70c1b0b0
Update mono tests
2022-09-21 13:39:10 -05:00
kilianv
08c238ff27
Generate new files in test_mono after changing to opaque bools
2022-09-20 14:42:05 -05:00
Ayaz Hafiz
1460f60ab1
Unify material recursion variables behind aliases and opaques
...
Even if there are no changes to alias arguments, and no new variables were
introduced, we may still need to unify the "actual types" of the alias or opaque!
The unification is not necessary from a types perspective (and in fact, we may want
to disable it for `roc check` later on), but it is necessary for the monomorphizer,
which expects identical types to be reflected in the same variable.
As a concrete example, consider the unification of two opaques
P := [Zero, Succ P]
(@P (Succ n)) ~ (@P (Succ o))
`P` has no arguments, and unification of the surface of `P` introduces nothing new.
But if we do not unify the types of `n` and `o`, which are recursion variables, they
will remain disjoint! Currently, the implication of this is that they will be seen
to have separate recursive memory layouts in the monomorphizer - which is no good
for our compilation model.
Closes #3653
2022-07-29 11:03:47 -04:00
Ayaz Hafiz
0b74620a8f
Update mono tests
2022-07-18 22:15:22 -04:00
Folkert
02fa2eb086
update mono tests
2022-07-08 22:14:16 +02:00
Folkert
6dc0a379b0
update mono tests
2022-07-08 15:39:23 +02:00
Folkert
e6977986c9
update mono tests
2022-07-08 02:57:00 +02:00