Opened 8 years ago

Closed 6 years ago

#189 closed defect (wontfix)

Check for missing quantifiers in type class definitions.

Reported by: benl Owned by:
Priority: normal Milestone: 0.3.0
Component: Source Desugarer Version: 0.1.2
Keywords: Cc:

Description

Check for missing quantifiers in type class definitions. The type variable "c" here isn't quantified, and will be defaulted to Unit by the inferencer.

class Floating a where
	fpow	:: forall b
		.  a -> b -(!e1 $c1)> c
		:- !e1 = !{ !ReadT a; !ReadT b }
		,  $c1 = x : a
		,  Shape3 a b c

Change History (5)

comment:1 Changed 8 years ago by benl

  • Priority changed from blocker to normal

comment:2 Changed 8 years ago by benl

  • Priority changed from normal to blocker

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 6 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.