src/testsuite/interpreter/has.input


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

-- Test for `T has sig'
--

-- expected: true
Integer has random: Integer -> Integer

-- expected: false
Float has random: Float -> Float

-- expected: true
Boolean has true: Boolean


-- expected: true
Boolean has false: Boolean

-- expected: false
Boolean has fals: Boolean