hypsrc-test/src/Literals.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

{-# LANGUAGE Haskell2010 #-}
module Literals where


str :: String
str = "str literal"

num :: Num a => a
num = 0 + 1 + 1010011 * 41231 + 12131

frac :: Fractional a => a
frac = 42.0000001

list :: [[[[a]]]]
list = [[], [[]], [[[]]]]

pair :: ((), ((), (), ()), ())
pair = ((), ((), (), ()), ())