diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-08-21 10:05:01 -0700 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-08-21 22:06:40 -0700 |
| commit | b417271702b81d7893308c3ce6df4b5babeaa55c (patch) | |
| tree | 6b416e23e22e08f0a4d5eb7a3694ec6a9db2f223 /latex-test/src/UnboxedStuff | |
| parent | 9ef12f3c2f0ef2948e6f4bd38fdfa002c416ab09 (diff) | |
Better rendering of unboxed sums/tuples
* adds space after/before the '#' marks
* properly reify 'HsSumTy' in 'synifyType'
Diffstat (limited to 'latex-test/src/UnboxedStuff')
| -rw-r--r-- | latex-test/src/UnboxedStuff/UnboxedStuff.hs | 18 |
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 + |