| .. |
|
can
|
Reorder references unioning
|
2020-02-20 23:38:06 -08:00 |
|
constrain
|
Fix missing rigids
|
2020-02-19 20:13:57 -08:00 |
|
crane
|
refactor: use from_layout everywhere
|
2020-02-19 18:15:35 -08:00 |
|
ena
|
import Result.withDefault succesfully
|
2020-02-12 16:23:01 +01:00 |
|
fmt
|
accessor function formatting
|
2020-02-11 23:03:46 -05:00 |
|
llvm
|
fix converting FunctionPointer from Layout to LLVM
|
2020-02-19 18:16:31 -08:00 |
|
load
|
Remove some unnecessary cloning
|
2020-02-19 23:22:59 -08:00 |
|
module
|
fix type mismatches on test_infer
|
2020-02-19 18:18:33 -08:00 |
|
mono
|
fix int pattern matching code gen
|
2020-02-19 18:16:18 -08:00 |
|
parse
|
Make function arg parsing bug fix less brittle.
|
2020-02-06 22:07:21 -05:00 |
|
types
|
clean up some things
|
2020-02-15 00:22:04 +01:00 |
|
uniqueness
|
clean up some things
|
2020-02-15 00:22:04 +01:00 |
|
ARCHITECTURE.md
|
Add unary operators
|
2019-11-04 21:25:55 -05:00 |
|
builtins.rs
|
make BuiltinAlias type arguments positional
|
2020-02-13 21:47:54 +01:00 |
|
collections.rs
|
Fix solving across modules
|
2020-01-18 02:57:21 -05:00 |
|
graph.rs
|
make infer work again
|
2019-12-31 23:05:27 +01:00 |
|
infer.rs
|
Use MutMap over SendMap for aliases
|
2020-02-12 23:58:41 -05:00 |
|
lib.rs
|
use builtins for uniqueness_infer
|
2020-02-14 16:31:20 +01:00 |
|
operator.rs
|
Do what clippy says
|
2019-11-15 01:23:53 +00:00 |
|
optimize.rs
|
Overhaul canonicalization to use global symbols.
|
2019-07-30 22:42:25 -04:00 |
|
pretty_print_types.rs
|
fix swapped variables in uniqueness signatures
|
2020-02-14 16:56:14 +01:00 |
|
region.rs
|
Fix various problems surfaced by tests
|
2020-01-31 22:12:16 -05:00 |
|
solve.rs
|
clean up some things
|
2020-02-15 00:22:04 +01:00 |
|
string.rs
|
Do what clippy says
|
2019-11-15 01:23:53 +00:00 |
|
subs.rs
|
List.get and List.set
|
2020-02-13 18:18:51 +01:00 |
|
unify.rs
|
remove unused code in check_for_infinite_type
|
2020-02-14 23:58:43 +01:00 |
|
unique_builtins.rs
|
clean up some things
|
2020-02-15 00:22:04 +01:00 |
