Ayaz
c5afc5e237
Merge pull request #4529 from roc-lang/i4368
2022-11-15 17:41:34 -06:00
Ayaz Hafiz
ce160f28a2
Chase under aliases during occurs checking
...
Closes #4368
2022-11-15 16:22:01 -06:00
Folkert
5aa29c4e8b
morphic + reset/reuse
2022-11-15 22:06:09 +01:00
Ayaz
2cc9c32c37
Merge pull request #4523 from roc-lang/fix-alias-analysis-bugs
...
Collect deeply nested type names in alias analysis
2022-11-15 14:46:55 -06:00
Folkert de Vries
8a494d11b4
Merge pull request #4524 from roc-lang/fix-expects-macos
...
Fix inline expects on macos
2022-11-15 19:48:35 +01:00
Folkert
98b88fef16
fix a weird merge conflict
2022-11-15 19:46:36 +01:00
Folkert de Vries
5e5218fc7e
Merge pull request #4501 from roc-lang/types-soa-variable-opt
...
Emplace variables after converting SoA types, and remove types from constraining
2022-11-15 18:35:56 +01:00
Ayaz Hafiz
b6f53f22c3
Fix inline expects on macos
...
MacOS SIGUSR1 is signal 30, not 10 as it is on Linux.
At least on MacOS clang, we need the added headers to the c platform's
host to compile correctly.
2022-11-15 09:30:28 -06:00
Ayaz Hafiz
3723071c15
Collect deeply nested type names in alias analysis
...
Previously we only collected type names that appeared on the surface of
a type during alias analysis, but certain types that need to be named
(i.e. recursive types) may be observed only when we actually convert the IR
to the morphic IR. Make sure we collect those appropriately.
This is a cherry pick of the relevant changes in #4121 .
2022-11-15 09:23:28 -06:00
Ayaz Hafiz
b30e8fc9b2
Remove Cells from Types
2022-11-15 09:00:16 -06:00
Folkert de Vries
de472015f6
Merge pull request #4505 from roc-lang/fix-web-repl-palette
...
Fix web REPL error formatting by routing the active Palette everywhere
2022-11-15 15:49:37 +01:00
Folkert
18574560d3
clippy
2022-11-15 10:02:57 +01:00
Ayaz Hafiz
f4fcb9f421
Fix Types
types
2022-11-14 15:37:25 -06:00
Ayaz Hafiz
28f4b1ac56
Allow lints
2022-11-14 15:15:21 -06:00
Ayaz Hafiz
a52e9d605d
Remove unneeded type storage in constraining
2022-11-14 15:15:21 -06:00
Ayaz Hafiz
5564796927
SoA Types get variable emplacement (!)
...
We're now reaching the steady state we want to be closert to - when a
type is translated to a variable, emplace the variable we created for it
in the type index, so that types are never converted again!
2022-11-14 15:15:19 -06:00
Anton-4
29230921e6
windows fixes
2022-11-14 19:37:25 +01:00
Richard Feldman
d93147dd25
Merge pull request #4517 from roc-lang/tutorial-html
...
Create html-based tutorial
2022-11-14 13:09:43 -05:00
Joshua Warner
1efd7260de
Add fmt test to make sure formatting works for all parser test cases
2022-11-14 08:20:35 -05:00
Folkert de Vries
492eb31a3d
Merge pull request #4518 from roc-lang/brew-zig-version
...
add zig version to homebrew commands
2022-11-14 11:05:36 +01:00
Anton-4
706ecf063d
add zig version
2022-11-14 09:36:09 +01:00
Ayaz
3067e8ab0d
Merge pull request #4509 from joshuawarner32/tuple-pattern
...
Implement tuple pattern parsing
2022-11-13 19:25:09 -06:00
Joshua Warner
ca5d084497
Implement tuple pattern parsing
...
Step 2 of N in implementing #4465
2022-11-13 16:11:57 -05:00
Richard Feldman
0713c35a32
Remove inline styles from integer types table
2022-11-13 15:05:43 -05:00
Richard Feldman
ed0c55cf9b
Use /site.css instead of site.css
...
Signed-off-by: Richard Feldman <oss@rtfeldman.com>
2022-11-13 14:50:12 -05:00
Richard Feldman
5f74e10d32
Merge pull request #4515 from roc-lang/workspace-dependencies
...
Workspace dependencies
2022-11-13 11:44:29 -08:00
Georges Boris
9ed8f6c10b
Merge remote-tracking branch 'origin/main' into tutorial-html
2022-11-13 16:24:57 -03:00
Georges Boris
770656d920
feat: prepare build.sh for PR
2022-11-13 16:20:58 -03:00
Folkert de Vries
190fdf0e75
Merge pull request #4514 from roc-lang/inkwell-function-iterator
...
use inkwell's FunctionIterator
2022-11-13 16:43:13 +01:00
Folkert
662bf1de99
more workspace dependencies
2022-11-13 16:10:02 +01:00
Georges Boris
e438de26e8
feat: more code samp style improvements
2022-11-13 11:20:03 -03:00
Folkert
2c23a106f2
make inkwell a workspace dependency
2022-11-13 15:00:48 +01:00
Folkert
031866799a
use inkwell's FunctionIterator
2022-11-13 14:51:24 +01:00
Georges Boris
e9b8ae6e69
feat: add header href tags
2022-11-12 18:43:51 -03:00
Ayaz
b907f01f1f
Merge pull request #4507 from roc-lang/alias-analysis-rc-recursion
...
fix stack overflow in alias analysis
2022-11-12 12:54:06 -06:00
Folkert de Vries
1e74649864
Merge pull request #4510 from joshuawarner32/tuple-accessor
...
Implement parsing for tuple accessor functions (.1, .2, etc)
2022-11-12 19:44:23 +01:00
Anton-4
084cf819d3
Merge pull request #4506 from roc-lang/csv-parser-zig
...
csv parser: rewrite host to zig
2022-11-12 16:17:33 +01:00
Joshua Warner
f4ce4bf983
Implement parsing for tuple accessor functions (.1, .2, etc)
...
Step 2 of N toward implementing #4465
2022-11-12 09:56:29 -05:00
Anton-4
39b10f0dc8
do roc_cli tests
...
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2022-11-12 14:58:16 +01:00
Brian Carroll
07efb32173
Merge pull request #4494 from roc-lang/wasm-example-fixes
...
Fixes for WebAssembly platform-switching example
2022-11-12 13:44:54 +00:00
Folkert
2318ffe31d
don't include header files that don't exist on windows
2022-11-12 14:38:26 +01:00
Folkert
abbc2d2acd
ignore ruby platform on windows
2022-11-12 14:23:57 +01:00
Folkert
b6df9fe0dc
display the command nicely
2022-11-12 14:11:00 +01:00
Folkert
dba6a57c04
don't try to run expects on windows
2022-11-12 14:00:54 +01:00
Folkert
9536d0b1a0
fixes for the False example
2022-11-12 13:55:13 +01:00
Anton-4
7f93bf8074
add nightly instructions
...
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2022-11-12 13:55:06 +01:00
Folkert
78b89cb894
handle RC along with lets in alias analysis to limit recursion depth
2022-11-12 13:42:10 +01:00
Folkert
9d7e1acb73
comment a string hack on windows
2022-11-12 13:41:06 +01:00
Ayaz
d7299f3021
Merge pull request #4491 from roc-lang/types-soa-even-earlier
...
Begin Types SoA in constraining
2022-11-12 06:05:26 -06:00
Brian Carroll
ed048c7c93
Fix more tests
2022-11-12 09:12:28 +00:00