blob: 1b6a7c2aab94b044198f850f15bc353b9db57d35 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
Test10313.hs:9:13: error:
The deprecation for ‘solverCheckAndGetModel’
lacks an accompanying binding
Test10313.hs:15:16: error:
Multiple warning declarations for ‘Logic’
also at Test10313.hs:9:13-17
Test10313.hs:15:16: error:
The deprecation for ‘solverCheckAndGetModel’
lacks an accompanying binding
Test10313.hs:16:13: error:
Multiple warning declarations for ‘solverCheckAndGetModel’
also at Test10313.hs:10:13-34
Test10313.hs:30:15: error:
Not in scope: data constructor ‘Bitstream’
Test10313.hs:32:7: error: Not in scope: ‘S.concatMap’
Test10313.hs:32:27: error: Not in scope: ‘GV.stream’
Test10313.hs:33:7: error: Not in scope: ‘S.sized’
|