From b417271702b81d7893308c3ce6df4b5babeaa55c Mon Sep 17 00:00:00 2001
From: Alec Theriault <alec.theriault@gmail.com>
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'
---
 latex-test/src/UnboxedStuff/UnboxedStuff.hs | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 latex-test/src/UnboxedStuff/UnboxedStuff.hs

(limited to 'latex-test/src/UnboxedStuff')

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 
+
-- 
cgit v1.2.3