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,462 Commits 425 Branches 92 Tags 407 MiB
5af38fb39b
Commit Graph

18 Commits

Author SHA1 Message Date
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
713fbe8396 Merge remote-tracking branch 'origin/topic/pretty-errors' into wip/effects 2018-08-10 11:25:29 -04:00
Arya Irani
3b5217674f unison-src/errors/state3.uu currently typechecks, even though it uses but doesn't handle the effect-pure case 2018-08-09 16:19:01 -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
Arya Irani
5f8e093917 a couple more error examples 2018-08-08 23:20:38 -04:00
Arya Irani
90be707834 add a couple tests, and shuffled some others around. 2018-08-08 22:21:57 -04:00
Arya Irani
2fd89ae6ee moved a couple typechecker tests to .u files 2018-08-07 13:25:05 -04:00
Paul Chiusano
69e026ac55 update test files 2018-08-07 13:09:35 -04:00
Paul Chiusano
2159030820
Merge pull request #224 from unisonweb/topic/typechecker-test2 
typechecker tests from files on disk
 2018-08-06 21:14:06 -04:00
Arya Irani
ee644e79a0 Unison.Test.Typechecker2 typechecks unison files from unison-src/{tests,errors} 2018-08-06 19:47:09 -04:00
Paul Chiusano
06f9c91525 simpler failing example 2018-08-06 18:23:17 -04:00
Arya Irani
7aee925a83 add unison-src/errors/X-array.u program which passes typechecking when it shouldn't 2018-08-06 17:51:43 -04:00
Arya Irani
d402ecbc13 map Intrinsic over builtin types; make some tweaks to typemismatch error 2018-08-03 11:51:43 -04:00
Arya Irani
88086f6e3c fix off-by-one highlight end issue 2018-08-03 10:43:08 -04:00
Arya Irani
3924123584 syntax error in example 2018-08-01 22:21:30 -04:00
Arya Irani
1f6c4d86ec use splitAndRenderWithColor to minimize source output 2018-08-01 21:53:31 -04:00
Arya Irani
0e03bbd8e6 fix missing unparenthesized types in PrintError.renderType.paren 2018-08-01 21:45:50 -04:00
Arya Irani
74faf73c9f added example type 
errors
 2018-08-01 19:01:08 -04:00