Ayaz Hafiz
d481c9d22e
Disable test on wasm3
2022-08-03 21:17:32 -05:00
Ayaz Hafiz
7ee298324e
Link relevant issue of ignored test
2022-08-03 16:27:47 -05:00
Ayaz Hafiz
24810ca778
Add a couple tests that currently hit a compiler panic
2022-08-03 16:19:50 -05:00
Ayaz Hafiz
1273a6ab0b
Check in a couple of list deriving tests!
2022-08-03 16:11:45 -05:00
Ayaz Hafiz
c22bcc5c67
Resolve derived specializations that aren't functions
2022-08-03 16:11:09 -05:00
Ayaz Hafiz
8b63402b1c
Load non-function derived ability specializations correctly
2022-08-03 16:10:44 -05:00
Ayaz Hafiz
de3a12167b
Wrap list decoders in Decode.custom for now
...
Otherwise we get some weird panics in borrow, I think something is going
wrong with let-generalization
2022-08-03 16:09:22 -05:00
Ayaz Hafiz
8a0dedc975
Allow unused mut variable
2022-08-03 16:08:36 -05:00
Ayaz Hafiz
1526581542
Get the correct buitlin to derive from symbol name
2022-08-03 15:02:46 -05:00
Ayaz Hafiz
ab3ff6e842
Add a list decoder
2022-08-03 14:57:38 -05:00
Ayaz Hafiz
429ebbc830
Have v! macro specify what it needs itself
2022-08-03 14:57:16 -05:00
Ayaz Hafiz
19a0302b25
Turn on wasm tests that work
2022-08-03 11:49:43 -05:00
Ayaz Hafiz
5ba7b81d57
Disable wasm gen for now
2022-08-03 11:49:11 -05:00
Ayaz Hafiz
f52e329393
Remove deriving decoding module for now
2022-08-03 10:18:02 -05:00
Ayaz Hafiz
7bcfb2cd38
Gen tests for deriving decoding immediates
2022-08-03 10:17:03 -05:00
Ayaz Hafiz
b62c9d1faa
Support specialization of ability members that don't decay to functions
2022-08-03 10:16:22 -05:00
Ayaz Hafiz
b4e7ae0654
Make sure to part decimal part of a float after decimal point
2022-08-03 10:13:39 -05:00
Ayaz Hafiz
0e8eb5f6d0
Drop members with no actionable specialization decision
2022-08-03 08:56:26 -05:00
Ayaz Hafiz
61d34a4225
Get DeriveBuiltin from symbol
2022-08-03 08:56:26 -05:00
Ayaz Hafiz
44984d289c
Move derive Env to a util module
2022-08-03 08:56:26 -05:00
Ayaz Hafiz
e2179348c6
Add derive keys for decoders
2022-08-03 08:56:25 -05:00
Anton-4
6697e353a1
Merge pull request #3674 from rtfeldman/decode-obligation-checking
...
Obligation checking for derivability of Decode
2022-08-03 14:19:20 +02:00
Folkert de Vries
b4880ae66f
Merge pull request #3689 from rtfeldman/fix/3685-Str.splitLast
...
Fix Str.splitLast for needle positioned last
2022-08-03 13:27:25 +02:00
Folkert de Vries
f233fae480
Merge pull request #3690 from rtfeldman/3318-is-multiple-of-unsigned
...
Fix `Num.isMultipleOf` for unsigned ints
2022-08-03 13:25:56 +02:00
Anton-4
2b08347e66
cap retries on flaky error
2022-08-03 11:30:47 +02:00
Mostly Void
d6a54710d6
Fix Str.splitLast
...
This fixes the behavior of the function when the needle is positioned
last in the haystack.
» Str.splitLast "ehllo,," ",,"
Ok { after: "", before: "ehllo" } : Result { after : Str, before : Str } [NotFound]*
2022-08-03 11:30:49 +05:30
Ayaz
d0890e0694
Merge pull request #3677 from rtfeldman/refactor-derive-tests
...
Refactor deriving tests to put testing utilities in separate module
2022-08-02 21:04:03 -05:00
Richard Feldman
0b3beeb587
Merge pull request #3681 from rtfeldman/turn-on-derive-tests
...
Turn on deriver tests that work again
2022-08-02 21:39:32 -04:00
Ayaz Hafiz
3ec68fb3ef
Update type variables in derive tests
2022-08-02 16:16:12 -05:00
Ayaz Hafiz
6ebb0bfa6d
Fix solve tests
2022-08-02 16:15:35 -05:00
Ayaz Hafiz
9877224678
Turn on deriver tests that work again
...
Blocked on #3643
2022-08-02 16:15:35 -05:00
Folkert de Vries
a00cb58660
Merge pull request #3679 from rtfeldman/i3669
...
Choose recursion var when merging arbitrary variables, when possible
2022-08-02 22:09:50 +02:00
Ayaz Hafiz
db53ebf1bb
Fix merge conflicts
2022-08-02 14:35:13 -05:00
Ayaz Hafiz
d9959c8650
Update solve tests
2022-08-02 14:32:27 -05:00
Anton-4
ced2b2cda9
auto-retry flaky zig on FileNotFound
2022-08-02 14:31:17 -05:00
Ayaz Hafiz
fb5ab7d7ca
More aggressive inlining
2022-08-02 14:31:17 -05:00
Ayaz Hafiz
19e93962cb
Check for builtin opaque types that always have a derived impl
2022-08-02 14:31:17 -05:00
Ayaz Hafiz
5d1198ae1f
Add more underivable decoding tests
2022-08-02 14:31:17 -05:00
Ayaz Hafiz
36969f0720
Print all derivable abilities
2022-08-02 14:31:17 -05:00
Ayaz Hafiz
57c1bed218
Include Decode aliases
2022-08-02 14:31:17 -05:00
Ayaz Hafiz
4bbc6b74fc
Add derivability obligation checking for Decode
2022-08-02 14:31:16 -05:00
Ayaz Hafiz
a7bc8cf4f2
Switch obligation checking to use a visitor
...
My hope is this will make obligation checking for other abilities easier
to add when we do so
2022-08-02 14:30:10 -05:00
Ayaz Hafiz
86229718ad
Remove file that hasn't landed yet
2022-08-02 14:29:50 -05:00
Ayaz Hafiz
05d8bca0fb
Move DeriveBuiltin to derive_key
2022-08-02 14:29:49 -05:00
Ayaz Hafiz
6f06a59cdf
Condition derive tests on derived method
2022-08-02 14:28:20 -05:00
Ayaz Hafiz
c3383da994
Refactor deriving tests to put testing utilities in separate module
...
As we prepare to add derivers for Decoders, we'll want to use this same
infrastructure for Decoder derive tests. This pulls out the common test
infrastructure into a separate module under test_derive.
2022-08-02 14:28:20 -05:00
Ayaz
fa14146054
Merge pull request #3531 from rtfeldman/decode
...
Very basic Decode.roc in the standard library
2022-08-02 14:26:28 -05:00
Richard Feldman
a38a91a015
Merge pull request #3686 from rtfeldman/ci-fix-opaque-wrap-fun
...
MacOS x86_64 nightly: build before tests
2022-08-02 14:55:53 -04:00
Folkert de Vries
86a1a0f401
Merge pull request #3643 from rtfeldman/disjoint-able-variable-specialization
...
Disjoint able variable specialization algorithm
2022-08-02 20:31:47 +02:00
raleng
36f97b1925
Use build_int_unsigned_rem for unsigned ints
2022-08-02 18:29:11 +02:00