Ticket #34 (new enhancement)

Opened 6 years ago

Last modified 5 years ago

Check inferred type against signatures.

Reported by: benl Owned by:
Priority: blocker Milestone: 0.1.4
Component: Source Type Inferencer Version:
Keywords: Cc:

Description

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 

Change History

Changed 5 years ago by erikd

On the mailing list Ben said:

We should add another form for type signatures "fun <: typesig " that ensures that the inferred type of fun is smaller (less effectful) than the typesig. This is related to #2, check class instances against their definitions.

Note: See TracTickets for help on using tickets.