blob: a71eaf7897fdf63d0a6df5e40528c4488afb2219 (
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
26
27
28
|
Test10313.hs:9:13:
The deprecation for ‘solverCheckAndGetModel’
lacks an accompanying binding
Test10313.hs:15:16:
Multiple warning declarations for ‘Logic’
also at Test10313.hs:9:13-17
Test10313.hs:15:16:
The deprecation for ‘solverCheckAndGetModel’
lacks an accompanying binding
Test10313.hs:16:13:
Multiple warning declarations for ‘solverCheckAndGetModel’
also at Test10313.hs:10:13-34
Test10313.hs:30:15: Not in scope: data constructor ‘Bitstream’
Test10313.hs:32:7: Not in scope: ‘S.concatMap’
Test10313.hs:32:19: Not in scope: ‘stream’
Test10313.hs:32:27: Not in scope: ‘GV.stream’
Test10313.hs:33:7: Not in scope: ‘S.sized’
Test10313.hs:34:7: Not in scope: data constructor ‘Exact’
|