language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-24 06:55:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6
25894 commits 346 branches 5 tags 214 MiB
Commit graph

52 commits

Author SHA1 Message Date
Anton-4
63b7fef60f
Merge + update mono tests 2023-08-16 19:21:34 +02:00
Richard Feldman
7768264868
Update mono tests again 2023-08-15 02:39:50 -04:00
Richard Feldman
fd866a5a64
Update mono tests 2023-08-14 20:17:43 -04:00
Richard Feldman
e8e1d0457f
Update mono tests 2023-08-14 20:06:04 -04:00
Richard Feldman
08e7b52ddc
Update mono tests 2023-08-10 23:34:23 -04:00
Richard Feldman
4cb3a06246
Update mono 2023-07-31 09:49:54 -04:00
Ayaz Hafiz
fea41000e5
Update mono tests 2023-07-12 17:00:55 -05:00
Folkert
9c85fb90d3
fix bugs 2023-06-24 14:49:47 +02: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
Luke Boswell
c1ff49be6c
change just Json module name 2023-06-04 17:37:01 +10:00
Kilian Vounckx
d43a78d000
Add update to symbols table and auto generate test_mono 2023-05-30 09:07:15 +02:00
J.Teeuwissen
b7a7a735fc
keep inc env always, but set count to 0. 2023-05-29 12:09:18 +02:00
Luke Boswell
4d4cfcf981
merge remote/main and update mono tests 2023-05-15 16:51:56 +10:00
Folkert
6fe610b7fc
update mono tests 2023-05-03 18:38:20 +02:00
J Teeuwissen
7439ee0c8c
Merge branch 'main' into drop_specialization 
Signed-off-by: J Teeuwissen <jelleteeuwissen@hotmail.nl>
 2023-04-26 20:26:37 +02:00
J.Teeuwissen
4de6369e6a
simplified join + mono 2023-04-26 20:11:44 +02:00
J.Teeuwissen
d4379ff895
Working IR 2023-04-22 13:32:38 +02:00
Luke Boswell
4f22b0747f
mono and update Json.fromUtf8 and Json.toUtf8 to Json.json 2023-04-21 10:57:48 +10:00
Kiryl Dziamura
7752d8dab5
Update mono IR snapshots 2023-04-12 16:15:50 +02:00
Luke Boswell
c7b8bc09f4
mono 2023-04-12 17:38:48 +10:00
Luke Boswell
9e0bc60056
mono 2023-04-11 20:12:44 +10:00
Luke Boswell
dc43290647
Merge branch 'main' into builtin-json 2023-04-04 17:21:08 +10:00
Richard Feldman
f6f201f1d3
Update mono tests 2023-03-29 21:23:14 -04:00
Luke Boswell
addc4debef
merge main, update fail test descriptions 2023-03-29 10:01:38 +11:00
Luke Boswell
3fbfdc3e4a
remove expect assertion to satisfy mono, update mono 2023-03-26 20:46:23 +11:00
Luke Boswell
e73720605a
mono 2023-03-26 20:39:20 +11:00
Ayaz Hafiz
5069d926bb
Update mono tests 2023-03-23 10:18:04 -05:00
Brendan Hansknecht
00a3d7b259
update mono tests 2023-03-15 16:44:02 -07:00
Luke Boswell
90dd31aaca
update mono 2023-03-15 18:24:16 +11: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
Luke Boswell
ac95c9a71a
update mono tests 2023-03-05 19:05:24 +11: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
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
fc4979e2ce
Add ClosureCallOptions enum to describe how to switch calling lambda 2022-08-19 22:16:40 -05:00
Richard Feldman
58c3575e44
Fix mono tests 2022-08-12 15:28:05 -04:00
Richard Feldman
b0f7737227
Update mono tests 2022-08-03 22:45:38 -04: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
Ayaz Hafiz
9a66e936a8
Switch String deriving to be an immediate deriver 2022-07-15 10:39:08 -04:00
Ayaz Hafiz
94ab904b6f
Fix compile errors 2022-07-14 09:02:37 -04:00
Ayaz Hafiz
df9bcb1a0c
Use Derived_synth for synthesizing implementations, and Derived_gen for codegen 2022-07-13 08:47:39 -04:00