Opened 10 years ago

Closed 7 years ago

#34 closed enhancement (wontfix)

Check inferred type against signatures.

Reported by: benl Owned by:
Priority: normal Milestone: 0.3.0
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 (5)

comment:1 Changed 9 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.

comment:2 Changed 8 years ago by benl

  • Milestone changed from 0.1.4 to 0.1.3

comment:3 Changed 7 years ago by benl

  • Milestone 0.1.3 deleted

Milestone 0.1.3 deleted

comment:4 Changed 7 years ago by benl

  • Priority changed from blocker to normal

comment:5 Changed 7 years ago by benl

  • Milestone set to 0.3.0
  • Resolution set to wontfix
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.