From 7dd0a79cce7c4c048e7c145c9f378da3a96392d0 Mon Sep 17 00:00:00 2001 From: Alec Theriault Date: Sun, 23 Dec 2018 10:23:20 -0500 Subject: Properly synify and render promoted type variables (#985) * Synify and render properly promoted type variables Fixes #923. * Accept output --- html-test/src/Bug923.hs | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 html-test/src/Bug923.hs (limited to 'html-test/src') diff --git a/html-test/src/Bug923.hs b/html-test/src/Bug923.hs new file mode 100644 index 00000000..bb5bca0a --- /dev/null +++ b/html-test/src/Bug923.hs @@ -0,0 +1,11 @@ +{-# LANGUAGE KindSignatures, FlexibleInstances, GADTs, DataKinds #-} +module Bug923 where + +-- | A promoted tuple type +data T :: (* -> (*,*)) -> * where + T :: a -> T ('(,) a) + +-- | A promoted tuple type in an instance +instance Eq a => Eq (T ('(,) a)) where + T x == T y = x == y + -- cgit v1.2.3