roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-22 16:30:04 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,955 Commits 292 Branches 0 Tags 177 MiB
4bfdea03a9
Commit Graph

626 Commits

Author SHA1 Message Date
Richard Feldman
d28f8449d0 Report errors in the CLI 2020-04-03 21:58:44 -04:00
Richard Feldman
463eb6a1af Drop unused declaration in Cargo.toml 2020-04-03 21:46:36 -04:00
Folkert
05db8c0a48 cleanup 2020-04-04 01:58:59 +02:00
Folkert
51a3c72424 don't run pretty.rs tests 2020-04-04 01:50:19 +02:00
Folkert
ba16eff24d use pretty.rs for formatting 2020-04-04 01:41:17 +02:00
Folkert
a2a79925b3 complete add_category 2020-04-03 16:10:41 +02:00
Richard Feldman
98f4f46248 Special-case 2-branch if/else errors 2020-04-03 01:51:42 -04:00
Richard Feldman
dc3e2d307c Revise conditional error wording. 2020-04-03 01:05:55 -04:00
Richard Feldman
67b7be9786 Revise error for reporting 2020-04-03 00:48:00 -04:00
Richard Feldman
930f83a283 fixup! Add ReportText::Code 2020-04-03 00:47:44 -04:00
Richard Feldman
3313ad05fa Simplify some report helpers 2020-04-03 00:47:21 -04:00
Richard Feldman
bb2ececda4 Add ReportText::Code 2020-04-03 00:46:45 -04:00
Richard Feldman
c5b7b93593 Note how to rebuild bitcode 2020-04-03 00:17:34 -04:00
Folkert
1981a7e467 refactor and clean up 2020-04-03 01:20:35 +02:00
Folkert
604dbf7215 Merge remote-tracking branch 'origin/trunk' into precedence-error 2020-04-02 23:29:15 +02:00
Folkert
2e822e739f report circular type error 2020-04-02 23:13:35 +02:00
Richard Feldman
b8dc9ce1b2 Update bitcode importing instructions 2020-04-01 23:24:00 -04:00
Richard Feldman
01f3ae893f Use include_bytes! to import llvm bitcode 2020-04-01 23:24:00 -04:00
Richard Feldman
63bf1ce8b0
Merge branch 'trunk' into report-problems 2020-04-01 23:12:31 -04:00
Chad Stearns
30dadd882c Binop precedence problem report test 2020-04-01 22:17:39 -04:00
Folkert
8642cfeae0 report first type error 2020-04-01 23:37:05 +02:00
Folkert
106a3646bf add category to Eq constraint 2020-04-01 20:09:10 +02:00
Folkert
14ad793bd7 hook up TypeError 2020-04-01 16:28:10 +02:00
Richard Feldman
63b38ae174 clippy the original clipper 2020-04-01 00:03:27 -04:00
Richard Feldman
dfa514c1fe Use no_std in the builtins bitcode source 2020-04-01 00:03:03 -04:00
Richard Feldman
67e68d57b4 cargo fmt 2020-03-31 23:56:31 -04:00
Richard Feldman
9aba6ff22e Add a note about using build_cast 2020-03-31 23:56:09 -04:00
Richard Feldman
d93429131e Remove extraneous bitcode.bc 2020-03-31 23:55:11 -04:00
Richard Feldman
cda6a21fa4 Implement Num.toFloat 2020-03-31 23:51:17 -04:00
Richard Feldman
37492f4aa6 Load builtins on startup 2020-03-31 23:50:55 -04:00
Richard Feldman
081de1b4bc Add builtins/bitcode/ 2020-03-31 23:48:48 -04:00
Folkert
6531845966 fix off-by-one error 2020-04-01 00:06:48 +02:00
Folkert
8e8f93955e cleanup 2020-03-31 23:54:14 +02:00
Folkert
48832ffa84 add error under/side lines 2020-03-31 23:49:26 +02:00
Folkert
2b4b63a8eb add caret underline for sinlg-line regions 2020-03-31 23:28:14 +02:00
Folkert
11c8e2bfaa improve Precedence error message 2020-03-31 23:11:35 +02:00
Richard Feldman
d213c7316b Fix missing report for precedence problem 2020-03-31 00:08:56 -04:00
Richard Feldman
33d5e528a6 Use Interns for module_id in reporting tests 2020-03-30 23:57:57 -04:00
Richard Feldman
84ec100208 Merge remote-tracking branch 'origin/trunk' into report-problems 2020-03-30 23:49:30 -04:00
Richard Feldman
574e346c8f
Merge branch 'trunk' into pattern-errors 2020-03-30 23:17:58 -04:00
Richard Feldman
1609c058f6 Fix tests 2020-03-30 22:31:20 -04:00
Richard Feldman
5f817d8019 Add a basic CLI 2020-03-30 21:27:37 -04:00
Richard Feldman
47f35dde01 First pass at test_emit 2020-03-30 21:27:02 -04:00
Richard Feldman
0a0a736153 Move pass managers into llvm::build 2020-03-30 21:27:02 -04:00
Folkert
db3ffc6dab make runtime errors for invalid patterns 2020-03-31 01:47:14 +02:00
Folkert
2586fde6af add test that triggers assert 2020-03-31 00:27:37 +02:00
Folkert
4947e2638c remove RuntimeError panics in canonicalization 2020-03-30 15:59:00 +02:00
Folkert
e05bad3c72 remove panic in constrain/src/pattern 2020-03-30 15:09:15 +02:00
Richard Feldman
503486f5bb Merge remote-tracking branch 'origin/trunk' into report-problems 2020-03-29 23:27:21 -04:00
Richard Feldman
4d950f2014 Inline ModuleId::name 2020-03-29 23:27:12 -04:00
Richard Feldman
555528c483 Add Interns::module_name and use it. 2020-03-29 23:27:12 -04:00
Folkert
da7498510b add another test 2020-03-30 02:14:41 +02:00
Chad Stearns
62c7a7c3e2 Small adjustments to reports 2020-03-29 18:42:35 -04:00
Chad Stearns
1d839863a1 Remove catch all for problem report 2020-03-29 18:25:41 -04:00
Chad Stearns
da4e97fd25 Many commented out report tests and report_problem_as helper 2020-03-29 18:04:22 -04:00
Folkert
a6f80471f9 add tests based on elm typechecker issues 2020-03-29 23:33:21 +02:00
Chad Stearns
221581432a Two non-functional problem reports 2020-03-29 14:28:06 -04:00
Chad Stearns
a00ed8a1ca Misc cleaning up 2020-03-29 14:27:21 -04:00
Chad Stearns
a19287f657 Module name report text variety 2020-03-29 14:26:41 -04:00
Chad Stearns
3f2579c4f3 Module name report text variety 2020-03-29 14:26:25 -04:00
Richard Feldman
d0b2d63511 Drop cranelift deps 2020-03-27 00:45:18 -04:00
Richard Feldman
ebb4963da7 Extract bounds check 2020-03-27 00:18:12 -04:00
Richard Feldman
ceb9cdd452 Revert "Attempt to bitcast structs" 
This reverts commit a5b50730c33437f459da8705ee186f8f354c2454.
 2020-03-27 00:18:12 -04:00
Richard Feldman
ab79e20956 Attempt to bitcast structs 2020-03-27 00:18:12 -04:00
Richard Feldman
e27359a812 Revert "Switch from i1 to i8 for bools" 
This reverts commit 360d55483daa7eba53d66c7f14f9aec9db841986.
 2020-03-27 00:18:12 -04:00
Richard Feldman
0217913dc7 Switch from i1 to i8 for bools 2020-03-27 00:18:12 -04:00
Richard Feldman
23eafd3a75 Reorganize gen tests 2020-03-27 00:18:12 -04:00
Richard Feldman
40be7a582d Extract eval test helpers 2020-03-27 00:18:12 -04:00
Richard Feldman
8bcc23a9c7 Add some record tests 2020-03-27 00:18:12 -04:00
Richard Feldman
76fd347801 Explicitly set calling convention 2020-03-27 00:18:12 -04:00
Richard Feldman
7bb2a4e3b8 Use usize for pointer size in tests 2020-03-26 23:07:42 -04:00
Folkert
c202cf3e6b don't generate Store with no stores 2020-03-26 15:11:40 +01:00
Folkert
ad23fc7e4b Merge remote-tracking branch 'origin/trunk' into tail-calls 2020-03-26 14:57:28 +01:00
Folkert
fc905b505c codegen for letrec 2020-03-26 14:53:38 +01:00
Folkert
1108e56750 add Bool.not 2020-03-26 14:48:11 +01:00
Folkert
08403b0a1f enable tail-call elimination in llvm 2020-03-26 14:02:53 +01:00
Richard Feldman
a561f343b2 Remove Cranelift for now. 2020-03-25 20:19:58 -04:00
Richard Feldman
a07acd875f Fix test compilation error 2020-03-25 20:07:10 -04:00
Richard Feldman
8390bd966a Revert "Try using special struct return values" 
This reverts commit 0628c104513d1cae44859c1d804177c4a1e33c95.
 2020-03-25 19:47:28 -04:00
Richard Feldman
fcd917c9fe Re-disable cranelift test_gen tests for now 2020-03-25 19:47:28 -04:00
Richard Feldman
2491b2e43b Restore some more things to how they were before 2020-03-25 19:47:28 -04:00
Richard Feldman
0951f8048e Try using special struct return values 2020-03-25 19:47:28 -04:00
Richard Feldman
aae69e8b55 Try having main return multiple values 2020-03-25 19:47:28 -04:00
Richard Feldman
72742f3e4c Restore some things to how they were before 2020-03-25 19:47:28 -04:00
Richard Feldman
f27f324c4c Make clone_list more robust in crane build 2020-03-25 19:47:28 -04:00
Richard Feldman
5d28ae5fa6 Let us never speak of this again. 2020-03-25 19:47:28 -04:00
Richard Feldman
bb26692983 Fix load_list_ptr 2020-03-25 19:47:28 -04:00
Richard Feldman
8b881d90d9 Enable cranelift on all test_gen tests 2020-03-25 19:47:28 -04:00
Richard Feldman
3672900aaa Update a comment 2020-03-25 19:47:28 -04:00
Richard Feldman
97ff5620ab Clean up some cranelift stuff 2020-03-25 19:47:28 -04:00
Richard Feldman
aa1cbab373 Fix phi node bug 2020-03-25 19:47:28 -04:00
Richard Feldman
2c27e459b0 Inline list_set comparison 2020-03-25 19:47:28 -04:00
Richard Feldman
c560b7a6c5 Share code on LLVM List.set 2020-03-25 19:47:28 -04:00
Richard Feldman
56f4d553e5 More progress on List.set in Cranelift 2020-03-25 19:47:28 -04:00
Richard Feldman
41b39c0629 Add more llvm verification 2020-03-25 19:46:11 -04:00
Richard Feldman
bf129a7299 Progress on List.set in Cranelift 2020-03-25 19:46:11 -04:00
Folkert
579d0d9eff fix booleans in crane 2020-03-24 15:59:11 +01:00
Richard Feldman
bed356f93e
Merge branch 'trunk' into cleanup-mono 2020-03-24 06:28:45 -04:00
Folkert
39fb78b2d5 remove Jump/Label from mono::Expr 2020-03-24 00:11:02 +01:00
Folkert
958f3f9ad4 change pattern destructuring stores 
they are now tracked in the Cond/Switch variants, rather than merged into the branch constructors. Required for 'beans'
 2020-03-23 23:35:45 +01:00
Folkert
2bb69f333f always Cond on a symbol 
this will make 'beans' easier
 2020-03-23 20:00:15 +01:00
Folkert
3dbdb64a93 fix merge conflict 2020-03-23 17:56:38 +01:00
Folkert
baeb8ad96a test unit type patterns 2020-03-23 17:55:02 +01:00
Folkert
b9613fcdc5 clean up tag pattern match conversion 2020-03-23 17:55:02 +01:00
Folkert
a7b5768c47 use a custom type to store Union variants 2020-03-23 17:55:02 +01:00
Folkert
46062439b5 remove label from Struct layout 2020-03-23 17:55:02 +01:00
Folkert
e2a7c970bc refactor Access into AccessAtIndex 2020-03-23 17:55:02 +01:00
Chad Stearns
6a6912cbb1 Merge branch 'trunk' of github.com:rtfeldman/roc into more-reports 2020-03-22 22:01:29 -04:00
Chad Stearns
57cf650ac7 All report text types rendered in color with tests 2020-03-22 21:56:22 -04:00
Chad Stearns
3ea27dab39 Cleaned up report tests 2020-03-22 21:24:08 -04:00
Chad Stearns
1478fbca3f Region with line numbers of different string length need to pad shorter line numbers 2020-03-22 21:22:59 -04:00
Richard Feldman
ee12e56d1c Fix set_shared_list_oob test 2020-03-22 11:34:36 -04:00
Folkert
c6fa301d8b fix bug in is_unique 2020-03-22 13:22:52 +01:00
Richard Feldman
db502fe2e7 Revise some tests 2020-03-21 22:51:11 -04:00
Richard Feldman
39249f3905 Add test for List.set bounds checking 2020-03-21 22:14:02 -04:00
Richard Feldman
52bfe3ce9e Add bounds checking to List.setInPlace 2020-03-21 22:12:51 -04:00
Richard Feldman
3e71b5a38d Extract bounds_check_comparison 2020-03-21 22:11:06 -04:00
Richard Feldman
ef38095003 Fix optimization test 
The reason this was failing was that `x` was getting
dropped by dead code elimination, and therefore wasn't
considered a reason to share any values it used.
 2020-03-21 21:19:18 -04:00
Richard Feldman
a0dd31ee51 Add bounds checking for List.set in LLVM 2020-03-21 21:19:18 -04:00
Richard Feldman
63a8daa4c7 Reproduce no bounds checking on List.set in LLVM 2020-03-21 21:19:18 -04:00
Richard Feldman
d9fe38efce Remove unnecessary lifetime annotations 2020-03-21 21:19:18 -04:00
Richard Feldman
d0a1adfef9 Fix set_shared_int_list for LLVM 2020-03-21 21:19:18 -04:00
Richard Feldman
8a26cac3f2 Add a test of just List.set by itself 2020-03-21 21:19:18 -04:00
Richard Feldman
facdc1e2f4 Revise some tests a bit 2020-03-21 21:19:18 -04:00
Richard Feldman
cc8683d241 Fix use of GEP (was using byte offset, not index) 2020-03-21 21:19:18 -04:00
Richard Feldman
4182e51877 Fix set_shared_int_list test 2020-03-21 21:19:18 -04:00
Richard Feldman
e6704d1fcb Streamline empty list LLVM code gen 2020-03-21 21:19:18 -04:00
Richard Feldman
d2e7e373e6 Remove unused lifetimes 2020-03-21 21:19:18 -04:00
Richard Feldman
3a6018d223 Reproduce List.set uniqueness bug 2020-03-21 21:19:18 -04:00
Richard Feldman
a286dec4cc Reorganize some things 2020-03-21 21:19:18 -04:00
Richard Feldman
f86c3f1e7e Avoid some redundant stores/loads 2020-03-21 21:19:18 -04:00
Richard Feldman
5b902b5a49 Use ptr_int over hardcoded i64 2020-03-21 21:19:18 -04:00
Richard Feldman
f2419bb9f8 Use struct_type.get_undef() 2020-03-21 21:19:18 -04:00
Richard Feldman
fc036453d9 Have List.set in LLVM clone before mutating 2020-03-21 21:19:18 -04:00
Richard Feldman
48954eb52b Update to Inkwell version with memcpy 2020-03-21 21:19:18 -04:00
Folkert
eca096bf2c disable inlining in unique when branch constraint gen 2020-03-22 01:42:28 +01:00
Folkert
9a0234e5dd make bound variables available in guards 2020-03-22 01:11:19 +01:00
Folkert
1f3b8f7d68 guard exhaustiveness 2020-03-21 23:33:37 +01:00
Folkert
a16d48a6a9 code gen for simple guards 
Guards cannot use variables bound in the pattern yet
 2020-03-21 22:27:36 +01:00
Folkert
bd7ad318cf fix bug in guard constraint gen 2020-03-21 15:12:01 +01:00
Folkert
a040bc971a don't drop guard, and desugar it 2020-03-21 14:58:28 +01:00
Folkert
97acf1363d cleanup after review 2020-03-21 12:52:10 +01:00
Richard Feldman
d7e66fa9a0
Merge branch 'trunk' into more-patterns 2020-03-20 23:48:40 -04:00
Chad Stearns
ab61d3d357 Use human readable forms of ansi codes in reporting tests 2020-03-20 22:03:08 -04:00
Folkert
caaf6370ce fix solve test 2020-03-21 01:06:51 +01:00
Folkert
c57b5c8bc3 make old tests pass again 2020-03-21 01:02:02 +01:00
Folkert
920928399a type inference for pattern guards 2020-03-21 00:39:52 +01:00
Folkert
655dc32098 support nested pattern matches on tag unions 2020-03-20 22:14:38 +01:00
Folkert
0f22cbbf7d fix incorrect layout for Switch 2020-03-20 19:56:50 +01:00
Folkert
d0da300042 fix equality/hash issue 
lead to tests not being merged/shared
 2020-03-20 16:23:56 +01:00
Folkert
e062404a63 support more complex nested patterns 2020-03-20 14:27:07 +01:00
Folkert
fbadd9d620 add pointer Layout 2020-03-20 11:53:21 +01:00
Folkert
e4566b9757 clean up comment 2020-03-20 11:47:22 +01:00
Richard Feldman
b33af811d0
Merge branch 'trunk' into unit-types 2020-03-19 22:05:22 -04:00
Richard Feldman
b5ab2b2201
Merge branch 'trunk' into render-color-cli 2020-03-19 21:50:58 -04:00
Folkert
14979ceb41 Merge remote-tracking branch 'origin/trunk' into unit-types 2020-03-20 01:02:13 +01:00
Folkert
f44fea42bb Boolean and/or in cranelift 2020-03-20 00:59:26 +01:00
Folkert
e6bee2656d add Bool.and for llvm 2020-03-19 23:18:44 +01:00
Folkert
82655556ab exhaustiveness for record guards 2020-03-19 22:34:08 +01:00
Folkert
0985037754 expand record pattern matches to bind all unused fields with underscore 
this will simplify exhaustiveness checking, because a record is not like a one-tag union
 2020-03-19 20:42:58 +01:00
Folkert
5fc96c09ee Add record patterns 2020-03-19 17:08:29 +01:00
Folkert
9745d86efb add tests 2020-03-19 14:59:05 +01:00
Folkert
006b1f8696 Switch on floats in llvm 2020-03-19 14:58:28 +01:00
Folkert
9b81a94786 Switch on floats in crane 2020-03-19 14:43:58 +01:00
Folkert
6b7b393d32 Switch on tags in crane 2020-03-19 14:39:04 +01:00
Folkert
0075e3fb04 attempt at float switches 
needs something more , will circle back later
 2020-03-19 14:25:37 +01:00
Folkert
f30655a103 Switch on tags in llvm 2020-03-19 14:18:54 +01:00
Folkert
0593a39e0f uncomment test 2020-03-19 12:35:11 +01:00
Folkert
20dc928bfe fix test on maybe 
used elm syntax instead of roc
 2020-03-19 12:32:48 +01:00
Folkert
c31116af87 preparation for recursive tag unions 2020-03-19 12:20:12 +01:00
Folkert
9d1e2a0ef1 support zero-sized values (empty record, unit type) 
They now use no stack space
 2020-03-19 11:31:06 +01:00
Dan Bruder
2c630fd014 Use sorted fields from struct layout as well as layout.stack_size in crane and llvm access 2020-03-19 05:59:29 -04:00
Dan Bruder
59bcda21f5 tests pass for crane f64 2020-03-19 05:46:11 -04:00
Chad Stearns
3984a8d60e Merging in remote 2020-03-19 01:10:57 -04:00
Chad Stearns
beb94dc6f5 Cargo Fmt 2020-03-19 01:10:04 -04:00
Richard Feldman
04f8b93a9b the clippiest of clips 2020-03-18 21:31:01 -04:00
Richard Feldman
8f51b2d429 Don't hardcode elem_bytes in llvm 2020-03-18 21:31:01 -04:00
Richard Feldman
0a045ccec8 Don't hardcode List slots in Cranelift 2020-03-18 21:31:01 -04:00
Richard Feldman
43c4fadd6e Use usize length, no capacity for llvm List 2020-03-18 21:31:01 -04:00
Richard Feldman
59368caa0c Revert various attempts to use target_data 2020-03-18 21:26:51 -04:00
Richard Feldman
c425490317 Another failed attempt to use target_data 2020-03-18 21:26:51 -04:00
Richard Feldman
6e977d96fc Failed attempt to use target_data 2020-03-18 21:26:51 -04:00
Richard Feldman
eed9fb0e69 Have Env store TargetData instead of pointer_bytes 2020-03-18 21:26:51 -04:00
Folkert
b93fe4e341 make arbitrary AccessAtIndex work 
it now uses that actual layout, not a hardcoded one
 2020-03-19 00:25:16 +01:00
Folkert
f3f135eca5 make Layout Hash 2020-03-18 23:26:17 +01:00
Folkert
b28a6ffa33 optimize tag union layout calculation 2020-03-18 22:42:10 +01:00
Folkert
0996f264e7 simplify Byte layout 2020-03-18 22:22:32 +01:00
Folkert
c11f374eb0 simplify Bool layout 2020-03-18 22:15:03 +01:00
Folkert
f906c9b4b4 uncomment cranelift tests 2020-03-18 21:39:39 +01:00
Folkert
99db336033 Working pattern match on Result Int Int 2020-03-18 21:35:10 +01:00
Folkert
53bd47221c WIP things seem to work in theory 2020-03-18 16:44:53 +01:00
Folkert
845e30658e WIP 2020-03-18 02:20:21 +01:00
Folkert
165c5d8363 load/store all tags in llvm 2020-03-17 22:04:11 +01:00
Folkert
6253d2d1af pattern match on single-tag tag unions 
in LLVM and crane
 2020-03-17 19:44:59 +01:00
Folkert
b5abed5f54 variables in pattern matches on single tags 2020-03-17 16:27:09 +01:00
Folkert
ba69987c1a llvm one element tag store 2020-03-17 15:29:40 +01:00
Folkert
b6ca5e2fb9 allow Attr wrapper in tag union ext 
this should not happen, but we sometimes call this function on the whole tag, which then may be Attr-wrapped
 2020-03-17 15:27:05 +01:00
Folkert
9d756a3b2c generate unpacked tags in Crane 2020-03-17 15:26:21 +01:00
Folkert
c3d550116b make patterns store their bound variables 2020-03-17 14:04:26 +01:00
Folkert
6310341b7e Merge remote-tracking branch 'origin/trunk' into pattern-compilation 2020-03-17 12:49:30 +01:00
Richard Feldman
9d950389f5 Implement list cloning and List.set in Cranelift 2020-03-17 00:45:07 -04:00
Richard Feldman
c0d0675919 Clean up some comments and names 2020-03-17 00:44:35 -04:00
Richard Feldman
97d084e224 Reproduce List.set on a shared list failing 2020-03-16 21:55:38 -04:00
Richard Feldman
77bf2547ac Add sfe_to_memcpy 2020-03-16 21:55:24 -04:00
Richard Feldman
e7b391cd6b Improve some docs 2020-03-16 21:55:12 -04:00
Richard Feldman
f9e013793c Drop unused mono::Expr::Pointer 2020-03-16 21:47:08 -04:00
Richard Feldman
bfe7c1b330 Update a comment 2020-03-16 21:27:49 -04:00
Richard Feldman
ae0d2f09d1 Some more Str docs revisions 2020-03-16 20:55:31 -04:00
Folkert
c20f777dba comment tests that fail for llvm 2020-03-17 00:36:58 +01:00
Folkert
ab332a37c3 take the maximum of all tags when calculating layout 2020-03-17 00:36:58 +01:00
Folkert
444e3063e0 reserve tag union as array of bytes in llvm 2020-03-17 00:36:58 +01:00
Folkert
6ff22de9dd store/define tags in llvm 2020-03-17 00:36:58 +01:00
Folkert
72ca6d675c further tag support in Cranelift 2020-03-17 00:36:58 +01:00
Folkert
74ec3682a2 add tests 2020-03-17 00:36:58 +01:00
Folkert
5fca5fe631 collect tags from aliases 2020-03-17 00:36:58 +01:00
Folkert
c9a90c32e3 prepare for Tag code gen 2020-03-17 00:36:58 +01:00
Folkert
e742b77e0b parity with old implementation 2020-03-17 00:36:58 +01:00
Folkert
d875f8bfce implement layout for Tag 2020-03-17 00:36:58 +01:00
Folkert
8c7124aba6 first pass 2020-03-17 00:36:58 +01:00
Richard Feldman
6637bfb226 Add some more Str docs 2020-03-16 02:40:20 -04:00
Chad Stearns
346daa327e Merge branch 'trunk' of github.com:rtfeldman/roc into render-color-cli 2020-03-16 02:40:09 -04:00
Richard Feldman
3fa75dc2f7 Add Str.reverseClusters to docs 2020-03-16 02:28:22 -04:00
Richard Feldman
0ed8f90f11 Fix some type signatures in Str docs 2020-03-16 02:28:22 -04:00
Chad Stearns
9cdd7988fc Very start of render color terminal 2020-03-16 02:27:38 -04:00
Chad Stearns
f8dd2fb9a1 Very start of render color terminal 2020-03-16 02:22:07 -04:00
Richard Feldman
1bee949ad0 Fix some Str docs 2020-03-16 02:06:12 -04:00
Richard Feldman
aa3030ab85 Revise Str docs 2020-03-16 02:01:57 -04:00
Richard Feldman
d6e5aa3bdc Write some Str docs 2020-03-16 01:10:21 -04:00
Chad Stearns
009e1fa176 Small changes to region rendering 2020-03-15 20:57:32 -04:00
Richard Feldman
505e69f956 Remove a stray space missed by cargo fmt 2020-03-15 15:25:54 -04:00
Richard Feldman
455fabbe88 c to the l to the i p p y 2020-03-15 15:21:33 -04:00
Richard Feldman
6cd8afd5d6 Fix using structs with records 2020-03-15 15:13:52 -04:00
Richard Feldman
d546f4340d Improve an error message 2020-03-15 14:31:13 -04:00
Richard Feldman
010e390fd6 Make using records in defs work 2020-03-15 14:31:01 -04:00
Folkert
6e97734211 ensure Bit/Enum patterns are considered exhaustive 2020-03-15 14:42:57 +01:00
Folkert
8a46765fee add debug assert for possible invariant 2020-03-15 14:42:57 +01:00
Folkert
3ea748e532 remove extra check 2020-03-15 14:42:57 +01:00
Folkert
9207145792 remove unneeded error vec 2020-03-15 14:42:57 +01:00
Folkert
58fd1d64ff do exhaustiveness on mono patterns 2020-03-15 14:42:57 +01:00
Folkert
2e3f21b1ce add commented test 2020-03-15 14:42:57 +01:00
Folkert
cdf05bc425 remove (now unneeded!) default case 2020-03-15 14:42:57 +01:00
Folkert
58c09aeaba First pass at pattern exhaustivess checking 2020-03-15 14:42:57 +01:00
Folkert
5926ac2f01 stub out Tag layout 2020-03-15 14:42:57 +01:00
Folkert
6088a22cb6 WIP first version that runs 2020-03-15 14:42:57 +01:00
Richard Feldman
4033098dac Update some number docs 2020-03-15 01:24:41 -04:00
Richard Feldman
f3c9ac2b40 Try out some docs 2020-03-14 23:31:17 -04:00
Richard Feldman
5c3c30ed09 Fix List.get and List.set 2020-03-14 21:17:09 -04:00
Richard Feldman
a54db8bf92 Merge remote-tracking branch 'origin/trunk' into array-wrappers 2020-03-14 20:49:59 -04:00
Richard Feldman
5bf82fa42c Fix Cranelift gen of nonempty lists 2020-03-14 20:44:39 -04:00
Richard Feldman
5beb65880c Fix List.len 2020-03-14 20:12:27 -04:00