aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/Bug1063.hs
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/src/Bug1063.hs')
-rw-r--r--html-test/src/Bug1063.hs9
1 files changed, 9 insertions, 0 deletions
diff --git a/html-test/src/Bug1063.hs b/html-test/src/Bug1063.hs
new file mode 100644
index 00000000..c6d13a1f
--- /dev/null
+++ b/html-test/src/Bug1063.hs
@@ -0,0 +1,9 @@
+{-# LANGUAGE ConstraintKinds #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE QuantifiedConstraints #-}
+{-# LANGUAGE UndecidableInstances #-}
+module Bug1063 where
+
+class (c => d) => Implies c d
+instance (c => d) => Implies c d