blob: 358572165452c0d20b4ff2149c7f5104c1d96a97 (
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 ( SafeLang17_A.hs, SafeLang17_A.o )
[2 of 3] Compiling SafeLang17_B ( SafeLang17_B.hs, SafeLang17_B.o )
[3 of 3] Compiling Main ( SafeLang17.hs, SafeLang17.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
|
