Joshua Warner
7f1b3449a6
Correct handling of binop with SpaceAfter in a Body def
2025-01-16 21:32:06 -08:00
Joshua Warner
51f2cdccf7
Relax argument indentation requirements in closures
2025-01-16 21:27:40 -08:00
Joshua Warner
ede015517a
Unify Alias and Annotation formatting
2025-01-16 21:21:02 -08:00
Joshua Warner
6127bd2d26
Move unit assignment handling to lifting phase
2025-01-16 21:19:21 -08:00
Joshua Warner
ff230c4261
Make nodes more strongly normalizing to fix confusion with outdentability
2025-01-16 21:18:21 -08:00
Joshua Warner
a945fd9c5c
Force indent on where clause
2025-01-16 21:17:56 -08:00
Joshua Warner
f08a0012ea
Fix negative float and non-base-10 literal patterns
2025-01-16 21:16:53 -08:00
Joshua Warner
962534e3d1
Fix a couple issues with multiline string literal formatting
2025-01-16 21:16:34 -08:00
Joshua Warner
316ec39af7
Also handle tuple accessors for multiline string checking
2025-01-16 21:16:10 -08:00
Anthony Bullard
d3c400b5e0
Merge pull request #7520 from gamebox/format-new-lambdas
...
Format all lambdas to new syntax
2025-01-16 16:55:10 -06:00
Sam Mohr
7e8c9e391e
Merge pull request #7523 from smores56/map-err-operator
...
Implement ? binop operator
2025-01-16 14:54:53 -08:00
Jakub Konka
cd6749af44
linker/macho: error out if headerpad too small with better error message
2025-01-16 23:38:40 +01:00
Jakub Konka
fa85fc7e87
linker/macho: warn when headerpad is too small in host executable
...
Previously, I wrongly assumed that the Roc compiler controls how
the host is being built, but this is not the case. Therefore,
there is no way to automatically enforcing that the host will have
enough headerpad size. It may be possible to re-use the old idea
of shifting everything in file, however, this will necessitate also
shifting everything in memory since we absolutely have to shift
by page size to guarantee original alignment of sections. This then
becomes difficult as we will not only need update segments/sections
with new offsets and virtual addresses but also every rebase and binding
for the dynamic linker (which effectively means parsing the info and
recreating it). There may be even more avenues where updates are
required. Therefore, for the time being, let's nerf the error into
a warning since the linker is still experimental until we investigate
how difficult shifting actually is. If it turns out to be nigh
impossible, we will convert the warning back into a hard error and
the user will have to recompile the host with increased headerpad size.
Boy, this kinda reminds me of how errors are structured when one is
mixing PIC with non-PIC code ("recompile your code with -fPIC" or
similar).
2025-01-16 20:42:28 +01:00
Sam Mohr
5859415e73
Prefix hidden vars with #
2025-01-16 10:49:51 -08:00
Anthony Bullard
1b43ffa579
Format all lambdas to new syntax
2025-01-16 08:03:44 -06:00
Mattias Wallin
ccca5681e5
Fix: AppHeader::iter_tokens iterates provides twice
...
Fixes panic:
```
thread 'main' panicked at crates/language_server/src/analysis/semantic_tokens.rs:31:13:
attempt to subtract with overflow
[Error - 11:21:33 AM] Request textDocument/semanticTokens/full failed.
Message: Any { .. }
Code: -32603
```
2025-01-16 14:18:01 +01:00
Sam Mohr
474fd15dd4
Fix formatting
2025-01-16 03:21:34 -08:00
Sam Mohr
b73e4387ae
Implement ? binop operator
2025-01-16 02:44:32 -08:00
snobee
bbe2d7c46f
Remove references to Task and CalledVia::BangSuffix
2025-01-15 21:58:48 -08:00
snobee
406cc6c5e9
Merge remote-tracking branch 'upstream' into annotate-type-signatures
2025-01-15 21:15:32 -08:00
snobee
c519ab7ee1
Stop annotating recursion tags
2025-01-15 20:57:00 -08:00
snobee
1ec619f4f0
Remove duplicated Loc::byte_range()
2025-01-15 20:56:09 -08:00
snobee
78ba0ca701
Use internal_error! instead of assert_debug!
2025-01-15 20:50:50 -08:00
Ian McLerran
14d99c6907
update solve_expr and test_gen tests with map_ok
2025-01-15 21:30:19 -06:00
Ian McLerran
297dd0233e
update internal references to Result.map
2025-01-15 19:55:27 -06:00
Ian McLerran
326558337c
update mono tests
2025-01-15 19:55:26 -06:00
Ian McLerran
579beab901
Result.map to Result.map_ok
2025-01-15 19:55:26 -06:00
Anthony Bullard
8e1e1520e3
New Lambda Syntax with |...|
...
This adds parser support for the new lambda syntax. It does not remove
the existing syntax, nor will the new syntax be retained in formatting.
That will be done in a separate PR to keep the two respective PRs
relatively small and easy to review.
2025-01-15 05:58:16 -06:00
Anthony Bullard
4e66910ef8
Add a few tests
2025-01-15 05:56:39 -06:00
Joshua Warner
28a75611fc
Merge pull request #7511 from joshuawarner32/TypeVar
...
Introduce proper type for TypeVar's, mark anything not a lowercase ident as malformed
2025-01-14 22:45:10 -08:00
Joshua Warner
d43ad92789
Introduce proper type for TypeVar's, mark anything not a lowercase ident as malformed
2025-01-14 19:30:33 -08:00
Richard Feldman
c5d07c07ec
Close docs search box when an entry is selected
...
This comes up when clicking a link that changes
the fragment only, meaning the page doesn't transition
and the box doesn't get closed that way.
2025-01-14 20:16:19 -05:00
Luke Boswell
144b02939d
add mono test
2025-01-15 10:51:10 +11:00
shua
57fec060bb
update mono tests
2025-01-15 00:17:09 +01:00
shua
414fecd14d
add fromUtf16 and 32, as well as lossy variants
2025-01-15 00:17:09 +01:00
svcxc
897904bbeb
point readers to the zig implementation for builtins
2025-01-14 13:30:53 +01:00
svcxc
5e33dfb476
Merge branch 'main' of github.com:svcxc/roc
2025-01-14 09:35:33 +01:00
svcxc
4d79fa0893
added missing payloads to union in example C implementation for non-pointer-tagged recursive tag union
2025-01-14 09:33:57 +01:00
svcxc
264c4a78fe
Update crates/glue/writing_a_glue_plugin.md
...
Co-authored-by: Brendan Hansknecht <Brendan.Hansknecht@gmail.com>
Signed-off-by: svcxc <119040967+svcxc@users.noreply.github.com>
2025-01-14 09:30:32 +01:00
Jakub Konka
8fa979162b
Merge pull request #7499 from kubkon/macho-preprocess
...
linker/macho: redo bits of preprocessing host
2025-01-14 08:00:55 +01:00
Joshua Warner
a9c25563b2
Merge pull request #7504 from joshuawarner32/can-fuzzing-fixes
...
Fix a round of canonicalization panics found in fuzzing
2025-01-13 21:55:57 -08:00
Anton-4
070de58416
Merge pull request #7507 from imclerran/fix-gramatical-error
...
Fix grammatical error in monomorphization borrower error message
2025-01-13 20:24:52 +01:00
Anton-4
af352e3d7b
Merge pull request #7503 from shua/shr
...
fix Num.shift_right_by to not mutating src register
2025-01-13 19:44:37 +01:00
Ian McLerran
5774095300
Fix grammatical error in borrower error message
2025-01-13 12:05:41 -06:00
svcxc
7f8be9f56d
wrote up reverse-engineered memory layouts per glue platform shape, with some TODOs
2025-01-12 22:21:42 +01:00
Joshua Warner
5ebd6e0884
Only conditionally fuzz canonicalize
2025-01-11 20:24:35 -08:00
Joshua Warner
853dd5725b
Also handle large tuple indices in a.123 form
2025-01-11 20:24:35 -08:00
Joshua Warner
61bc0b3464
Resolve TODO around handling non-plain strings
2025-01-11 20:24:34 -08:00
Joshua Warner
e0ef01fa82
Fix two canonicalization crashes: try() and overflowed tuple indexes
2025-01-11 20:24:34 -08:00
Joshua Warner
7d464a2989
add failing test for ignored fields canonicalization
2025-01-11 20:24:33 -08:00
