aboutsummaryrefslogtreecommitdiff
path: root/latex-test/src
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-08-21 10:05:01 -0700
committerAlec Theriault <alec.theriault@gmail.com>2018-08-21 22:06:40 -0700
commitb417271702b81d7893308c3ce6df4b5babeaa55c (patch)
tree6b416e23e22e08f0a4d5eb7a3694ec6a9db2f223 /latex-test/src
parent9ef12f3c2f0ef2948e6f4bd38fdfa002c416ab09 (diff)
Better rendering of unboxed sums/tuples
* adds space after/before the '#' marks * properly reify 'HsSumTy' in 'synifyType'
Diffstat (limited to 'latex-test/src')
-rw-r--r--latex-test/src/UnboxedStuff/UnboxedStuff.hs18
1 files changed, 18 insertions, 0 deletions
diff --git a/latex-test/src/UnboxedStuff/UnboxedStuff.hs b/latex-test/src/UnboxedStuff/UnboxedStuff.hs
new file mode 100644
index 00000000..bd1b1302
--- /dev/null
+++ b/latex-test/src/UnboxedStuff/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
+