Paul Chiusano
|
169c14f784
|
builtins
|
2018-09-09 15:05:14 -04:00 |
|
Paul Chiusano
|
f057e59df2
|
added separate static / dynamic apply IR
|
2018-09-07 23:41:13 -04:00 |
|
Paul Chiusano
|
2b1bd38246
|
successfully evaluated (x y -> x) 42 0
|
2018-09-07 16:55:52 -04:00 |
|
Paul Chiusano
|
388d0a3a54
|
Merge remote-tracking branch 'origin/master' into topic/haskell-runtime
|
2018-09-04 13:49:28 -04:00 |
|
Arya Irani
|
e534a5581c
|
Merge pull request #243 from unisonweb/fix/effect-instantiation2
Misc typechecker bugfixes
|
2018-09-04 10:18:13 -04:00 |
|
Arya Irani
|
9ba1e249f8
|
Merge pull request #244 from unisonweb/wip/pretty-errors
misc fixes & cleanup
|
2018-09-04 10:17:53 -04:00 |
|
Paul Chiusano
|
2561265d36
|
Merge branch 'fix/effect-instantiation2' into topic/haskell-runtime
|
2018-09-01 14:13:37 -04:00 |
|
Paul Chiusano
|
3b369ec295
|
Merge remote-tracking branch 'origin/master' into fix/effect-instantiation2
|
2018-09-01 10:54:25 -04:00 |
|
Paul Chiusano
|
26f06a644a
|
remove debugging statements
|
2018-09-01 10:53:27 -04:00 |
|
Paul Chiusano
|
58b9b37573
|
fix regression in map-reduce
|
2018-09-01 10:50:11 -04:00 |
|
Paul Chiusano
|
0d5727a641
|
fix test that was causing <<loop>> due to circular annotation definition in the typechecker
|
2018-08-31 18:51:05 -04:00 |
|
Arya Irani
|
7d4c37f71b
|
Merge pull request #242 from unisonweb/fix/effect-instantiation
Fix issue with ability instantiation
|
2018-08-31 17:11:37 -04:00 |
|
Arya Irani
|
bd7f713545
|
more cleanup
|
2018-08-31 15:24:31 -04:00 |
|
Paul Chiusano
|
53d735d84a
|
fix to instantiateL/R which was completely forgetting to instantiate effects
This appears to have been masking another error with effect inference in map-reduce.u, which is now failing with an ability check again
|
2018-08-31 13:36:48 -04:00 |
|
Arya Irani
|
a48fa3bd82
|
add two pending tests
unison-src/test1.u became a-tale-of-two-optionals.uu
|
2018-08-31 12:16:38 -04:00 |
|
Paul Chiusano
|
731319ae2e
|
nicer inferred types for lambdas that don't mention pointless effect variables
|
2018-08-31 12:01:27 -04:00 |
|
Paul Chiusano
|
5ae98f7f2a
|
fixed, but want to clean up inferred types a bit to eliminate unneeded effect vars
|
2018-08-31 10:12:49 -04:00 |
|
Arya Irani
|
e9eceff67a
|
more final cleanup
|
2018-08-30 19:18:44 -04:00 |
|
Arya Irani
|
20c39ce084
|
final cleanup
|
2018-08-30 18:58:14 -04:00 |
|
Arya Irani
|
183f0e4264
|
a couple more tests
|
2018-08-30 18:25:41 -04:00 |
|
Arya Irani
|
171cbdc6cc
|
add some regression tests to ensure/refute specific type errors
|
2018-08-30 18:19:27 -04:00 |
|
Arya Irani
|
7162382ade
|
wired up "wrong argument type" message with polymorphicTypeInfo
|
2018-08-30 17:45:40 -04:00 |
|
Arya Irani
|
994ff0249f
|
Merge remote-tracking branch 'origin/master' into wip/pretty-errors
|
2018-08-30 13:55:32 -04:00 |
|
Arya Irani
|
cb2dee86fa
|
Merge remote-tracking branch 'origin/master' into wip/pretty-errors
|
2018-08-30 13:55:00 -04:00 |
|
Paul Chiusano
|
940504a476
|
builtins are effect polymorphic
|
2018-08-30 10:32:06 -04:00 |
|
Paul Chiusano
|
35b5945a77
|
fixed regression in map-reduce due to overagressive generalizeEffects impl even if user has already provided effect variables in the signature
|
2018-08-30 10:05:42 -04:00 |
|
Paul Chiusano
|
794c98c03e
|
seems to be working but regression in map-reduce.u
|
2018-08-29 23:39:46 -04:00 |
|
Arya Irani
|
48f61bc76c
|
wired up "wrong argument type" error; polymorphicTypeInfo bit still needs debugging
|
2018-08-29 18:52:38 -04:00 |
|
Paul Chiusano
|
d258fb01fc
|
WIP, still not quite working
|
2018-08-29 17:42:04 -04:00 |
|
Paul Chiusano
|
3d42a79f3d
|
shouldn't generalize over unused effect vars
|
2018-08-29 17:06:02 -04:00 |
|
Paul Chiusano
|
dc1bb44900
|
moar progress
|
2018-08-29 14:30:20 -04:00 |
|
Paul Chiusano
|
2cc88157ed
|
implement generalizeEffects (not hooked up to typechecker yet)
|
2018-08-29 13:43:49 -04:00 |
|
Arya Irani
|
1858b5161f
|
wired up case guard message
|
2018-08-29 12:32:40 -04:00 |
|
Arya Irani
|
69ac1fa0da
|
add match guard, match body errors
bugfixes:
- fix SubseqExtractor >>=
- more robust extractor pattern for boolean / existential mismatches
|
2018-08-29 12:16:15 -04:00 |
|
Paul Chiusano
|
2d30e74525
|
Merge branch 'master' into topic/effect-improvements
|
2018-08-29 11:27:39 -04:00 |
|
Arya Irani
|
53f10c7525
|
wired up ifBody and vectorBody type mismatch errors
|
2018-08-29 10:29:32 -04:00 |
|
Paul Chiusano
|
6f01bccbba
|
fix for parse bug if keyword not followed by a space
|
2018-08-29 10:12:30 -04:00 |
|
Arya Irani
|
d42b955b5b
|
flesh out some stuff for ExistentialMismatch errors
|
2018-08-29 09:33:15 -04:00 |
|
Arya Irani
|
2dc77ba2f1
|
Merge branch 'master' into wip/pretty-errors
|
2018-08-29 07:47:12 -04:00 |
|
Arya Irani
|
b97bc7349b
|
error extractor for overapplied function
|
2018-08-28 22:24:05 -04:00 |
|
Arya Irani
|
33815dd72b
|
if/and/cond working again with extractors probably
|
2018-08-28 10:45:40 -04:00 |
|
Arya Irani
|
59555c8bc7
|
wip
|
2018-08-27 23:29:59 -04:00 |
|
Paul Chiusano
|
526904223f
|
started on Type.generalizeEffects
|
2018-08-27 17:39:45 -04:00 |
|
Paul Chiusano
|
e739e9e0e2
|
remove hack that would prevent effect inference of more than two concrete effects
|
2018-08-27 17:12:54 -04:00 |
|
Paul Chiusano
|
bb5c99a033
|
tests pass!!!
|
2018-08-27 17:06:32 -04:00 |
|
Paul Chiusano
|
bfaf9b8bd3
|
trying out new better approach to effect typechecking
|
2018-08-27 16:57:02 -04:00 |
|
Arya Irani
|
135a921066
|
refactoring error extractor
|
2018-08-25 18:54:33 -05:00 |
|
Paul Chiusano
|
dad98b2a3a
|
moar progress
|
2018-08-24 17:13:55 -04:00 |
|
Paul Chiusano
|
df54b0defc
|
filled in decompile and more of compile, including lambdas (untested)
|
2018-08-24 14:09:27 -04:00 |
|
Paul Chiusano
|
0a3f8aa625
|
Merge branch 'wip/stanzas' into topic/haskell-runtime
# Conflicts:
# parser-typechecker/src/Unison/ABT.hs
# parser-typechecker/src/Unison/Term.hs
# parser-typechecker/unison-parser-typechecker.cabal
|
2018-08-24 10:46:16 -04:00 |
|