language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-16 11:04:59 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7
32099 commits 339 branches 5 tags 202 MiB
Commit graph

52 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
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
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
Richard Feldman
3b55b64ca6
Update mono tests 2024-02-15 06:47:14 -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
Isaac Van Doren
139d3c6f89
make dropFirst and dropLast drop n elements 2023-10-29 13:23:33 -05:00
Anton-4
44eedf7359
fix mono tests 2023-10-07 19:32:09 +02: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
d43a78d000
Add update to symbols table and auto generate test_mono 2023-05-30 09:07:15 +02:00
Brendan Hansknecht
9e2a36f1d4
update mono 2023-03-13 18:03:05 -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
2037ad22fd
Update encode mono test 2022-09-21 13:40:50 -05:00
kilianv
08c238ff27
Generate new files in test_mono after changing to opaque bools 2022-09-20 14:42:05 -05:00
kilianv
9717747a54
Update tests 
not all tests pass yet. Will look at them with Ayaz.
 2022-09-20 14:42:03 -05:00
Ayaz Hafiz
d8a8dff70d
Treat unwrapped capture sets as unwrapped directly 2022-08-19 22:16:41 -05:00
Ayaz Hafiz
68bb03ec09
Update mono tests 2022-08-19 22:16:41 -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
Ayaz Hafiz
17f53a23a5
Update tests 2022-07-18 17:55:02 -04:00
Richard Feldman
2efb605d68
Update mono tests 2022-07-13 12:20:16 -04:00
Folkert
02fa2eb086
update mono tests 2022-07-08 22:14:16 +02:00
Folkert
c0ace1ee0b
update mono tests 2022-07-08 16:19:12 +02:00
Folkert
24c6b92846
update mono tests 2022-07-08 16:16:42 +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
Folkert
36c8723214
update mono tests 2022-07-05 00:52:10 +02:00
ayazhafiz
671a19b29d
Fix mono 2022-07-03 10:39:55 -04:00
ayazhafiz
ae410fbf5d
Fix mono tests 2022-07-03 10:37:39 -04:00
Ayaz Hafiz
d08aecf55f
Rename multimorphic tests to capture niche 2022-07-03 10:37:34 -04:00
Brian Carroll
94181111be
Merge branch 'trunk' of github.com:rtfeldman/roc into pure-roc-list-walk 2022-07-02 21:44:42 +01:00
Folkert
543615292a
update mono tests 2022-07-02 19:38:38 +02:00
Brian Carroll
219e6d11cf
Merge branch 'trunk' of github.com:rtfeldman/roc into pure-roc-list-walk 2022-07-02 18:08:43 +01:00
Anton-4
b74fc3554b
Merge branch 'trunk' of github.com:rtfeldman/roc into crates-folder 2022-07-02 12:35:19 +02:00
Anton-4
b1b9a8dc0a
Merge branch 'trunk' of github.com:rtfeldman/roc into crates-folder 2022-07-02 10:44:25 +02:00