Agus Zubiaga
f257c52634
clippy fix: no manual Option::map
2024-07-02 11:10:00 -03:00
Agus Zubiaga
f56239bd9b
Remove unnecessary ref
2024-07-02 11:10:00 -03:00
Agus Zubiaga
922b1c44ef
Report missing params
2024-07-02 11:10:00 -03:00
Agus Zubiaga
bc6a84a215
Report unexpected params
2024-07-02 11:09:59 -03:00
Agus Zubiaga
db76ab4015
Replace params in abilities TODOs with unimplemented!
2024-07-02 11:09:59 -03:00
Agus Zubiaga
42c58d8efe
Use Vec instead of VecMap for scope module sources
2024-07-02 11:09:59 -03:00
Agus Zubiaga
702092859e
Add pattern type for module params
2024-07-02 11:09:59 -03:00
Agus Zubiaga
90c7745989
Capture import params location for better errors
2024-07-02 11:09:56 -03:00
Agus Zubiaga
f0fe0a3ea6
Module params are not extensible
2024-07-02 04:10:47 -03:00
Agus Zubiaga
5ec4b042bb
Constrain and solve import params
...
No reporting yet
2024-07-02 04:10:46 -03:00
Agus Zubiaga
c541dd5747
Do not report import params symbol as unused
2024-07-02 04:10:46 -03:00
Agus Zubiaga
8604bb23b2
Include param's record references
2024-07-02 04:10:46 -03:00
Agus Zubiaga
50b1a60411
Reuse Var constrain for ParamsVar
2024-07-02 04:10:46 -03:00
Agus Zubiaga
8f69e75a95
Contrain module params pattern
2024-07-02 04:10:46 -03:00
Agus Zubiaga
674adf1fad
Wrap import params expr so we can constrain later
2024-07-02 04:10:46 -03:00
Agus Zubiaga
dcb2767b6e
Do not create unnecessary scope in solve run_help
2024-07-02 04:10:45 -03:00
Agus Zubiaga
dd0e28240a
Add module param identifiers to solve's scope
2024-07-02 04:10:45 -03:00
Agus Zubiaga
717463079a
Add module params to module cache
2024-07-02 04:10:45 -03:00
Agus Zubiaga
3a1d3d4ddb
Reuse record destructure can for module params
2024-07-02 04:10:45 -03:00
Agus Zubiaga
7ac72159e9
Parse module params loc and rename to pattern
2024-07-02 04:10:45 -03:00
Agus Zubiaga
c6e42ecf0c
Canonicalize module param patterns
2024-07-02 04:10:45 -03:00
Agus Zubiaga
d14b1f805c
Fix LookedupSymbol reference in docs
2024-07-02 04:10:44 -03:00
Agus Zubiaga
1526fc4aee
can::Expr::ParamsVar for lookups with params
2024-07-02 04:10:44 -03:00
Agus Zubiaga
5aebb7b570
Unqualified lookups return params
2024-07-02 04:10:44 -03:00
Agus Zubiaga
9d26adb228
Qualified lookups return params
2024-07-02 04:10:44 -03:00
Agus Zubiaga
96e2d32fa6
Canonicalize import params record
2024-07-02 04:10:44 -03:00
Agus Zubiaga
5e2ccdbfd5
Import params pending def
2024-07-02 04:10:44 -03:00
Luke Boswell
a44a6889bd
Merge pull request #6851 from kdziamura/last-expr-desugar
...
Simplify Defs parsing
2024-07-02 08:48:31 +10:00
Ryan Barth
3edc551043
chore: cargo fmt
2024-07-01 15:01:32 -07:00
shua
d90da3af52
rm TotallyNotJson
...
TotallyNotJson.roc now lives on the farm in virtual-dom-wip as Json.roc.
Any reference in stdlib or builtins has been removed, as well as the
last places it was used (in python/ruby-interop examples).
2024-07-01 20:37:23 +02:00
shua
67f555feea
test_mono, uitest: rm stdlib Json dependency
...
use the same tag len fmt introduced in test_gen/gen_abilities tests
2024-07-01 20:36:28 +02:00
shua
0faa1d5f20
test_gen: replace stdlib Json with inline implementation
...
Towards the goal of removing Json from stdlib, this change replaces
usage of TotallyNotJson in test_gen/gen_abilities with a simple usable
inline implementation of Encoder/DecoderFormatting.
Similarly, the use of TotallyNotJson in test_reporting is not necessary
at all and is replaced with a Decoder that wouldn't actually work, but
which does compile.
2024-07-01 20:30:05 +02:00
Kiryl Dziamura
819cfd6035
fix test snapshots
2024-07-01 19:48:00 +02:00
Kiryl Dziamura
6329389972
add tests
2024-07-01 19:47:49 +02:00
Kiryl Dziamura
1008b94259
fix returned expression desugaring
2024-07-01 19:46:59 +02:00
Kiryl Dziamura
c4b63aa80a
simplify defs parsing
2024-07-01 19:44:32 +02:00
Kiryl Dziamura
de9ed734c5
remove EmptyDefsFinal
2024-07-01 18:45:23 +02:00
Ryan Barth
43f970f813
fix: count all symbols to err on the side of over allocating
2024-06-30 23:17:20 -07:00
Ryan Barth
3fe2a4cd13
refactor: remove duplicate symbol functions from macho module
2024-06-30 23:01:32 -07:00
Ryan Barth
720ed2a457
fix: calculate windows dll symbols from prebuilt shared library
2024-06-30 22:56:14 -07:00
Richard Feldman
e421ef61be
Use internal_error over panic
2024-06-30 08:19:37 -04:00
Richard Feldman
1caebcff56
Update some error macro docs
2024-06-30 08:18:49 -04:00
Richard Feldman
f0f8d76055
Remove heap_alloc for now
2024-06-30 08:17:35 -04:00
Richard Feldman
39144a198d
Make error_and_exit inline(never) and cold
2024-06-30 08:17:35 -04:00
Richard Feldman
6102e38f33
Use target_arch if targeting wasm (so wasi works)
2024-06-30 08:17:34 -04:00
Richard Feldman
2253e849d4
clippy
2024-06-29 23:20:44 -04:00
Richard Feldman
28be4e5ee2
Make some things non-pub that don't need to be pub
2024-06-29 21:17:42 -04:00
Richard Feldman
863c97330d
Use constants for error message strings
2024-06-29 21:15:23 -04:00
Richard Feldman
99eb5bfe1e
Support formatting strings in error macros
2024-06-29 21:09:17 -04:00
Richard Feldman
101621bd5a
Make error_macros be no_std
2024-06-29 20:53:06 -04:00