Commit graph

61 commits

Author SHA1 Message Date
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