Ayaz Hafiz
739bdfe64e
Fix a bug in chasing assigned/hole on switch
2023-03-05 22:19:16 -06:00
Ayaz Hafiz
7914b07a2f
Eliminate unneeded joinpoints in union lambda dispatches
2023-03-05 22:10:42 -06:00
Ayaz Hafiz
8e4de80aa9
Add test for enum lambda set elimination
2023-03-05 22:01:50 -06:00
Ayaz Hafiz
a2389c7652
Eliminate joinpoints in trivial lambda set switches
2023-03-05 21:59:01 -06:00
Ayaz Hafiz
7867ffb62b
Rename test
2023-03-05 21:47:06 -06:00
Ayaz Hafiz
9166922e39
Remove unused is_terminal
2023-03-05 21:41:50 -06:00
Ayaz Hafiz
fb5ac9fc6e
Check in failing reproduction for #5086
2023-03-05 21:40:10 -06:00
Folkert de Vries
f500e5dfb6
Merge pull request #5090 from joshuawarner32/add-operators
...
Produce combined tokens directly and add a few operators
2023-03-05 13:20:46 +01:00
Brendan Hansknecht
dc77916bb5
Merge pull request #5088 from roc-lang/reorg-build
...
move build_file and related functions to roc_build
2023-03-05 12:18:35 +00:00
Joshua Warner
2dfe373311
Produce combined tokens directly and add a few operators
...
This (I believe) brings us in line with the complete set of operators supported in Roc.
2023-03-04 21:42:33 -08:00
Brendan Hansknecht
9894f52afd
update missed uses of roc_cli::build
2023-03-04 10:19:26 -08:00
Brendan Hansknecht
7a944113a0
move build_file and related functions to roc_build
...
This is needed of glue to be able to call build_file.
Also does some other changes to avoid circular dependencies.
2023-03-04 10:00:43 -08:00
Anton-4
89350a1c56
Merge branch 'main' of github.com:roc-lang/roc into cli_run_race_condition
2023-03-04 14:12:02 +01:00
Anton-4
e5aa27d19b
add lock for breakout
2023-03-04 14:11:48 +01:00
Brendan Hansknecht
0aa932d014
fix mem leak in Str.trim and make all Str.trim* functions consistent
2023-03-02 22:18:26 -08:00
Joshua Warner
3b5f6ef828
Merge pull request #5080 from lukewilliamboswell/parser-highlight2
...
Fix bug for static-site syntax highlighting
2023-03-02 17:20:16 -08:00
Brendan Hansknecht
66a7d08363
make List.mapN properly add all decrefs
2023-03-02 07:24:49 -08:00
Richard Feldman
82663fd30d
Merge pull request #5076 from roc-lang/fix-list-range
...
Fix List.range crashing
2023-03-01 19:29:24 -05:00
Anton-4
cf913814cb
fmt
2023-03-01 19:57:39 +01:00
Anton-4
7b5989e4ef
Merge branch 'main' of github.com:roc-lang/roc into cli_run_race_condition
2023-03-01 19:50:52 +01:00
Luke Boswell
f51aef42bb
add support for slashes
2023-03-01 19:06:15 +11:00
Luke Boswell
c9ffedb483
add ? token
2023-03-01 18:38:16 +11:00
Luke Boswell
5f8629f64e
bug fix for highlighting
2023-03-01 18:00:30 +11:00
Brendan Hansknecht
a87aec77b4
Merge pull request #5068 from roc-lang/gen-dev-i128
...
gen-dev: num additions
2023-02-28 16:29:42 +00:00
Luke Boswell
1590b30b19
Add a lexing-based 'highlight' mode to the parser
...
basic syntax highlighting
added more syntax highlighting coverage
add example of a markdown table with styling
move FIXED_TOKEN logic into highlight
refactor highlight, add support for backpassing
escape html from source code
fix bug with <pre> tag ordering
refactor out html from roc_parse
remove test, put highlight functionality into separate file
fix typo
2023-02-28 17:03:49 +11:00
Brendan Hansknecht
865bae9468
clarify type for test
2023-02-27 18:41:31 -08:00
Brendan Hansknecht
c4d56f1dc9
update formatting
2023-02-27 16:43:35 -08:00
Brendan Hansknecht
a86c8d7994
update mono tests
2023-02-27 16:36:08 -08:00
Brendan Hansknecht
f77d1dcd6b
fix List.range so that it will only crash when Length is too large
2023-02-27 16:01:05 -08:00
Anton-4
f07c126133
lock zig platform building
2023-02-27 18:01:32 +01:00
Anton-4
4157c0e72d
patch instruction reference link
...
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2023-02-27 12:25:18 +01:00
Folkert
1f296a5907
fix test I broke
2023-02-26 22:32:19 +01:00
Folkert
44f08f9e47
implement sqrt and log in the dev backend
2023-02-26 21:41:25 +01:00
Folkert
6a40d75353
float comparisions
2023-02-26 18:14:11 +01:00
Folkert
f1fa014524
support 128-bit literals
2023-02-26 15:11:49 +01:00
Anton-4
fba4075d1a
Merge branch 'main' of github.com:roc-lang/roc into remove_rodio
2023-02-25 12:13:23 +01:00
Anton-4
4d91fe01ca
update mono tests
2023-02-24 14:35:05 +01:00
Folkert
9897367038
fix merge conflict in the dev backend
2023-02-22 13:13:40 +01:00
Folkert de Vries
34340de60c
Merge pull request #5020 from roc-lang/dev-unbox-u32
...
dev backend: reading and writing 32, 16 and 8-bit values
2023-02-21 17:33:21 +01:00
Anton-4
091e043168
removed rodio and deps
2023-02-21 15:38:11 +01:00
Folkert de Vries
bd6623dab4
Merge pull request #5055 from roc-lang/abilities-bug-generic
...
Lambda set compaction must preserve unique specializations of concrete types
2023-02-21 15:24:23 +01:00
Ayaz Hafiz
fbc75016e1
Check in mono goldens
2023-02-20 19:31:22 -06:00
Folkert de Vries
088bd5211f
Merge pull request #5054 from roc-lang/glue-generate-lambda-set-callers
...
Glue generate lambda set callers
2023-02-21 02:19:53 +01:00
Ayaz Hafiz
7a4fed932d
Add gen tests for concerete unspecialized set conservation
2023-02-20 18:59:48 -06:00
Ayaz Hafiz
d7a069675b
Lambda set compaction must preserve unique specializations of concrete types
...
There are times that multiple concrete types may appear in
unspecialized lambda sets that are being unified. The primary case is
during monomorphization, when unspecialized lambda sets join at the same
time that concrete types get instantiated. Since lambda set
specialization and compaction happens only after unifications are
complete, unifications that monomorphize can induce the above-described
situation.
In these cases,
- unspecialized lambda sets that are due to equivalent type variables
can be compacted, since they are in fact the same specialization.
- unspecialized lambda sets that are due to different type variables
cannot be compacted, even if their types unify, since they may point
to different specializations. For example, consider the unspecialized
lambda set `[[] + [A]:toEncoder:1 + [B]:toEncoder:1]` - this set wants
two encoders, one for `[A]` and one for `[B]`, which is materially
different from the set `[[] + [A, B]:toEncoder:1]`.
2023-02-20 18:50:07 -06:00
Ayaz Hafiz
f7aa7e734d
Pass interner through to debug proc layouts misisng in param map
2023-02-20 18:49:29 -06:00
Ayaz Hafiz
e5c3376e90
Debug ProcLayouts
2023-02-20 18:49:18 -06:00
Ayaz Hafiz
5a1898b285
Pretty-print opaque refs
2023-02-20 18:42:05 -06:00
Ayaz
2f251310c0
Merge pull request #5010 from roc-lang/tuple-record-unify
...
Unify IR generation for tuples and records
2023-02-20 18:40:52 -06:00
Folkert
958d44a21c
cleanup
2023-02-20 22:25:48 +01:00