Revision 72aa198b460b1ada73f66f35edc05901fe503f8c authored by Anish Tondwalkar on 01 August 2019, 07:53:00 UTC, committed by Anish Tondwalkar on 01 August 2019, 07:53:00 UTC
The problem is that when we have an ~> under an forall, at the term
level we have a tabs, and that means we have to swtich from checking (at
the type with the implicit parameter) to synthing (plus a subtyping
check). But when we synth, this implicit parameter is simply not in
scope: since it's not bound anywhere in the term, it can't be added to
the context during synthesis.
1 parent 95a7cd4
History
File Mode Size
Main.hs -rw-r--r-- 410 bytes

back to top