Ticket #189 (new defect)

Opened 3 years ago

Last modified 3 years ago

Check for missing quantifiers in type class definitions.

Reported by: benl Owned by:
Priority: normal Milestone: 0.1.3
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

Changed 3 years ago by benl

  • priority changed from blocker to normal
Note: See TracTickets for help on using tickets.