Commit Graph

14196 Commits

Author SHA1 Message Date
Ayaz Hafiz
ceea194db4
Make sure "is open" constraints add flex vars at the right rank 2022-04-18 12:56:22 -04:00
Ayaz Hafiz
2856a38236
Solve all when branch pattern constraints before solving their bodies
Closes #2886
2022-04-18 11:03:25 -04:00
Ayaz Hafiz
e0c9931326
Bugfix debug printing 2022-04-18 10:21:56 -04:00
Richard Feldman
340f6b7c88
fix typo 2022-04-18 01:21:33 -04:00
Richard Feldman
a8f0b771f6
Add Kas Buunk to AUTHORS 2022-04-18 01:21:23 -04:00
Richard Feldman
30d36c5719
Merge pull request #2887 from rtfeldman/fix-typo-docs
chore: correct typo in docs
2022-04-18 01:20:17 -04:00
Kas Buunk
8a16c963d1
chore: correct typo in docs 2022-04-18 07:11:31 +02:00
Folkert de Vries
000ec79106
Merge pull request #2882 from rtfeldman/vecset-references
use VecSet in References
2022-04-18 00:11:02 +02:00
Folkert
7f3ca4458a
use VecSet in IntroducedVariables 2022-04-17 20:50:41 +02:00
Folkert
9f453a7ba2
use vecset for non_closures 2022-04-17 20:30:32 +02:00
Folkert
c47460d792
use VecSet in recursive alias correction 2022-04-17 20:27:47 +02:00
Folkert
304b7fd569
use VecSet for exposed_symbols 2022-04-17 20:23:29 +02:00
Folkert
39aa112fd5
more VecSet 2022-04-17 20:14:25 +02:00
Folkert
f772c87c4b
more VecSet use, in canonical Env this time 2022-04-17 20:08:06 +02:00
Folkert
be1aff390c
use VecSet in canonicalizing annotations 2022-04-17 20:06:07 +02:00
Folkert
cc6c63355a
optimize for empty and singleton extends 2022-04-17 20:02:40 +02:00
Folkert
dda4f46e67
use VecSet in References 2022-04-17 19:37:10 +02:00
Folkert
aa21186997
add VecSet type to collections 2022-04-17 19:36:31 +02:00
Richard Feldman
718b999751
Merge pull request #2857 from rtfeldman/abilities-mono
Codegen for abilities
2022-04-16 22:59:16 -04:00
Richard Feldman
97193c12a1
Merge pull request #2874 from rtfeldman/precompiled-flag
Don't specify a default value for --precompiled-host
2022-04-15 17:44:12 -04:00
Richard Feldman
9a89287365
Don't specify a default value for --precompiled-host
If we do, it's treated as always present even if it's
not passed in, which overrides the default of
"infer based on target."
2022-04-15 16:23:27 -04:00
Richard Feldman
5fb4160f86
Merge pull request #2859 from rtfeldman/auto-surgical-link
Use surgical linker by default when supported
2022-04-15 12:59:25 -04:00
Richard Feldman
be4fee6b5c
Add Sean Hagstrom to AUTHORS 2022-04-15 12:23:03 -04:00
Richard Feldman
445278efa4
Merge pull request #2867 from rtfeldman/float-repl-fixes
Change REPL output from `F64`  to `Float *`
2022-04-15 12:22:28 -04:00
Richard Feldman
d5c843a771
Don't use deprecated --roc-linker flag in tests 2022-04-15 12:13:05 -04:00
Richard Feldman
b60235f3af
Change TEST_SURGICAL_LINKER to TEST_LEGACY_LINKER 2022-04-15 12:12:50 -04:00
Sean Hagstrom
37d3e355ca refactor the logic for pretty printing float types into one function 2022-04-15 16:37:39 +01:00
Sean Hagstrom
c67a1bb8d4 fix(repl) and fix(pretty_print): update pretty_print output for Num FloatingPoint * to be Float * instead of F64 2022-04-15 16:37:39 +01:00
Richard Feldman
34813eeae1
Update AUTHORS 2022-04-15 10:54:54 -04:00
Ayaz Hafiz
e6b0d9a820
Fix typo 2022-04-15 10:54:35 -04:00
Richard Feldman
ae59eab55b
Merge pull request #2850 from rtfeldman/issue-2646/Num-toStr
Issue 2646 - Num.toStr crash
2022-04-15 10:54:20 -04:00
Richard Feldman
bf744cdd6e
Merge pull request #2870 from rtfeldman/i/2863
Don't try to send type problems over module boundaries
2022-04-15 10:51:28 -04:00
Ayaz Hafiz
95783e03a1
Handle aliasing of ability members 2022-04-15 10:21:35 -04:00
Richard Feldman
f56972742f
Default to not precompiled 2022-04-15 10:21:17 -04:00
Ayaz Hafiz
491ec0034a
Don't try to send type problems over module boundaries
Closes #2863
Closes #2858
2022-04-15 10:01:26 -04:00
Ayaz Hafiz
00e5205d4c
More debugging for unified types 2022-04-15 09:53:23 -04:00
Richard Feldman
0b979ebe1e
Revert "Try fixing the Killed: 9 problem on M1 Mac"
(this didn't fix it)

This reverts commit 089a3de22f.
2022-04-15 09:42:44 -04:00
Richard Feldman
089a3de22f
Try fixing the Killed: 9 problem on M1 Mac 2022-04-15 09:42:31 -04:00
Ayaz Hafiz
7d4a006377
Bugfix sorting must implement constraints
Also makes things go faster
2022-04-15 09:29:12 -04:00
Richard Feldman
56f97a2edc
Fix some cli_run warnings 2022-04-15 09:24:57 -04:00
Ayaz Hafiz
fbe7ccf4c8
Use error macro 2022-04-15 08:51:29 -04:00
Richard Feldman
4065645d3c
Fix references to obsolete CLI flags 2022-04-15 08:46:12 -04:00
Richard Feldman
03c189c049
c-c-c-c-clippy! (turn and face the strange) 2022-04-14 21:52:00 -04:00
Richard Feldman
4f10ccc5d1
Rename Target::Host to Target::System 2022-04-14 20:44:23 -04:00
Richard Feldman
1f93973dbf
Allow --precompiled-host=false 2022-04-14 20:43:30 -04:00
Richard Feldman
6b213be997
Minor formatting 2022-04-14 20:35:42 -04:00
Richard Feldman
3daba1f6c0
Introduce --linker flag 2022-04-14 20:32:19 -04:00
Richard Feldman
2be9825b7b
Add --force-roc-linker and --legacy-linker 2022-04-14 20:19:27 -04:00
Ayaz Hafiz
8f335c3278
Add solve test for aliasing ability 2022-04-14 17:25:44 -04:00
Ayaz Hafiz
8694ea9d33
Add first ability gen tests 2022-04-14 17:06:19 -04:00