Commit graph

10297 commits

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