Ayaz Hafiz
8dfc9c0367
Inline BadType::BadTypeArguments in canonicalization errors
2022-11-08 14:11:25 -06:00
Ayaz Hafiz
98464984dd
Remove type problem bad type
2022-11-08 14:11:25 -06:00
Ayaz Hafiz
fb643758bb
Remove Unified BadType
2022-11-08 14:11:25 -06:00
Ayaz Hafiz
09748aec48
Remove problems from error type API surface
2022-11-08 14:11:25 -06:00
Ayaz Hafiz
b6322ff883
Report empty problems in translating to error type
2022-11-08 14:11:25 -06:00
Ayaz Hafiz
c4bd9fb79d
Remove problems from Subs
2022-11-08 14:11:25 -06:00
Ayaz Hafiz
281bc94b55
Remove FlatType::Erroneous
2022-11-08 14:11:25 -06:00
Ayaz Hafiz
1974d8e848
Add comment on missing reporting
2022-11-08 14:11:24 -06:00
Ayaz Hafiz
fd80f5b70e
Remove problem in alias instantiation
2022-11-08 14:11:24 -06:00
Ayaz Hafiz
c9953129cb
Remove problem storage in Type::Erroneous
2022-11-08 14:11:24 -06:00
Ayaz
b984351514
Merge pull request #4489 from roc-lang/types-soa-more-in-solve
...
Types SoA for aliases instantiated during solving
2022-11-08 14:06:57 -06:00
Ayaz
8179e29bf8
Merge pull request #4486 from roc-lang/more-prep-constraining
...
Lift constraining expectation indices up a level
2022-11-08 13:47:57 -06:00
Folkert de Vries
95f8bac859
Merge pull request #4485 from roc-lang/types-soa
...
Types SoA and Type -> Variable conversion via SoA
2022-11-08 20:32:27 +01:00
Ayaz Hafiz
7034a4d692
Types SoA for aliases instantiated during solving
2022-11-08 12:57:30 -06:00
Richard Feldman
6486591201
Merge pull request #4462 from lukewilliamboswell/rust-docs
...
Rust docs update #2
2022-11-08 09:35:04 -08:00
Anton-4
0593ae8e05
cli run tests refactoring
2022-11-08 16:50:40 +01:00
Ayaz Hafiz
51d813dae2
Index into constraining via trait
2022-11-08 09:00:51 -06:00
Ayaz Hafiz
24b6d4a3a9
constrain_pattern takes an expected index
2022-11-08 09:00:51 -06:00
Ayaz Hafiz
b85465d74d
Resolve runtime error todo
2022-11-08 09:00:51 -06:00
Ayaz Hafiz
f0534fc770
Remove TODO comment
2022-11-08 09:00:51 -06:00
Ayaz Hafiz
b71fef5f3b
Resolve ability member todo
2022-11-08 09:00:51 -06:00
Ayaz Hafiz
c76a928ed4
Remove var storage TODO
2022-11-08 09:00:51 -06:00
Ayaz Hafiz
4f40d83b80
Remove _inner migration helper
2022-11-08 09:00:50 -06:00
Ayaz Hafiz
d84e98751e
Always feed ExpectedTypeIndex to expr constraining
2022-11-08 09:00:50 -06:00
Ayaz Hafiz
4e2eb67ff1
Surface constrain_expr takes an index
2022-11-08 09:00:50 -06:00
Ayaz Hafiz
b0bcda4117
typo
2022-11-08 09:00:25 -06:00
Ayaz Hafiz
db8e135a05
Simplify AbilitySet storage
2022-11-08 09:00:25 -06:00
Ayaz Hafiz
191798cfd6
Address clippy
2022-11-08 09:00:25 -06:00
Ayaz Hafiz
b735188542
Life is short, no need to spell it out
2022-11-08 09:00:25 -06:00
Ayaz Hafiz
b7af241538
Address clippy for Types
2022-11-08 09:00:25 -06:00
Ayaz Hafiz
09ec545995
Fix indent
2022-11-08 09:00:25 -06:00
Ayaz Hafiz
e240b18b27
Recover Erroneous in type
2022-11-08 09:00:25 -06:00
Ayaz Hafiz
58020a55d6
Type to variable through Types SoA
2022-11-08 09:00:24 -06:00
Ayaz Hafiz
5da11d7fdd
Index into Types
2022-11-08 09:00:24 -06:00
Ayaz Hafiz
dad9a8e537
Pass Types SoA repr in types to Variable translation
2022-11-08 09:00:24 -06:00
Folkert
93b9130edf
Type soa and conversion from existing data structure
2022-11-08 09:00:24 -06:00
Anton-4
a6a2b59a79
Merge branch 'main' of github.com:lukewilliamboswell/roc into rust-docs
2022-11-08 15:57:24 +01:00
Anton-4
48bf8681bc
clippy fix
2022-11-08 13:42:07 +01:00
Anton-4
bb3eed6ae7
fix "failed to truncate shared file"
...
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2022-11-08 13:12:03 +01:00
Folkert de Vries
91c4115980
Merge pull request #4481 from roc-lang/refactor-argv-envp
...
remove duplication in argv/envp creation
2022-11-07 16:38:27 +01:00
Ayaz
d968dc204b
Merge pull request #4475 from roc-lang/expect-can-fix
...
Expect canonicalization fix
2022-11-07 09:03:44 -06:00
Anton-4
7702a1c62e
Merge pull request #4329 from roc-lang/editor_launch_fix
...
editor launch fix + new test
2022-11-07 15:27:22 +01:00
Folkert de Vries
b28a121e9e
Merge pull request #4470 from joshuawarner32/when-refactor
...
Refactor several parse methods to use more combinators
2022-11-06 16:32:38 +01:00
Folkert
8be5399ccf
remove duplication in argv/envp creation
2022-11-06 13:13:16 +01:00
Luke Boswell
cec67721e6
merge upstream/main
2022-11-06 09:27:46 +11:00
Luke Boswell
2c2a70b8e7
Merge remote-tracking branch 'upstream/main' into rust-docs
2022-11-06 09:15:57 +11:00
Luke Boswell
d702e391b8
resolve feedback, added compiler stages diagram
2022-11-06 09:15:18 +11:00
Richard Feldman
0a37431f36
Merge pull request #4220 from roc-lang/roc-dev-inline-expects
...
Roc dev inline expects
2022-11-05 14:54:26 -07:00
Joshua Warner
ac5aa8d8ee
Combine bounds
2022-11-05 17:41:06 -04:00
Folkert
0b3492752f
fix expect not being canonicalized in certain positions
2022-11-05 21:13:50 +01:00
Anton-4
a6890add6a
Merge pull request #4473 from roc-lang/patch-zig-emit-asm
...
patch flaky emit asm error
2022-11-05 17:59:11 +01:00
Joshua Warner
5d5b71a083
Refactor several parse methods to use more combinators
2022-11-05 09:44:08 -04:00
Folkert
94cc2971a3
don't use a global on the zig side (surgical linking can't do those yet)
2022-11-05 14:08:19 +01:00
Folkert
92cc120c7f
Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects
2022-11-05 12:21:37 +01:00
Anton-4
79c2484a4d
patch flaky emit asm error
...
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2022-11-05 11:55:06 +01:00
Christopher Duncan
4b808100b4
Amend List.walk
documentation with latest syntax
2022-11-05 06:16:27 -04:00
Richard Feldman
dc2500aac2
Merge pull request #4419 from roc-lang/repl
...
REPL improvements
2022-11-05 02:35:26 -07:00
Richard Feldman
c2004d9779
Fix incomplete when
detection in repl
2022-11-05 01:22:26 -04:00
Richard Feldman
c03dc17ab4
Merge remote-tracking branch 'origin/main' into repl
2022-11-05 01:04:44 -04:00
Richard Feldman
b5b4192b10
Merge branch 'main' into improve-ruby-interop
2022-11-04 17:24:45 -04:00
Richard Feldman
8dfdddbedc
Update mono...for some reason
2022-11-04 17:18:32 -04:00
Richard Feldman
a961dbbe24
Fix ruby interop test
2022-11-04 15:17:28 -04:00
Richard Feldman
589e135de3
Remove some unnecessary macro use
2022-11-04 15:17:03 -04:00
Anton-4
4a69c8e305
update mono tests
2022-11-04 19:05:58 +01:00
Anton-4
590c61a6fd
Merge branch 'main' of github.com:roc-lang/roc into editor_launch_fix
2022-11-04 15:15:55 +01:00
Joshua Warner
060a69aed2
Fix CI
2022-11-04 09:47:55 -04:00
Richard Feldman
ed82e80a2b
Drop unnecessary isEq true
2022-11-03 23:16:30 -04:00
Richard Feldman
ee9b62d8ae
Don't use backpassing on List.any
2022-11-03 23:16:28 -04:00
Richard Feldman
d382eb334f
Merge pull request #4307 from cjduncana/list-iterate
...
Remove `List.iterate` from exported functions
2022-11-03 20:14:36 -07:00
Ayaz
0b6b16563f
Merge pull request #4451 from roc-lang/fix-mono-tests
...
Consolidate mono test behavior in debug and release modes
2022-11-03 22:11:43 -05:00
Richard Feldman
c4baf32e51
Merge pull request #4463 from roc-lang/clippy-1.65
...
clippy 1.65
2022-11-03 20:10:53 -07:00
Richard Feldman
0657c38bb4
Merge branch 'repl' into repl-warnings
...
Signed-off-by: Richard Feldman <oss@rtfeldman.com>
2022-11-03 20:05:18 -07:00
Richard Feldman
2110540a53
Merge pull request #4464 from joshuawarner32/fix-one_of
...
Fix one_of bug, properly return MadeProgress from "when" parsing
2022-11-03 19:25:36 -07:00
Joshua Warner
311193fe70
Fix one_of error state handling
2022-11-03 20:54:08 -04:00
Folkert
f291e85ccb
revert size change
2022-11-04 00:07:11 +01:00
Folkert
5c33369d6b
formatting
2022-11-03 23:48:39 +01:00
Joshua Warner
b2bb38220b
Make parse tests for reporting tests
2022-11-03 17:24:02 -04:00
Joshua Warner
469e1dc9e3
Fix --features=parse_debug_trace
2022-11-03 17:23:52 -04:00
Folkert
134de80150
various updates
2022-11-03 17:18:27 +01:00
Folkert
ade5e6de26
remove region
only used in recursion
2022-11-03 16:59:13 +01:00
Folkert
0129d4da94
remove scope
only used in recursion
2022-11-03 16:58:34 +01:00
Folkert
66a1ba00eb
1.65 clippy fixes
2022-11-03 16:20:37 +01:00
Folkert
f58b3cbf5c
remove duplicate import
2022-11-03 16:13:25 +01:00
Luke Boswell
a3f901427a
correct formatting and removed duplicate image
2022-11-03 20:02:10 +11:00
Luke Boswell
f3bdb5f321
updating rust package documentation
2022-11-03 20:00:06 +11:00
Folkert
0c9b49f5cd
Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects
2022-11-02 23:02:22 +01:00
Ayaz Hafiz
d114d410cb
Compile expect conditions with bool type, not continuation type
2022-11-02 16:02:39 -05:00
Christopher Duncan
c0822fdab2
Remove iterate
from exported functions
2022-11-02 16:47:09 -04:00
Ayaz Hafiz
a9bdbc968f
Fix constraining
2022-11-02 15:08:10 -05:00
Ayaz Hafiz
d811fa8e5a
Decloning party
2022-11-02 15:06:03 -05:00
Ayaz Hafiz
5ea9b145f6
More coalescing
2022-11-02 15:05:43 -05:00
Ayaz Hafiz
ef509ecc97
Inline variable
2022-11-02 15:05:43 -05:00
Ayaz Hafiz
2e07cc6c14
More signature coalescing
2022-11-02 15:05:43 -05:00
Ayaz Hafiz
2be70e6524
Even more coalescing of signatures
2022-11-02 15:05:42 -05:00
Ayaz Hafiz
4bd77250c7
Coalesce one signature type
2022-11-02 15:05:42 -05:00
Ayaz Hafiz
e0a2139b1e
Coalesce even more annotation types
2022-11-02 15:05:42 -05:00
Ayaz Hafiz
a6889a4f6d
Coalesce annotation in typed function constraining
2022-11-02 15:05:42 -05:00
Ayaz Hafiz
6c4722fe1c
Coalesce signatures in destructure constraining
2022-11-02 15:05:42 -05:00
Ayaz Hafiz
b8b0d4f028
Inline a variable
2022-11-02 15:05:42 -05:00
Ayaz Hafiz
f7724a7df3
Update derive tests
2022-11-02 15:05:42 -05:00
Ayaz Hafiz
951724f476
Coalesce another signature
2022-11-02 15:05:41 -05:00
Ayaz Hafiz
a589fbb9e7
Coalesce return type annotation in function def constraining
2022-11-02 15:05:41 -05:00
Ayaz Hafiz
db9b29f0c8
Coalesce signatures in function def constraining
2022-11-02 15:05:41 -05:00
Ayaz Hafiz
ce7648b344
Coalesce type signature vars in typed def constraining
2022-11-02 15:05:41 -05:00
Ayaz Hafiz
3362763e45
Coalesce signature types in value def constraining
2022-11-02 15:05:41 -05:00
Ayaz Hafiz
34cd1fb825
Pattern expectation takes a type index
2022-11-02 15:05:40 -05:00
Ayaz Hafiz
cbd014a98a
let_import_constraint take a type index
2022-11-02 15:05:23 -05:00
Ayaz Hafiz
2a4fca7034
First pass at expectations taking a type index
2022-11-02 15:05:22 -05:00
Ayaz Hafiz
6dc6386f77
DefTypes store slices into type indeces
2022-11-02 15:05:01 -05:00
Ayaz Hafiz
cbade622b6
exhaustive expects type index
2022-11-02 15:05:01 -05:00
Ayaz Hafiz
204ac2f8b4
Consolidate mono test behavior in debug and release modes
...
Makes sure that we turn on `debug-symbols` in mono tests, and that this
feature is fully respected in symbol generation, so that output in
release + debug builds are the same.
Closes #4435
2022-11-02 15:04:47 -05:00
Folkert de Vries
c4016547af
Merge pull request #4450 from roc-lang/simpl-exhaustiveness
...
Simplify constructor recovery
2022-11-02 19:32:40 +01:00
Ayaz
27a08041e0
Merge pull request #4454 from roc-lang/list-decision-tree-fixes
...
Minor cleanup and off-by-one fix for list decision trees
2022-11-02 13:21:30 -05:00
Anton-4
a8fcc8b107
Merge branch 'main' of github.com:roc-lang/roc into fix-nix-packaging-macos
2022-11-02 17:51:39 +01:00
Anton-4
85ce321c4d
Merge pull request #4347 from roc-lang/benchmarks-to-nix
...
moved earthly benchmarks to nix
2022-11-02 14:36:20 +01:00
Ayaz Hafiz
fc52e9582e
Fix an off-by-one modelling
2022-11-01 22:42:52 -05:00
Ayaz Hafiz
63abc4096d
Remove stale TODOs
2022-11-01 22:36:52 -05:00
Brian Hicks
db8955d6b5
examine PATH instead of calling which
2022-11-01 22:00:18 -05:00
Richard Feldman
ecbb8be61d
Merge pull request #4448 from roc-lang/list-patterns-decision-tree
...
Decision tree compilation of list pattern matches
2022-11-01 19:26:54 -07:00
Richard Feldman
2f7634a71c
Fix repl tests
2022-11-01 22:07:48 -04:00
Richard Feldman
e2451c7f22
Drop the gray lines from the repl
2022-11-01 22:05:47 -04:00
Richard Feldman
1499ec5def
Drop termline dependency
2022-11-01 21:42:08 -04:00
Ayaz Hafiz
666f0f8a52
Simplify constructor recovery
...
This fixes a bug in the list pattern matching code that caused crashes
in the presence of list guards, and simplifies the pattern splitting
algorithm to avoid complexity and allocations. Previously we would place
arguments-to-be-matched of constructors and lists at the front of
specialized rows for exhaustiveness checking, but at the back for
redundancy checking. Now, we always place them at the back - this avoids
needless allocation, and is not any worse, since we can still recover
the non-exhaustive witnesses by looking at the end of a list, instead of
the front.
2022-11-01 17:47:22 -05:00
Folkert de Vries
190a3c2a6f
Merge pull request #4124 from roc-lang/windows-tests
...
WIP windows: build tests, run some tests
2022-11-01 22:32:55 +01:00
Ayaz Hafiz
2d20c3b339
Allow too many args
2022-11-01 15:42:24 -05:00
Ayaz Hafiz
822aa71a0a
Compute list element stores lazily
2022-11-01 15:37:36 -05:00
Ayaz Hafiz
27b9dd8253
Simplify arity and branching calculation
2022-11-01 15:33:23 -05:00
Ayaz Hafiz
0706615d29
Decision tree compilation of suffixed list patterns
2022-11-01 15:22:31 -05:00
Ayaz Hafiz
b0edcc9af4
Add base gen tests for list matching compilation
2022-11-01 15:22:31 -05:00
Ayaz Hafiz
45f7cd5ad7
Make sure to update path of matched list
2022-11-01 15:22:31 -05:00
Ayaz Hafiz
ae71c7efe2
Decision tree compilation of list patterns
2022-11-01 15:22:31 -05:00
Ayaz
da1d937277
Merge pull request #4352 from roc-lang/i4349
...
Support monomorphic captures of body-polymorphic expressions in closures
2022-11-01 15:21:30 -05:00
Ayaz
0f4420e85e
Merge pull request #4447 from roc-lang/list-patterns-exhaustiveness
...
Exhaustiveness checking for list pattern matches
2022-11-01 15:19:42 -05:00
Folkert de Vries
b143183ba8
Merge pull request #4442 from roc-lang/better_errors
...
centralized commands, better errors, link build command refactoring
2022-11-01 21:10:37 +01:00
Richard Feldman
19ffa61f8f
Add a gray line after each repl output
2022-11-01 15:57:22 -04:00
Ayaz Hafiz
4b549ab24e
Apply clippy suggestions
2022-11-01 12:37:10 -05:00
Ayaz Hafiz
1d73560182
Add some more tests
2022-11-01 12:16:11 -05:00
Ayaz Hafiz
56bf50c331
Improve list pattern matching documentation
2022-11-01 12:07:00 -05:00
Ayaz Hafiz
7652ea2828
Add more documentation
2022-11-01 12:07:00 -05:00
Ayaz Hafiz
f696e8dd29
Clarify comment
2022-11-01 12:07:00 -05:00
Ayaz Hafiz
342f9f2e02
Add correct redundancy checking and tests for list patterns
2022-11-01 12:07:00 -05:00
Ayaz Hafiz
17920911e4
Implement list exhaustiveness checking
2022-11-01 12:07:00 -05:00
Ayaz Hafiz
62edf9547e
Better printing of list patterns
2022-11-01 12:07:00 -05:00
Ayaz Hafiz
99a4e21618
Improve exhaustiveness checking heuristics for list patterns
2022-11-01 12:07:00 -05:00
Ayaz Hafiz
a58d128d9e
Cover mode when unifying variable slices
2022-11-01 12:06:59 -05:00
Ayaz Hafiz
08d04e8c79
Update reporting tests
2022-11-01 12:06:59 -05:00
Ayaz Hafiz
92a3c48ce5
Implement sketching and pattern specialization for list patterns
2022-11-01 12:06:59 -05:00
Ayaz Hafiz
fbdf76e490
Report type errors in list pattern matches
2022-11-01 12:06:59 -05:00
Ayaz Hafiz
f9cb71fcf7
Report list element pattern type mismatches
2022-11-01 12:06:59 -05:00
Ayaz Hafiz
283f6e8e1e
Give localized region for expected list elem pattern
2022-11-01 12:06:59 -05:00
Anton-4
d7759bad16
Merge branch 'main' of github.com:roc-lang/roc into windows-tests
2022-11-01 17:27:51 +01:00
Ayaz
cb61f51814
Merge pull request #4441 from roc-lang/can-list-patterns
...
Canonicalization + Constraining of list patterns
2022-11-01 09:13:08 -05:00
Anton-4
05d48ec5d4
fixed macos retry zig
2022-11-01 09:32:36 +01:00
Brian Carroll
9ebf934ee7
Merge pull request #4444 from roc-lang/windows-cli-tests
...
Windows cli tests
2022-11-01 06:43:23 +00:00
Richard Feldman
fb799d1d24
clippy
2022-11-01 01:27:15 -04:00
Richard Feldman
211a5adcf6
fix a test
2022-11-01 01:26:22 -04:00
Richard Feldman
afa88bfd41
Don't shadow unnecessarily
2022-11-01 01:24:58 -04:00
Richard Feldman
560c984d30
Fix error filtering region math
2022-11-01 01:20:52 -04:00
Richard Feldman
167e8a40de
Print (filtered) warnings in the repl again
2022-11-01 00:25:11 -04:00
Richard Feldman
9854dceec8
Filter out warnings and errors for past defs
2022-11-01 00:24:49 -04:00
Richard Feldman
0980d2d357
Add Problem::region
2022-11-01 00:23:54 -04:00
Richard Feldman
4ace05ea5d
Revert "Start attempting to offset parse error regions"
...
This is going to be a bigger project than I want to take on right now.
This reverts commit 3304f37b78
.
2022-10-31 23:25:32 -04:00
Richard Feldman
3304f37b78
Start attempting to offset parse error regions
2022-10-31 23:25:24 -04:00
Richard Feldman
50d9755758
Merge pull request #4429 from austinclem1/main
...
add missing indent when formatting single-quoted char in pattern
2022-10-31 17:56:06 -07:00
Richard Feldman
220c362671
Merge remote-tracking branch 'origin/main' into repl
2022-10-31 20:49:28 -04:00
Richard Feldman
5e00522a47
Merge pull request #4443 from joshuawarner32/move-min_indent-to-parse-pr
...
Refactor Parser trait to pass min_indent
2022-10-31 17:46:05 -07:00
Folkert
a44cd68419
update comments
2022-10-31 23:56:53 +01:00
Folkert
bb893a70a0
actually put in the chkstk helper
2022-10-31 23:47:06 +01:00
Folkert
708de4136b
add assembly bytes for ___chkstk_ms
2022-10-31 23:28:14 +01:00
Ayaz Hafiz
9ab5d0efb8
Constraining of list patterns
2022-10-31 17:05:08 -05:00
Ayaz Hafiz
7b87d0093e
Update reporting tests
2022-10-31 17:05:08 -05:00
Ayaz Hafiz
058d1f0b5d
Add tests for multiple rest pattern errors
2022-10-31 17:05:07 -05:00
Ayaz Hafiz
b0a8b85de3
Canonicalization of list patterns
2022-10-31 17:04:47 -05:00
Folkert
0cada70627
add comment about removeing \r
2022-10-31 22:48:50 +01:00
Folkert de Vries
55ea3bbea2
Merge pull request #4437 from roc-lang/windows-effect-loop-scratchpad
...
windows: working cli benchmark tests
2022-10-31 22:33:10 +01:00
Anton-4
4ec43d9964
Closes #4423 , link build command refactoring
2022-10-31 21:32:38 +01:00
Joshua Warner
07be8ec000
Refactor Parser trait to pass min_indent
...
This removes the need to explicitly pass thru min_indent when using the parser combinators.
My ultimate goal here is to evolve the current parser closer toward a purely combinator-based parser,
at which point we can more easily transition smoothly to a formal(ish) grammar, or expand the meanings of combinators
to include things like:
* Incremental (re)parsing
* Unified parsing and formatting code
* Better error recovery
* Using the main parser directly for syntax highlighting
2022-10-31 13:31:47 -07:00
Richard Feldman
c3641d38d2
Add targets for repl_test
2022-10-31 16:14:59 -04:00
Richard Feldman
0be3632da3
fix some wasm repl tests
2022-10-31 16:08:46 -04:00
Richard Feldman
367d4fbb71
Use the right wasm feature flags
2022-10-31 15:26:10 -04:00
Richard Feldman
bc2ec738a0
Merge pull request #4281 from lucacervello/suggest-lambda-operator
...
Add suggest lambda operator instead of when
2022-10-31 10:29:46 -07:00
Ayaz Hafiz
5e891a3501
Add comment on when heuristic can be removed
2022-10-31 09:48:25 -05:00
Ayaz Hafiz
04e8e26faf
Fix env var typo
2022-10-31 09:46:07 -05:00
Ayaz Hafiz
bb02104436
Fix typo
2022-10-31 09:44:22 -05:00
Ayaz Hafiz
b3956569a6
Add comment on inlining
2022-10-31 09:43:28 -05:00
Ayaz Hafiz
07f5d0c7fd
Clarify TODO
2022-10-31 09:39:29 -05:00
Ayaz Hafiz
508ee8d428
Update repl test with OIOP
2022-10-31 09:38:23 -05:00
Ayaz Hafiz
a526fd92aa
inferred extension vars are material if they're not flex or empty
2022-10-31 09:38:22 -05:00
Ayaz Hafiz
4f367e2608
Clippers lose to the Thunder, I lose to Clippy
2022-10-31 09:38:22 -05:00
Ayaz Hafiz
9854f5f2ac
Print alias's underlying structures if OIOP vars are material
2022-10-31 09:38:22 -05:00
Ayaz Hafiz
e1b6e0334b
Generate OIOP vars correctly
2022-10-31 09:38:22 -05:00
Ayaz Hafiz
f37868256d
Update repl test
2022-10-31 09:38:22 -05:00
Ayaz Hafiz
985bd7d23f
Format the codes
2022-10-31 09:38:22 -05:00
Ayaz Hafiz
bedb26124d
Update load tests
2022-10-31 09:38:21 -05:00
Ayaz Hafiz
debe6332c5
Support OIOP for type aliases
2022-10-31 09:38:21 -05:00
Ayaz Hafiz
6ee2fb496d
Do not check named arguments in both alias args and real typ
2022-10-31 09:38:21 -05:00
Ayaz Hafiz
aa8a7b1ebc
Less aggressive inlining in debug builds
...
Being too aggressive about inlining in debug builds can result in huge
stack frames building up when inlined functions are contained in
non-tail-recursive, non-inlined function calls. This easily hits stack
overflows, so avoid it.
2022-10-31 09:38:21 -05:00
Ayaz Hafiz
91dd47c5e4
Store OIOP variables in a unique buffer
2022-10-31 09:38:21 -05:00
Ayaz Hafiz
cfe7c8e5ef
Warn on the presence of unnecessary wildcards in output positions
2022-10-31 09:38:20 -05:00
Ayaz Hafiz
d55dbbf0ae
Update load test to work around constraining bug
2022-10-31 09:37:41 -05:00