diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-08-21 22:24:03 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-21 22:24:03 -0700 |
| commit | 6a9ada2426579b72696514b3fd081aacac9c5740 (patch) | |
| tree | c3cbf5c8d7ec9c36fa9e91ccb7b3c5c2bbb7fe87 /latex-test/src/UnboxedStuff | |
| parent | 9ef12f3c2f0ef2948e6f4bd38fdfa002c416ab09 (diff) | |
| parent | d23dbf3d54bf1c29a9720872f312a370f830b5ae (diff) | |
Merge pull request #914 from harpocrates/feature/unboxed-stuff
Better rendering of unboxed sums, unboxed tuples, promoted tuples.
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 + |