Richard Feldman
a2f5772996
Reproduce higher-order annotation parse bug
2025-07-05 23:03:04 -04:00
Richard Feldman
5e4eed904b
Merge pull request #7949 from roc-lang/expected-snapshots
...
Tests for snapshots using EXPECTED
2025-07-05 22:07:18 -04:00
Richard Feldman
e800cc63fa
Work around Windows stat issue
2025-07-05 22:01:27 -04:00
Richard Feldman
3bb580bf16
Merge remote-tracking branch 'origin/main' into expected-snapshots
2025-07-05 21:50:33 -04:00
Richard Feldman
9c6600c53e
Try something else to fix CI
2025-07-05 21:44:02 -04:00
Richard Feldman
60ae22692d
Merge pull request #7952 from roc-lang/refactor-instantiation
...
Refactor instantiation
2025-07-05 20:49:57 -04:00
Richard Feldman
2d826c9f74
Refactor instantiation
2025-07-05 20:30:17 -04:00
Richard Feldman
39d79a0f3c
Fix error that happens only on CI
2025-07-05 16:42:03 -04:00
Richard Feldman
542d6357b5
Give nonzero exit code for invalid snapshots
2025-07-05 16:27:37 -04:00
Richard Feldman
b06c415664
Merge remote-tracking branch 'origin/main' into expected-snapshots
2025-07-05 16:21:42 -04:00
Jared Ramirez
149b464582
Merge pull request #7951 from roc-lang/push-nmumnmkvmrqq
...
Standardize function names to use camelCase in `canonicalize.zig`
2025-07-05 13:19:03 -07:00
Richard Feldman
67ccd78bf4
Fix more EXPECTED behavior
2025-07-05 16:05:46 -04:00
Richard Feldman
78721c95b0
Merge pull request #7948 from roc-lang/let-polymorphism
...
Add some let-polymorphism tests
2025-07-05 15:36:42 -04:00
Richard Feldman
37d5e071bd
Fix test segfault
2025-07-05 15:21:51 -04:00
Richard Feldman
930657e4bf
Update EXPECTED
2025-07-05 15:19:20 -04:00
Richard Feldman
8790932e7d
Fix another EXPECTED bug
2025-07-05 15:16:12 -04:00
Richard Feldman
563c9b11da
Fix bug in EXPECTED checking
2025-07-05 15:00:29 -04:00
Richard Feldman
07f80e5a16
Add some let-polymorphism tests
2025-07-05 14:39:44 -04:00
Jared Ramirez
7165e3a229
Standardize use of camelCase in canonicalize.zig
2025-07-05 11:28:19 -07:00
Richard Feldman
f7d0c43398
Fix lints
2025-07-05 14:07:52 -04:00
Richard Feldman
0aabd77d9b
Verify EXPECTED sections during zig build test
2025-07-05 14:02:49 -04:00
Richard Feldman
4a04c71011
First pass at EXPECTED checking
2025-07-05 10:41:15 -04:00
Richard Feldman
e36c24d46d
Generate EXPECTED sections of snapshots
2025-07-05 10:32:35 -04:00
Richard Feldman
8663b7bf9f
Add EXPECTED to snapshots
2025-07-05 10:14:18 -04:00
Richard Feldman
1f4c5abb94
Merge pull request #7931 from roc-lang/nominal-types
...
Canonicalize nominal type declarations
2025-07-05 09:51:58 -04:00
Anton-4
ce9a1304cf
rm nightly_benches ( #7947 )
2025-07-05 15:51:05 +02:00
Luke Boswell
9553e705cb
update snapshots
2025-07-05 19:02:20 +10:00
Luke Boswell
0b9697a6e6
add support for record extension syntax
2025-07-05 18:59:21 +10:00
Luke Boswell
7f692f57e2
add support for recursive nominal types
2025-07-05 18:27:24 +10:00
Luke Boswell
74ab30fcce
fix parsing bug in statements with newlines
2025-07-05 18:12:14 +10:00
Luke Boswell
bdf3c71ef9
Implement qualfied ident parsing, and Nominal Type canonicalization
2025-07-05 18:03:11 +10:00
Brendan Hansknecht
926d6abfaa
Merge pull request #7945 from roc-lang/bhansconnect/push-vvxwsymvlrsm
...
fix '-fincremental'
2025-07-05 07:36:40 +00:00
Brendan Hansknecht
6828ca0957
Merge pull request #7944 from roc-lang/bhansconnect/push-zrqwuqnttuzv
...
Update to zig 0.14.1
2025-07-05 07:27:59 +00:00
Brendan Hansknecht
8c7b77b832
fix '-fincremental'
...
It enables faster compilation and is great.
In general, usingnamespace is best avoided anyway.
2025-07-05 00:25:49 -07:00
Brendan Hansknecht
89482e18af
Merge pull request #7938 from roc-lang/bhansconnect/push-ysltytzpzolt
...
Cleanup source code handling for reporting
2025-07-05 07:25:36 +00:00
Luke Boswell
868cd1b1a7
Merge pull request #7940 from joshuawarner32/can-html
...
Update html snapshots
2025-07-05 17:24:05 +10:00
Brendan Hansknecht
85a2bee3f1
Merge pull request #7943 from roc-lang/bhansconnect/push-vrmzqvrpyysp
...
Ensure tests are built with '-Dno-bin' such that they can be checked
2025-07-05 07:20:12 +00:00
Brendan Hansknecht
0061f4e9d3
Update to zig 0.14.1
...
This is a no-op. Things work with both 0.14.0 and 0.14.1.
2025-07-04 23:56:15 -07:00
Richard Feldman
dd1aee484e
Merge pull request #7932 from roc-lang/instantiation
...
Instantiate types when necessary
2025-07-04 21:44:53 -04:00
Joshua Warner
477c13b24c
Update html snapshots
...
* Implement ranges for canonicalize and types sections
* Use the same highlighting system across everything (TOKENS, PARSE, CANONICALIZE, TYPES)
* Use local storage to persist a default of what section(s) the user has selected in each pane
* Switch to 2-space indent for html sexpr output, because omg 8-space tabs in the browser make this go off the screen real fast
2025-07-04 18:41:48 -07:00
Richard Feldman
2fa8cac77a
fix typo
2025-07-04 21:30:46 -04:00
Brendan Hansknecht
f9d9e26df0
Ensure tests are built with '-Dno-bin' such that they can be checked
2025-07-04 17:06:10 -07:00
Richard Feldman
b51ebb8601
Merge origin/main into instantiation branch
2025-07-04 19:20:22 -04:00
Brendan Hansknecht
b89a135128
Cleanup source code handling for reporting
...
Previously, reporting was extracting lines via linear scans.
This was super slow and redundant. RegionInfo already grabs the line text efficiently using the line_starts array.
For large files with many errors, this is a ridiculous time saver.
This PR:
1. unifies around SourceCodeDisplayRegion.
2. Removes extractLines instead using line_text from regions.
3. Removes a bunch or redundant args.
2025-07-04 16:20:04 -07:00
Richard Feldman
c4d16c45f0
Centralize needsInstantiation in Store struct
2025-07-04 19:09:27 -04:00
Kiryl Dziamura
ffa14d2200
Merge pull request #7941 from roc-lang/kdziamura-patch-1
2025-07-04 22:17:03 +02:00
Kiryl Dziamura
3d055cd3fc
Update tokenize.zig
2025-07-04 21:51:23 +02:00
Anton-4
9a32c422f2
Add tip ( #7939 )
...
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2025-07-04 20:40:34 +02:00
Luke Boswell
f1719b41cc
Merge pull request #7935 from joshuawarner32/byte-ranges
...
Switch to using byte ranges for highlighting in html snapshot generation
2025-07-04 15:10:35 +10:00
Joshua Warner
281c288982
Highlight parse item when clicking syntax
2025-07-03 22:01:02 -07:00