Opened 14 years ago

Closed 14 years ago

Last modified 46 years ago

#583 closed bug (Fixed)

0 parameter type classes

Reported by: iavor_sd Owned by: nobody
Priority: normal Milestone:
Component: Compiler (Type checker) Version: 5.0
Keywords: Cc:
Operating System: Architecture:
Type of failure: Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


This seems to be a problem:


class Tag where
    f :: Char

main = main 

ghc -c -fglasgow-exts bug_ghc.hs

    The constraint `Tag' does not mention any of the 
universally quantified type variables
        in the type `(Tag) => Char'
    In the class declaration for `Tag'

Change History (1)

comment:1 Changed 14 years ago by simonpj

  • Status changed from assigned to closed
Logged In: YES 

Good point.
Note: See TracTickets for help on using tickets.