Commit f9fb93ae authored by simonpj's avatar simonpj
Browse files

[project @ 2000-11-28 08:23:42 by simonpj]

Add functional dependency test
parent ee446e19
{-# OPTIONS -fglasgow-exts #-}
module ShouldCompile
-- This accepted by Hugs, but not by GHC 4.08.1
-- Reported by Thomas Hallgren Nov 00
class P a
class R a b | b->a
instance (P a,R a b) => P b
{- GHC 4.08.1 doesn't seem to allow variables in the context that
don't appear after the =>, but which are still ok since they are
determined by the functional dependenices. -}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment