Commit graph

1678 commits

Author SHA1 Message Date
Ayaz Hafiz
eec16fc0ff
Remove old file if it was present 2022-08-23 15:42:54 -05:00
Ayaz Hafiz
3b2e3d515f
Include var in lambda set size traces 2022-08-23 15:42:01 -05:00
Ayaz Hafiz
963911814f
Print traces to files with ROC_LOGTO 2022-08-23 15:37:33 -05:00
Ayaz Hafiz
b3f8ead89d
Add tracing of lambda set sizes in mono layout 2022-08-23 15:20:39 -05:00
Ayaz Hafiz
e5034e7331
Add tracing for external specializations 2022-08-23 14:32:24 -05:00
Ayaz Hafiz
2b9013c5f5
Add roc_tracing to test_mono 2022-08-23 13:11:30 -05:00
Ayaz Hafiz
848facb386
Add roc_tracing crate and initial traces in mono 2022-08-23 12:47:41 -05:00
raleng
1b2952bc70
Fix invalid multiline string output in REPL
If a PlainLine string contains a newline character, the REPL will print
the string using a triple-quoted block string.
2022-08-23 11:26:48 +02:00
Folkert de Vries
5e8faf64be
Merge pull request #3833 from roc-lang/dev-backend-mul
dev backend mul
2022-08-23 09:22:38 +02:00
Folkert de Vries
9f772d4ca2
Merge pull request #3826 from roc-lang/flex-ability-adhoc
Allow inferred flex vars inside type constructors bound to an ability
2022-08-23 09:21:55 +02:00
Ayaz Hafiz
0ddbc172d7
Add destructured inferred example 2022-08-22 17:06:23 -05:00
Ayaz Hafiz
4ba132f7d0
Make sure inferring decode into nested function type is an error 2022-08-22 17:06:22 -05:00
Ayaz Hafiz
142428a0bc
Add let-generalization example for decoding 2022-08-22 17:05:57 -05:00
Ayaz Hafiz
6417e75bda
Add gen example of inferred decoder 2022-08-22 17:05:57 -05:00
Ayaz Hafiz
6255332cee
Promote flex vars to flex-able in obligation checking 2022-08-22 17:05:56 -05:00
Folkert
e9f66a6385
Merge remote-tracking branch 'origin/main' into i3696 2022-08-22 23:02:35 +02:00
Anton-4
172e58f96b
Merge pull request #3849 from roc-lang/small-ci-rebirth
set up small-ci again
2022-08-22 15:46:45 +02:00
Richard Feldman
e71b657662
Merge pull request #3821 from roc-lang/fix-roc-run2
Don't monomorphize if roc foo.roc has errors
2022-08-21 23:30:37 -04:00
Richard Feldman
a8964f87aa
Add roc dev command to CLI 2022-08-21 18:07:59 -04:00
Richard Feldman
3a1f2a2fcf
clippy 2022-08-21 18:06:32 -04:00
Richard Feldman
3b9c65aefe
Disable more clippy checks in glue 2022-08-21 18:06:31 -04:00
Richard Feldman
e829d2af5b
Revert "Ignore all clippy lints in glue"
This reverts commit 436d2359f5352eed18b91022cf5d86a00dd0c6b4.
2022-08-21 18:06:31 -04:00
Richard Feldman
c1aee72c73
Ignore all clippy lints in glue 2022-08-21 18:06:31 -04:00
Richard Feldman
32f4546518
Skip rustfmt on glue 2022-08-21 18:06:31 -04:00
Richard Feldman
cd01e7fe76
Add #![allow(unused_unsafe)] to Rust glue header 2022-08-21 18:06:31 -04:00
Richard Feldman
64cea0e7ff
Don't glue ManuallyDrop for types that are Copy 2022-08-21 18:06:31 -04:00
Richard Feldman
577128d410
Check in initial glue for RocType etc 2022-08-21 18:06:30 -04:00
Richard Feldman
fa1f2f87ae
Fix glue generation for keywords 2022-08-21 18:06:30 -04:00
Richard Feldman
ace37cf613
Glue 2-tag unions w/ no payloads (but aren't Bool) 2022-08-21 18:06:30 -04:00
Richard Feldman
539429f16b
Add RocType.roc to glue 2022-08-21 18:06:29 -04:00
Richard Feldman
f2f4fb59b5
Merge pull request #3815 from roc-lang/glue-dict
Generate glue for `Dict` and `Set`
2022-08-21 18:06:05 -04:00
Richard Feldman
a345fc4cfe
Merge pull request #3857 from KilianVounckx/bitshift-operator-argument-swap
Bitshift operator argument swap
2022-08-21 14:35:18 -04:00
Folkert
6b69e837a4
configure mul to use 'bigger' src registers when needed 2022-08-21 20:26:26 +02:00
Richard Feldman
ccd0d32332
Merge remote-tracking branch 'origin/main' into glue-dict 2022-08-21 09:51:22 -04:00
Folkert de Vries
2b0bf7839e
Merge pull request #3819 from roc-lang/deep-record-decoding
Mono fixes for supporting deep record decoding deriving
2022-08-21 13:33:40 +02:00
Folkert de Vries
b53fe24271
Merge pull request #3836 from roc-lang/turn-on-ability-tests
Turn on ability tests that work
2022-08-21 13:32:38 +02:00
Folkert de Vries
a726959461
Merge pull request #3837 from roc-lang/i3820
Don't suggest removing variable when it's bound in a branch pattern
2022-08-21 13:32:09 +02:00
kilianv
e3ae182235
Fix spelling mistakes 2022-08-20 22:27:54 +02:00
kilianv
f64eac6040
Remove roc tests
On my current build the expect tests don't work. So I will add them later.
The tests in rust work fine
2022-08-20 22:03:11 +02:00
kilianv
8ab725a736
Add roc tests with expect keyword 2022-08-20 21:51:31 +02:00
kilianv
3697092eca
Add documentation to bitwise shift operators 2022-08-20 21:40:17 +02:00
kilianv
731f10981e Swap the argument order in bitwise shift operators
The arguments were probably swapped in the first place because in Elm
they are swapped, because Elm is curried. The new order makes more sense
both with and without the pipe operator
2022-08-20 20:33:10 +02:00
Ayaz Hafiz
641169854e
Ignore unused branch patterns in tests 2022-08-20 10:05:22 -05:00
Ayaz Hafiz
31d9df96a1
Spellcheck 2022-08-20 10:00:34 -05:00
Brian Carroll
334bc7174f
Merge pull request #3742 from roc-lang/cleanup-mono-layout
Cleanup/refactoring of lambda set layout generation
2022-08-20 15:48:05 +01:00
Folkert de Vries
8937e2fecc
Merge pull request #3838 from roc-lang/i1745
Add polymorphic expression reproduction cases from #1745
2022-08-20 13:49:29 +02:00
Ayaz
b050c57665
Merge pull request #3839 from roc-lang/roclist-from-array
Allow creating RocList from sized array
2022-08-19 22:22:04 -05:00
Ayaz Hafiz
d1c21e3fcd
Add polymorphic expression reproduction cases from #1745
These work now that we have ways to compile polymorphic expressions.

Closes #1745
2022-08-19 22:21:50 -05:00
Ayaz Hafiz
b30c90b500
Don't suggest removing variable when it's bound in a branch pattern
Instead, suggest prefixing it with an underscore, or replacing with an
underscore.

Closes #3820
2022-08-19 22:21:44 -05:00
Ayaz Hafiz
81235b98d6
Turn on ability tests that work 2022-08-19 22:21:33 -05:00