Nikita Mounier
1d5ab1d79c
Merge remote-tracking branch 'origin/trunk' into div-no-result
2022-04-11 17:51:38 +00:00
Richard Feldman
d81228df80
cargo fmt
2022-04-11 13:17:46 -04:00
Nikita Mounier
1df1b4bc84
Fix typo.
2022-04-11 12:34:23 +00:00
Nikita Mounier
8206f345c7
Merge remote-tracking branch 'origin/trunk' into div-no-result
2022-04-11 11:45:06 +00:00
Nikita Mounier
9182bb5773
Add toF32/64 checked versions in symbol.rs to avoid conflict.
2022-04-11 11:35:56 +00:00
Nikita Mounier
4ecf2a8c24
Modify division behaviour to panic when dividing by 0, and add divChecked, divFloorChecked and divCeilingChecked` for safe alternatives which return a Result, mimicking the previous behaviour.
2022-04-11 11:23:33 +00:00
Richard Feldman
e477813be4
Add Cai Bingjun to AUTHORS
2022-04-10 09:36:23 -04:00
Richard Feldman
6c937ed1e6
Merge pull request #2829 from rtfeldman/C-BJ-patch-2
...
Migrate all wiki FAQ to the project file
2022-04-10 09:35:27 -04:00
Richard Feldman
7cea9fa352
Merge pull request #2828 from rtfeldman/C-BJ-patch-1
...
Rename CodeOfConduct.md to CODE_OF_CONDUCT.md
2022-04-10 09:34:48 -04:00
Folkert de Vries
7675e0232b
Merge pull request #2819 from rtfeldman/zero-arg-tag
...
Drop unused `arguments` field from `ZeroArgumentTag`
2022-04-10 15:18:03 +02:00
Folkert de Vries
11bba5eab7
Merge pull request #2824 from rtfeldman/box-unbox-structs
...
Support box/unbox for types that are typically only on the stack
2022-04-10 15:17:26 +02:00
C-BJ
e0c1d5bcd0
Update FAQ.md
2022-04-10 19:36:41 +08:00
C-BJ
d267bc47f9
Rename CodeOfConduct.md to CODE_OF_CONDUCT.md
2022-04-10 19:06:05 +08:00
Ayaz Hafiz
a102a7497e
Support box/unbox for types that are typically only on the stack
...
Closes #2786
2022-04-09 16:22:01 -04:00
Richard Feldman
ebb03f60dd
Add Nikita Mounier to AUTHORS
2022-04-09 13:23:15 -04:00
Richard Feldman
86ce8c439f
Merge pull request #2822 from rtfeldman/nix-path-error
...
Give guidance about nix-shell's PATH inside BUILDING_FROM_SOURCE.md
2022-04-09 10:20:07 -04:00
Richard Feldman
e9acbe983f
Use array over vec for exists_many
2022-04-09 10:09:03 -04:00
Nikita Mounier
94df530a8d
Change wording using @rtfeldman suggestion.
...
Co-authored-by: Richard Feldman <oss@rtfeldman.com>
2022-04-09 11:07:00 +00:00
Richard Feldman
eb99c2c4ec
Grammar edit
...
Apparently although both "a homage" and "an homage" are considered grammatically acceptable, the latter is more commonly used.
2022-04-08 23:54:11 -04:00
Richard Feldman
babe281b5d
Merge pull request #2780 from rtfeldman/no-link
...
Add --no-link flag for more complex linking cases
2022-04-08 23:49:48 -04:00
Richard Feldman
dd56fdb61c
Fix regression with ZeroArgumentTag constraint gen
...
Turns out it can't share quite that much code with Tag,
because doing so skips the important function-based
constraints.
2022-04-08 21:31:19 -04:00
Richard Feldman
b2ff785a5e
Another clip bites the clip
2022-04-08 19:56:43 -04:00
Nikita Mounier
fa527b1888
Specify that in nix-shell's PATH, usr/bin needs to come after nix-related components
...
This was the source of quite a head-scratching error when building the compiler, only solved thanks to @ayazhafiz 's insight. Indeed, compilation of `roc_cli` was failing with an obscure error about linking with `cc` and not being able to find `-ltinfo`. Turns out the fix is as trivial as rearranging nix-shell's `PATH` a little.
I feel like nix-shell will become the default for many users who prefer delegating the necessary setup to the repo's script, and I definitely wish I had known about this when I was starting out.
Is this the right place to mention this or should it be somewhere else in the document?
2022-04-08 20:43:58 +00:00
Folkert de Vries
5dc8c852e9
Merge pull request #2815 from rtfeldman/i/2811
...
Specialize polymorphic values before binding to pattern
2022-04-08 21:44:11 +02:00
Ayaz
69ed0b755a
Merge pull request #2804 from rtfeldman/abilities-canonicalization
...
Basic canonicalization, error checking for abilities
2022-04-08 12:00:23 -04:00
Richard Feldman
b777b88e1c
Drop unused arguments field from ZeroArgumentTag
2022-04-08 11:53:16 -04:00
Richard Feldman
45b5df3a23
Extract constrain_tag helper function
2022-04-08 11:52:57 -04:00
Ayaz Hafiz
b3aee4ba7c
Fix typecheck error
2022-04-08 08:54:31 -04:00
Ayaz
33a5fc65ce
Update comment
2022-04-08 08:50:31 -04:00
Richard Feldman
8322ed95ed
Merge pull request #2806 from rtfeldman/toF32
...
Num.toF32/toF64 for LLVM backend
2022-04-08 08:28:07 -04:00
Folkert de Vries
f56652dfa4
Merge pull request #2816 from rtfeldman/i/2797
...
Generate type variables when there are lots
2022-04-08 09:51:13 +02:00
ayazhafiz
94a5cd3559
Improve shadow errors
2022-04-07 22:38:20 -04:00
ayazhafiz
13a17f1858
Improve error message
2022-04-07 22:26:17 -04:00
ayazhafiz
02e1a98cac
Remove redundant member
2022-04-07 22:19:30 -04:00
ayazhafiz
304a32ef0a
Typo
2022-04-07 20:51:21 -04:00
Richard Feldman
bfb7bb3874
Update comment
2022-04-07 18:36:33 -04:00
Ayaz Hafiz
17b3c7d8ee
Generate type variables when there are lots
...
Closes #2797
2022-04-07 17:49:48 -04:00
Ayaz Hafiz
1edbe32252
Fix parse tests
2022-04-07 17:22:05 -04:00
Ayaz Hafiz
1ca3dad1e2
Allow complicated return type
2022-04-07 17:21:17 -04:00
Ayaz Hafiz
73bfff699f
Handle symbols that shadow ability member definitions
...
Just add the shadowing symbol for now. We'll handle checking that a
specialization's type matches the member's type definition in a later
pass, during typechecking.
2022-04-07 17:21:17 -04:00
Ayaz Hafiz
884d07344e
Clippy
2022-04-07 17:21:17 -04:00
Ayaz Hafiz
66ec1b4a84
Basic canonicalization and error checking for abilities
2022-04-07 17:21:17 -04:00
Richard Feldman
6adaf0905e
Fix missing * in type annotation
2022-04-07 16:29:17 -04:00
Richard Feldman
4dc7e61f3f
Move conversion tests to test_gen
2022-04-07 16:27:01 -04:00
Richard Feldman
459e3a0afe
Add a bunch of toF32/toF64 repl tests
2022-04-07 16:14:00 -04:00
Richard Feldman
a4233ad661
Add LLVM implementation for toF32/64
2022-04-07 16:13:58 -04:00
Richard Feldman
605a8d39e9
Add some REPL tests for toF32/64
2022-04-07 16:13:57 -04:00
Richard Feldman
cd00a98636
Add toF32/64 and checked versions
2022-04-07 16:13:57 -04:00
Richard Feldman
bd623d65bc
Formatting whitespace
2022-04-07 16:13:57 -04:00
Ayaz
23bc8aab49
Merge pull request #2805 from rtfeldman/type-vs-value-defs
...
Split up Defs into TypeDef and ValueDef
2022-04-07 14:04:05 -04:00
