Folkert
|
cf80e2852f
|
add test for transitive alias import
|
2020-11-11 01:20:30 +01:00 |
|
Folkert
|
212f8b4d50
|
change test runners to use new error reporting stuff
|
2020-11-03 19:36:02 +01:00 |
|
Folkert
|
78d1a01742
|
hopefully fix race condition bug
|
2020-10-12 20:26:11 +02:00 |
|
Folkert
|
06bc187f8b
|
all tests passing + clippy satisfied
|
2020-10-12 01:42:03 +02:00 |
|
Folkert
|
085c5f54de
|
use a Dependencies struct to track what the dependencies between modules are and when they are met
|
2020-10-10 19:29:10 +02:00 |
|
Folkert
|
c7b251d6b4
|
Merge remote-tracking branch 'origin/trunk' into gen-modules
|
2020-10-08 01:29:32 +02:00 |
|
Folkert
|
f16e17823e
|
fix load tests
|
2020-10-07 23:25:47 +02:00 |
|
Richard Feldman
|
51c0180f45
|
Don't have formatter print parens in field types
|
2020-08-24 00:02:59 -04:00 |
|
Richard Feldman
|
295cb00499
|
wip
|
2020-08-12 23:18:40 -04:00 |
|
Folkert
|
84a8b69437
|
generate IR that uses uniqueness
|
2020-08-11 14:47:14 +02:00 |
|
Folkert
|
4de573b54b
|
use quicksort without closure for loading
the old version worked, but won't run yet because it uses a closure
|
2020-08-10 20:54:05 +02:00 |
|
Richard Feldman
|
87630e1d69
|
Fix test_uniq_load
|
2020-08-02 21:48:37 -04:00 |
|
Richard Feldman
|
cb843c37e7
|
Get tests compiling again
|
2020-08-02 21:00:33 -04:00 |
|
Richard Feldman
|
7c10cf82e5
|
Revert "wip"
This reverts commit d40e33689d .
|
2020-08-02 09:36:55 -04:00 |
|
Richard Feldman
|
d40e33689d
|
wip
|
2020-07-31 09:13:20 -04:00 |
|
Richard Feldman
|
52dc4e9a03
|
Bump-allocate LoadedModule
|
2020-07-30 18:40:56 -04:00 |
|
Richard Feldman
|
5643c4b921
|
wip
|
2020-07-28 22:57:23 -04:00 |
|
Richard Feldman
|
c90f2fd328
|
Improve error message in test_load
|
2020-07-22 19:54:11 -04:00 |
|
Richard Feldman
|
f442cec2da
|
Fix test_load
|
2020-07-04 22:20:43 -04:00 |
|
Richard Feldman
|
b75f061f4f
|
Fix exhaustiveness errors
|
2020-06-19 13:30:14 -04:00 |
|
Richard Feldman
|
1b48c370a9
|
cargo fmt
|
2020-05-26 00:33:16 -04:00 |
|
Richard Feldman
|
c386192e8b
|
Reorganize when solving and constraint gen happen
|
2020-05-26 00:04:42 -04:00 |
|
Richard Feldman
|
5f33073703
|
fix tests
|
2020-05-01 19:30:55 -04:00 |
|
Richard Feldman
|
5c31369072
|
Code gen thunks for top-level module decls
|
2020-05-01 19:30:55 -04:00 |
|
Richard Feldman
|
62186fdda4
|
Add load tests for apps
|
2020-04-15 07:06:11 -04:00 |
|
Richard Feldman
|
6c6e1d9ee3
|
Update some interface tests
|
2020-04-15 07:06:11 -04:00 |
|
Richard Feldman
|
94801f1011
|
Use expanded stack on load tests
|
2020-04-05 17:32:06 -04:00 |
|
Richard Feldman
|
c0837eca1c
|
Use constantNum over constantInt in load tests
|
2020-03-10 23:11:49 -04:00 |
|
Richard Feldman
|
a18e023326
|
Move load to its own crate
|
2020-03-06 18:24:37 -05:00 |
|