From b417271702b81d7893308c3ce6df4b5babeaa55c Mon Sep 17 00:00:00 2001 From: Alec Theriault Date: Tue, 21 Aug 2018 10:05:01 -0700 Subject: Better rendering of unboxed sums/tuples * adds space after/before the '#' marks * properly reify 'HsSumTy' in 'synifyType' --- html-test/src/UnboxedStuff.hs | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 html-test/src/UnboxedStuff.hs (limited to 'html-test') diff --git a/html-test/src/UnboxedStuff.hs b/html-test/src/UnboxedStuff.hs new file mode 100644 index 00000000..bd1b1302 --- /dev/null +++ b/html-test/src/UnboxedStuff.hs @@ -0,0 +1,18 @@ +{-# LANGUAGE UnboxedSums, UnboxedTuples #-} +module UnboxedStuff where + +data X +data Y +data Z + +-- * Unboxed type constructors + +unboxedUnit :: (# #) -> (# #) +unboxedUnit = undefined + +unboxedTuple :: (# X, Y #) -> (# X, Y, Z #) +unboxedTuple = undefined + +unboxedSum :: (# X | Y #) -> (# X | Y | Z #) +unboxedSum = undefined + -- cgit v1.2.3