blob: 111d0fd19c2121ebccfa047253fcb7f34561c324 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
[1 of 4] Compiling SafeLang17_A ( SafeLang17_A.hs, SafeLang17_A.o )
[2 of 4] Compiling SafeLang17_B ( SafeLang17_B.hs, SafeLang17_B.o )
[3 of 4] Compiling Main ( SafeLang17.hs, SafeLang17.o )
SafeLang17.hs:9:13: error:
• 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:15: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:14: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
|
