Commit Graph

2697 Commits

Author SHA1 Message Date
Ayaz
89f14e73a0
Merge pull request #4358 from roc-lang/derive-opaque-defs
Auto-derive ability implementations for opaques in canonicalization
2022-10-24 13:24:51 -05:00
Ayaz Hafiz
5164994fb5
Do not attempt to lookup functions in expects
Functions are not useful to print in expect results, because they are
only printed opaquely as `<function>`. Moreover, their transformation to
closure sets during mono can be extremely lossy, up to and including the
elision of symbols for function closure symbols. As such, simply do not
attempt to lookup or print functions referenced in expects.

Closes #4389
2022-10-24 10:28:56 -05:00
Anton-4
0286524892
Merge pull request #4289 from cjduncana/dict-testing
Add Dict module to the testing CI
2022-10-24 09:12:07 +02:00
Ayaz Hafiz
14e0cd1b84
Address syntax error 2022-10-23 20:49:06 -05:00
Ayaz Hafiz
8ff74465b9
Format Decode.roc 2022-10-23 20:48:07 -05:00
Ayaz Hafiz
89def77f01
Use derived Eq impl for Dict and Set 2022-10-23 20:48:07 -05:00
Ayaz Hafiz
e75f3c3c79
Get rid of MemberImpl::Derived
We don't need this anymore, since derived members become Impls during
canonicalization now!
2022-10-23 20:48:07 -05:00
Ayaz Hafiz
1d885c4ab2
Support deriving Decode for opaques 2022-10-23 20:48:06 -05:00
Ayaz Hafiz
61ba59de07
Even more unneeded allocations 2022-10-23 20:48:06 -05:00
Ayaz Hafiz
e08b613047
Add Decode.mapResult 2022-10-23 20:48:06 -05:00
Ayaz Hafiz
bb8888b115
Make sure we don't report errors for illegal derived bodies, just their decls 2022-10-23 20:48:05 -05:00
Ayaz Hafiz
3f09de7052
Remove unused var 2022-10-23 20:47:43 -05:00
Ayaz Hafiz
59dfc4ab99
Move can-derived bodies to their own module 2022-10-23 20:47:43 -05:00
Ayaz Hafiz
6edab8b7cc
Avoid unneeded allocations 2022-10-23 20:47:43 -05:00
Ayaz Hafiz
c4f9aa6fe6
Add deriving toEncoder for opaques 2022-10-23 20:47:42 -05:00
Ayaz Hafiz
83813afeaf
Derive Eq for opaques 2022-10-23 20:46:56 -05:00
Ayaz Hafiz
40e05d5a00
Add support for deriving Hash for opaques 2022-10-23 20:46:56 -05:00
Folkert de Vries
a4ed5a582d
Merge pull request #4378 from roc-lang/windows-resize-reloc-section
resize reloc section when required
2022-10-23 20:05:11 +02:00
Christopher Duncan
a627a47709
Add Dict module to the testing CI 2022-10-23 08:37:59 -04:00
Richard Feldman
f734cc11c2
Merge pull request #4364 from travisstaloch/str-graphemes
Str graphemes
2022-10-22 22:31:50 -07:00
Travis Staloch
c2dbed2ff5
str-graphemes: rework and add some zig tests
- rework strGraphemes() to use a mutable slice and keep track of just
`last_codepoint_len`.
- add zig tests for empty string, ascii, utf8, ascii+utf8+emoji
2022-10-22 19:29:49 -07:00
Prajwal S N
df7e4eea7e
builtin(str): implement Str.graphemes
Signed-off-by: Prajwal S N <prajwalnadig21@gmail.com>
2022-10-22 19:29:49 -07:00
Folkert de Vries
be624f8bcb
Merge pull request #4359 from roc-lang/i4313
Disallow typing optional fields when required fields are annotated
2022-10-23 01:20:55 +02:00
Folkert de Vries
bcf2fc340d
Merge pull request #4350 from roc-lang/i4348
Use runtime representation of values when building structural eq
2022-10-23 01:19:17 +02:00
Folkert de Vries
4a5c8fd7ae
Merge pull request #4303 from roc-lang/i4291
Make sure self-recursive checks only happen after typechecking
2022-10-23 01:18:56 +02:00
Folkert
c55a3e7b37
resize reloc section when required 2022-10-22 14:49:59 +02:00
Folkert
989784620d
use execve on windows! 2022-10-22 01:23:41 +02:00
Folkert de Vries
863d0ab63e
Merge pull request #4353 from roc-lang/refine-relocation-location
refine relocation location
2022-10-21 12:16:31 +02:00
Brendan Hansknecht
9f8bf3f513
Merge pull request #4361 from roc-lang/send-safe-roc-list
Send safe roc list
2022-10-21 08:23:05 +00:00
Brendan Hansknecht
e27b874331
update test to use HASH_HASH_I* instead of HASH_ADD_I* 2022-10-19 18:22:44 -07:00
Ayaz Hafiz
f826ff1a71
Remove addI* variants from Hash
These are trivially fulfilled by converting a signed int to its unsigned
repr and hashing that.
2022-10-19 14:24:21 -05:00
Brendan Hansknecht
8804b28be0
expand safety doc comment 2022-10-19 12:09:05 -07:00
Brendan Hansknecht
6ebfcc8fa1
add clone to SendSafe* types 2022-10-19 11:54:17 -07:00
Folkert
d0492327e8
Revert "re-enable"
This reverts commit 644a12e7aa.
2022-10-19 17:41:46 +02:00
Folkert
644a12e7aa
re-enable 2022-10-19 16:52:51 +02:00
Richard Feldman
b6a282b0ce
Merge pull request #4337 from joshuawarner32/when-indentation-1
Allow parsing `when` cases with python-like indentation
2022-10-19 07:03:05 -07:00
Folkert
4de148456c
stop updating reloc data directory 2022-10-19 15:32:34 +02:00
Folkert
e2128a55f4
add assert to check we fit in the reloc section 2022-10-19 15:12:51 +02:00
Folkert
a572622ff7
update basereloc dir size 2022-10-19 14:12:41 +02:00
Brendan Hansknecht
24cd78fe7e
add tests and expose types 2022-10-18 23:35:15 -07:00
Brendan Hansknecht
58f4afd9f0
add a wrapper for RocStr and RocList that is Send safe 2022-10-18 23:00:43 -07:00
Joshua Warner
e39a385f5f
Allow parsing when cases with python-like indentation 2022-10-18 19:13:20 -07:00
Folkert de Vries
e90ddcd7d1
Merge pull request #4354 from roc-lang/var-has-variable
Resolve ability specializations looked up in expects
2022-10-18 23:28:17 +02:00
Ayaz Hafiz
05e8e6de6f
Disallow typing optional fields when required fields are annotated
Closes #4313
2022-10-18 15:50:20 -05:00
Brendan Hansknecht
62c9a2a8b6
Merge pull request #4355 from roc-lang/concat-memleak
Fix memory leak in List.concat
2022-10-18 19:07:52 +00:00
Ayaz Hafiz
d7237dc9e9
Cargo format 2022-10-18 12:09:18 -05:00
Folkert
b23b53aa6f
disable -fPIE on windows 2022-10-18 18:45:38 +02:00
Folkert
5e10dddd6f
support multiple app relocations per symbol 2022-10-18 18:43:40 +02:00
Ayaz Hafiz
706d22a942
Fix encode/decode deriving 2022-10-18 08:22:23 -05:00
Brendan Hansknecht
9f09bebdca
run 2022-10-17 21:50:25 -07:00