Richard Feldman
058bfdb8d0
Improve perf of finding type new type variables
2022-04-20 21:39:09 -04:00
Ayaz Hafiz
a07323fb40
Typecheck annotations with able variables outside ability members
2022-04-20 17:43:16 -04:00
Folkert
5501787e64
delete unused code
2022-04-17 13:53:17 +02:00
Folkert
e112f6ad2c
Merge remote-tracking branch 'origin/trunk' into builtins-in-roc
2022-04-16 21:01:51 +02: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
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
Richard Feldman
4ea4aa4708
Merge pull request #2838 from rtfeldman/abilities-typechecking
...
Inference and checking for abilities
2022-04-13 22:03:44 -04:00
Ayaz Hafiz
6343382af5
Propogate errors in record fields to layout error
...
Closes #2812
Unfortunately we don't have a great way to test this without scaffolding
a host since this happens while processing a variable exposed to the
host. In tests the root cause just yields a type error first and codegen
works, just bails during the runtime. But this works.
2022-04-13 16:23:13 -04:00
Ayaz Hafiz
d94556d807
Report overly general specializations
2022-04-12 18:52:49 -04:00
Ayaz Hafiz
15a040ec87
Basic type inference and solving for abilities
...
Note that is still pretty limited. We only permit opaque types to
implement abilities, abilities cannot have type arguments, and also no
other functions may depend on abilities
2022-04-12 16:18:07 -04:00
Folkert
6ef443d1b0
Merge remote-tracking branch 'origin/trunk' into builtins-in-roc
2022-04-10 19:14:00 +02:00
Folkert
166c949c3b
clippy
2022-04-09 12:24:12 +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
Folkert
1d0f9e9192
Merge remote-tracking branch 'origin/trunk' into builtins-in-roc
2022-04-08 15:47:11 +02:00
Ayaz Hafiz
17b3c7d8ee
Generate type variables when there are lots
...
Closes #2797
2022-04-07 17:49:48 -04:00
Ayaz Hafiz
66ec1b4a84
Basic canonicalization and error checking for abilities
2022-04-07 17:21:17 -04:00
Ayaz Hafiz
72b93e51f1
Bugfix
2022-04-05 18:08:24 -04:00
Ayaz Hafiz
886e5a0c8f
Don't unify real vars when there are no type variables, or nothing changed
2022-04-05 17:51:30 -04:00
Ayaz Hafiz
163c6b39d6
Unify type alias "real variables"
...
Turns out that we can't always assume that a successful unification of
type alias type variables means that those aliases had the same real
type from the start. Because type variables may contain unbound type
variables and grow during their unification (for example,
`[InvalidNumStr]a ~ [ListWasEmpty]b` unify to give `[InvalidNumStr,
ListWasEmpty]`), the real type may grow as well.
For this reason, continue to explicitly unify alias real types for now.
We can get away with not having to do so when the type variable
unification causes no changes to the unification tree at all, but we
don't have a great way to detect that right now (maybe snapshots?)
Closes #2583
2022-04-05 11:21:52 -04:00
Folkert
0dd2cec09a
update with new clippy lints
2022-03-31 19:34:51 +02:00
Folkert
9dbaa0d157
change type to ensure alignment
2022-03-26 22:04:22 +01:00
Folkert
9c9a238be5
make subs serialziation cross-compile proof
2022-03-26 20:31:41 +01:00
Folkert
753d1418ed
fix copy/paste mistake
2022-03-23 21:19:37 +01:00
Folkert
8e73f447df
store exposed_vars_by_symbol in .dat file too
2022-03-23 21:19:35 +01:00
Folkert
1e6cf3f313
properly serialize tag names
2022-03-23 21:19:35 +01:00
Folkert
5f19410de6
Merge branch 'simplify-unused-defs' into builtins-in-roc
2022-03-21 23:45:09 +01:00
Folkert
dc3841ec10
cleanup
2022-03-21 21:13:18 +01:00
Folkert
4c37b6f5fb
properly serialize tag names
2022-03-21 19:45:53 +01:00
Folkert
a9982a30aa
WIP
2022-03-21 19:23:13 +01:00
Richard Feldman
68adeba43c
Merge pull request #2758 from rtfeldman/intern-tag-names
...
handle common tag names in type -> subs conversion
2022-03-20 20:39:46 -04:00
Folkert
e36b1e2208
Merge branch 'serialize-subs' into builtins-in-roc
2022-03-20 21:46:57 +01:00
Folkert
715d58cf83
serialize field names properly
2022-03-20 21:30:09 +01:00
Folkert
b6f7f77aae
Revert "inline subs operations more aggressively"
...
This reverts commit f4cb2ec254
2022-03-20 20:12:20 +01:00
Folkert
c7656955f8
add Subs (de)serialization
2022-03-20 20:03:02 +01:00
Folkert
5a4db4b4ad
inline subs operations more aggressively
2022-03-20 15:31:35 +01:00
Folkert
02944bd2f6
simplify logic (iterators are complicated for the rust compiler in debug mode)
2022-03-20 15:31:09 +01:00
Folkert
38c2710fc5
intern common tag names
2022-03-20 15:30:47 +01:00
Folkert
2516ccf70d
inline subs operations more aggressively
2022-03-20 13:08:20 +01:00
Folkert
6a9b08ed11
Merge remote-tracking branch 'origin/trunk' into builtins-in-roc
2022-03-20 13:01:00 +01:00
Folkert
a601b93a46
start of serializing subs
2022-03-20 12:55:14 +01:00
Folkert
f4cb2ec254
inline subs operations more aggressively
2022-03-20 02:07:48 +01:00
hafiz
3f07afe3b5
Merge pull request #2750 from rtfeldman/delay-instantiating-aliases-fix-limitations
...
Delay instantiating aliases fix limitations
2022-03-19 20:41:14 -04:00
Folkert
147ab87e9c
disable type clone count atomic in release mode
2022-03-19 19:28:24 +01:00
Richard Feldman
5f2054aeb6
Merge pull request #2754 from rtfeldman/remove-type-solvedtype-conversion
...
Remove Type/Subs -> SolvedType conversion
2022-03-19 10:48:42 -04:00
Folkert
35e5a36ea4
Merge branch 'delay-instantiating-aliases-fix-limitations' into builtins-in-roc
2022-03-19 12:30:03 +01:00
Folkert
5a15a121ff
remove Content -> SolvedType conversion
2022-03-19 12:26:21 +01:00
Folkert
da0c6adff3
remove Type -> SolvedType conversion
2022-03-19 12:20:15 +01:00
Folkert
21a51464f3
various small type-related changes
2022-03-18 22:35:12 +01:00
Folkert
4e1197165b
Merge remote-tracking branch 'origin/trunk' into builtins-in-roc-delayed-alias
2022-03-18 21:25:52 +01:00
