Complete work on new OVERLAPPABLE/OVERLAPPING pragmas (Trac #9242)
[ghc.git] / testsuite / tests / safeHaskell / ghci / p13.script
1 -- Test restricted functionality: Overlapping
2 :unset +s
3 :set -XSafe
4 :set -XFlexibleInstances
5
6 :l P13_A
7
8 instance {-# OVERLAPPING #-} Pos [Int] where { res _ = error "This curry is poisoned!" }
9
10 res [1::Int, 2::Int]
11 -- res 'c'
12 -- res ['c']
13