blob: 0bb8c67c7e18cc16efea2cccd18ae026c9ff5c2c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE UnboxedSums #-}
module Lib where
-- No spaces needed in the type syntax
type T = (#Int|Bool|String#)
-- Term syntax needs spaces, otherwise we parser bars as sections
-- for ||, ||| etc.
--
-- t1 :: T
-- t1 = (# 10 | | #)
|