Ticket #34 (new enhancement)
Check inferred type against signatures.
|Reported by:||benl||Owned by:|
|Component:||Source Type Inferencer||Version:|
As we add sig types to the graph, we'll get a type error if part of it can't be unified with the inferred type. However, we don't currently check that the inferred types effect, closure and constraints is <: the signature. Want sigs to be instantiatable from the inferred type.
Also want to have partial sigs. Maybe we need a different syntax compared with :: sigs. eg:
fun <: a -(!Console)> b