Export to GitHub

frege - issue #8

Kind of class variable not checked properly

Posted on Sep 26, 2011 by Grumpy Rabbit

What steps will reproduce the problem? 1. define the following:

class AbsList this where hd :: this elem -> elem tl :: this -> this app :: this -> this -> this

  1. Compile

What is the expected output? What do you see instead?

Expected error about usage of this with different kinds. But no error is flagged.

Comment #1

Posted on Sep 27, 2011 by Grumpy Rabbit

(No comment was entered for this change.)

Comment #2

Posted on Sep 29, 2011 by Grumpy Rabbit

fixed with r182

Status: Fixed

Labels:
Type-Defect Priority-Medium Usability