Commit graph

32651 commits

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