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 |
|
Ayaz Hafiz
|
b98cfa3bd6
|
Update roc_ast constraining tests
|
2022-10-31 09:37:41 -05:00 |
|
Ayaz Hafiz
|
85e58440de
|
Allow too many args
|
2022-10-31 09:37:41 -05:00 |
|
Ayaz Hafiz
|
8d5678151d
|
Implement open-in-output-position for non-alias type annotations
|
2022-10-31 09:37:41 -05:00 |
|
Ayaz Hafiz
|
0707739cfc
|
Prefer "tags are missing" error messages
|
2022-10-31 09:37:41 -05:00 |
|
Ayaz Hafiz
|
ec4285c1dd
|
Work around constraining bug in gen test
|
2022-10-31 09:37:41 -05:00 |
|
Ayaz Hafiz
|
42058c3067
|
Add note on bug in constraining
|
2022-10-31 09:37:41 -05:00 |
|
Ayaz Hafiz
|
e7c7eb623e
|
Fail builds if builtins have type errors
|
2022-10-31 09:37:41 -05:00 |
|
Ayaz Hafiz
|
bb1f4cd5e8
|
Fix bug in closing heuristic
|
2022-10-31 09:37:40 -05:00 |
|
Ayaz Hafiz
|
7b9ce492c3
|
Better estimate polarity in exhaustiveness checking
|
2022-10-31 09:37:40 -05:00 |
|
Ayaz Hafiz
|
69114cc820
|
Apply a heuristic for opening/closing types before exhaustiveness checking
|
2022-10-31 09:37:40 -05:00 |
|
Ayaz Hafiz
|
895bf932db
|
Decide usages contextually based only on one type at a time
|
2022-10-31 09:37:40 -05:00 |
|
Ayaz Hafiz
|
34be486a9e
|
Print wildcard in output position correctly
|
2022-10-31 09:37:40 -05:00 |
|
Ayaz Hafiz
|
f3623b1e47
|
Close extension types extended wiht uninhabited types after their extension
|
2022-10-31 09:37:40 -05:00 |
|
Ayaz Hafiz
|
4d48ea7c2f
|
Materialize extension variable polarity in error type reporting
|
2022-10-31 09:37:40 -05:00 |
|
Ayaz Hafiz
|
3c15ff4694
|
Correctly print wildcards as appropriate in error messages
|
2022-10-31 09:37:39 -05:00 |
|
Ayaz Hafiz
|
d77080529a
|
Introduce polarity for extension variable printing
|
2022-10-31 09:37:39 -05:00 |
|
Anton-4
|
ae1a9e4dd6
|
Merge pull request #4403 from lukewilliamboswell/rust-docs
adding crates/README.md for rust docs
|
2022-10-29 08:30:20 +02:00 |
|
Folkert de Vries
|
9f62e65892
|
Merge pull request #4406 from roc-lang/windows-effect-loop
Windows effects.roc
|
2022-10-29 00:29:35 +02:00 |
|
Anton-4
|
bde5d8b039
|
Merge pull request #4426 from roc-lang/intermediate-issues
mention intermediate issues
|
2022-10-28 22:46:07 +02:00 |
|
Anton-4
|
ecff894036
|
more links, small improvements
|
2022-10-28 20:14:46 +02:00 |
|
Anton-4
|
91c2330c34
|
Merge pull request #4422 from roc-lang/windows-getting-started
fix windows getting started
|
2022-10-28 19:53:41 +02:00 |
|
Anton-4
|
565df257c4
|
mention intermediate issues
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
|
2022-10-28 19:48:38 +02:00 |
|
Folkert de Vries
|
afd5470ad1
|
Merge pull request #4424 from roc-lang/luke-editor-ideas
added Luke's editor ideas
|
2022-10-28 18:38:05 +02:00 |
|
Anton-4
|
c99a1e0d7b
|
added Luke's editor ideas
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
|
2022-10-28 17:40:27 +02:00 |
|
Richard Feldman
|
604ed476a9
|
Merge pull request #4420 from roc-lang/vscode-marketplace-example
vscode marketplace example
|
2022-10-28 05:29:06 -07:00 |
|
Anton-4
|
502724cd03
|
fix windows getting started
This used to link to the closed issue about the windows surgical linker.
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
|
2022-10-28 13:41:02 +02:00 |
|
Anton-4
|
e9f1e568e6
|
vscode marketplace example
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
|
2022-10-28 11:33:01 +02:00 |
|
Richard Feldman
|
de6e7840cb
|
Merge pull request #4410 from roc-lang/editor_ideas
more editor ideas
|
2022-10-27 08:15:02 -07:00 |
|
Luke Boswell
|
f644566aeb
|
included more comments
|
2022-10-27 18:01:58 +11:00 |
|
Brendan Hansknecht
|
00687edbc7
|
Merge pull request #4380 from roc-lang/dummy-lib
Add a roc subcommand for generating the stub shared lib
|
2022-10-27 03:06:19 +00:00 |
|
Richard Feldman
|
67a8bbd6a2
|
Merge pull request #4414 from roc-lang/i4412
Parse and format list patterns
|
2022-10-26 19:49:12 -07:00 |
|
Richard Feldman
|
c894d522c3
|
Drop some commented-out lines
Signed-off-by: Richard Feldman <oss@rtfeldman.com>
|
2022-10-26 22:48:37 -04:00 |
|
Richard Feldman
|
93c6b65a4d
|
Merge pull request #4409 from roc-lang/parse-single-def
Extract parse_single_def
|
2022-10-26 19:44:35 -07:00 |
|
Richard Feldman
|
719387bb0a
|
Merge pull request #4387 from lukewilliamboswell/std-lib-bool
updated docs for Bool.roc
|
2022-10-26 19:43:51 -07:00 |
|
Richard Feldman
|
9d5705146d
|
Merge pull request #4392 from lukewilliamboswell/std-docs-box-and-dict
updating docs for Box and Dict
|
2022-10-26 19:39:44 -07:00 |
|
Ayaz Hafiz
|
89867a4dc5
|
Add parsing error reporting for list patterns
|
2022-10-26 18:05:52 -05:00 |
|
Ayaz Hafiz
|
9bb523ce97
|
Format list patterns
|
2022-10-26 17:08:10 -05:00 |
|
Ayaz Hafiz
|
4d35ab9957
|
Parse list patterns
|
2022-10-26 17:03:22 -05:00 |
|
Luke Boswell
|
81e0ceebc8
|
updated with ayaz's comments
|
2022-10-27 08:55:47 +11:00 |
|
Richard Feldman
|
40498d71c3
|
clip clap clorp
|
2022-10-26 16:11:30 -04:00 |
|
Anton-4
|
04899675e4
|
more editor ideas
|
2022-10-26 20:21:07 +02:00 |
|
Folkert de Vries
|
02a76bb8bd
|
Merge pull request #4399 from roc-lang/no-types-in-constraining-api
Have most constraining APIs take a type index rather than `Type`
|
2022-10-26 19:45:55 +02:00 |
|
Richard Feldman
|
c748d88c0d
|
Fix typo in docs
|
2022-10-26 13:44:13 -04:00 |
|
Richard Feldman
|
785e0d5ef6
|
Revise things to be more concise
|
2022-10-26 13:44:13 -04:00 |
|
Richard Feldman
|
9b19ed8b3b
|
Refactor out Next
|
2022-10-26 13:44:12 -04:00 |
|
Richard Feldman
|
a1104ce5fa
|
Refactor out Next::Fixup
|
2022-10-26 13:44:12 -04:00 |
|
Richard Feldman
|
107f37219f
|
Document Fixup
|
2022-10-26 13:44:12 -04:00 |
|