unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-05 14:17:33 +03:00
Code Issues Projects Releases Wiki Activity
2,476 Commits 425 Branches 92 Tags 407 MiB
28ec096a4e
Commit Graph

449 Commits

Author SHA1 Message Date
Runar Bjarnason
28ec096a4e Kill the computer 2018-08-16 12:42:38 -04:00
Arya Irani
8f94c4bb27 render hash types in unknown term message 2018-08-16 10:48:41 -04:00
Runar Bjarnason
e351635722 Merge branch 'master' into topic/tdnr2 2018-08-16 10:42:26 -04:00
Runar Bjarnason
955f525703 Type-directed name resolution, phase 2 2018-08-15 16:40:13 -04:00
Runar Bjarnason
f3f9dd2b9a Wip with TDNR figuring out foo x y = x + 1 + y + 2 2018-08-14 22:03:20 -04:00
Runar Bjarnason
15a526b894 wip with writer monad 2018-08-14 21:13:07 -04:00
Runar Bjarnason
9f5135a97d Actually look up types of references 2018-08-14 20:02:11 -04:00
Arya Irani
5590f5238a add type signatures to tests to eliminate repl warnings 2018-08-14 16:39:42 -04:00
Paul Chiusano
5af38fb39b Merge branch 'master' into wip/effects 
# Conflicts:
#	parser-typechecker/src/Unison/PrintError.hs
#	parser-typechecker/src/Unison/Typechecker/Context.hs
#	parser-typechecker/tests/Unison/Test/Typechecker.hs
 2018-08-14 16:13:50 -04:00
Paul Chiusano
53a726c8a8 remove debugging statements 2018-08-14 12:58:08 -04:00
Paul Chiusano
1751383915 Revert "further simplified ability check" 
This reverts commit bdd6097286.
 2018-08-14 12:54:43 -04:00
Runar Bjarnason
4f5f0ed1be TDNR actually does work. Phase 1. Phase 2 is fixpoint. 2018-08-14 10:47:37 -04:00
Paul Chiusano
012d1b6de8 added inference of multiple effects 2018-08-13 22:41:01 -04:00
Paul Chiusano
bdd6097286 further simplified ability check 2018-08-13 22:27:04 -04:00
Paul Chiusano
55b5c608ce simplifying ability check 2018-08-13 22:18:01 -04:00
Paul Chiusano
773d4a421e tests passing 2018-08-13 22:12:43 -04:00
Paul Chiusano
50d1f385a2 all but one test passing 2018-08-13 20:04:21 -04:00
Runar Bjarnason
b938e1f530 Remove notes that we're handling in tdnr 2018-08-13 19:56:27 -04:00
Paul Chiusano
ac55ce1dc6 possibly more progress 2018-08-13 18:30:37 -04:00
Paul Chiusano
7ffb9c3ce7 more progress 2018-08-13 18:22:33 -04:00
Paul Chiusano
f8d48205f6 allowing effect variables in type signatures to be instantiated to multiple effects 2018-08-13 16:32:02 -04:00
Runar Bjarnason
7c55d507b7 TDNR seems to work! 2018-08-13 14:18:12 -04:00
Runar Bjarnason
03f2beb6aa Merge branch 'topic/pretty-errors' of github.com:unisonweb/unison into topic/type-directed 2018-08-13 14:13:56 -04:00
Paul Chiusano
c87997e482 tests all pass 2018-08-13 12:38:53 -04:00
Arya Irani
f3e3e60b1e debugging hidden highlighting 2018-08-13 12:25:34 -04:00
Arya Irani
7d843f1660 minor cleanup 2018-08-13 12:25:16 -04:00
Paul Chiusano
c29742a958 simplify synthesizeApp 2018-08-13 10:51:44 -04:00
Paul Chiusano
289781827f diagnostics 2018-08-11 14:43:41 -04:00
Paul Chiusano
93e701365d withAbilityCheckFor is a bit more sophisticated now - it removes from ambient any effect it will shadow 2018-08-11 01:00:10 -04:00
Paul Chiusano
b9923b3be9 huzzah 2018-08-11 00:41:01 -04:00
Paul Chiusano
46c6fac08c woot 2018-08-11 00:17:17 -04:00
Paul Chiusano
227a545214 simple test for effect inference 2018-08-11 00:15:22 -04:00
Paul Chiusano
165123514d withoutAbilityChecksFor now correctly chains 2018-08-10 23:50:34 -04:00
Runar Bjarnason
4721d06c28 Merge branch 'topic/pretty-errors' of github.com:unisonweb/unison into topic/type-directed 2018-08-10 16:11:24 -04:00
Arya Irani
5bb74984b7 Unison.Test.Typechecker now renders error messages on failure 2018-08-10 16:01:05 -04:00
Runar Bjarnason
47b8e5c7d3 Merge branch 'topic/typechecker-test2' of github.com:unisonweb/unison into topic/type-directed 2018-08-10 14:25:21 -04:00
Paul Chiusano
9e3148937b all but one test passing, something with handle inference 2018-08-10 13:12:12 -04:00
Paul Chiusano
713fbe8396 Merge remote-tracking branch 'origin/topic/pretty-errors' into wip/effects 2018-08-10 11:25:29 -04:00
Paul Chiusano
528976e9cc simplify subtype, add effect inference, still debugging a couple failing tests 2018-08-10 11:25:13 -04:00
Arya Irani
0e302bb040 rename Unison.Test.Typechecker2 to Typechecker 2018-08-09 16:09:46 -04:00
Arya Irani
a5f9c9729d moved the last of the tests from Unison.Test.Typechecker into individual files 2018-08-09 16:08:51 -04:00
Runar Bjarnason
f7bd352b2f TDNR while synthing a file 2018-08-09 15:39:18 -04:00
Arya Irani
69106535d0 misc fixes: 
- can call bootstrap without output file if no output file is desired
- look up References when rendering the file body type printed by bootstrap
- generalize PrintError.{renderType,renderType',renderKind,showRef'}

- add original note to AbilityCheckFailure for debugging
 2018-08-09 15:33:46 -04:00
Runar Bjarnason
f9287ed216 Synth and resolve 2018-08-09 15:02:20 -04:00
Runar Bjarnason
9ac1901d61 remove stray typew 2018-08-09 14:37:37 -04:00
Runar Bjarnason
d2a7745a90 I think that solves TDNR 2018-08-09 14:36:49 -04:00
Paul Chiusano
f2abb2af53 tests pass 2018-08-09 09:06:56 -04:00
Paul Chiusano
fd43238e80 redo instantiateL/R 2018-08-09 08:47:22 -04:00
Paul Chiusano
693578e87c effect inference wip 2018-08-09 08:30:08 -04:00
Runar Bjarnason
7900702347 well, it typechecks. 2018-08-08 21:28:03 -04:00