From 8d82524d9d9b278eae08993c2d4c54173d68481c Mon Sep 17 00:00:00 2001 From: Mateusz Kowalczyk Date: Tue, 4 Nov 2014 01:16:20 +0000 Subject: Fix re-exports of built-in type families Fixes #310 --- html-test/ref/Bug310.html | 89 +++++++++++++++++++++++++++++++++++++++++++++++ html-test/src/Bug310.hs | 4 +++ 2 files changed, 93 insertions(+) create mode 100644 html-test/ref/Bug310.html create mode 100644 html-test/src/Bug310.hs (limited to 'html-test') diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html new file mode 100644 index 00000000..926d6cf2 --- /dev/null +++ b/html-test/ref/Bug310.html @@ -0,0 +1,89 @@ + +Bug310

Safe Haskell	None

Bug310

Synopsis

Documentation

type family a + b :: Nat infixl 6

Addition of type-level naturals.

diff --git a/html-test/src/Bug310.hs b/html-test/src/Bug310.hs new file mode 100644 index 00000000..d2492dc0 --- /dev/null +++ b/html-test/src/Bug310.hs @@ -0,0 +1,4 @@ +{-# LANGUAGE ExplicitNamespaces #-} +module Bug310 ( type (+) ) where + +import GHC.TypeLits -- cgit v1.2.3