blob: 4665f62a64c129812e93d616b07c9354e1235927 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
[1 of 3] Compiling SafeLang17_A (.hs -> .o)
[2 of 3] Compiling SafeLang17_B (.hs -> .o)
[3 of 3] Compiling Main (.hs -> .o)
SafeLang17.hs:8:13:
Unsafe overlapping instances for Pos [Int]
arising from a use of ‘res’
The matching instance is:
instance [incoherent] [safe] Pos [Int]
-- Defined at SafeLang17_B.hs:14:10
It is compiled in a Safe module and as such can only
overlap instances from the same module, however it
overlaps the following instances from different modules:
instance Pos [a] -- Defined at SafeLang17_A.hs:13:10
In the expression: res [(1 :: Int)]
In an equation for ‘r’: r = res [(1 :: Int)]
In the expression:
do { let r = res ...;
putStrLn $ "Result: " ++ show r;
putStrLn $ "Result: " ++ show function }
|
