Commit d682411e authored by mnislaih's avatar mnislaih
Browse files

Add test for #3067: GHCi panics with 'initTc:LIE' while :stepping on code with funny types

parent 681c11d9
......@@ -61,6 +61,7 @@ test('break024', normal, ghci_script, ['break024.script'])
test('break025', normal, ghci_script, ['break025.script'])
test('break026', normal, ghci_script, ['break026.script'])
test('break027', normal, ghci_script, ['break027.script'])
test('break028', normal, ghci_script, ['break028.script'])
test('dynbrk001', normal, ghci_script, ['dynbrk001.script'])
test('dynbrk002', normal, ghci_script, ['dynbrk002.script'])
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-}
type family Id x
type instance Id Int = Int
type instance Id Bool = Bool
class Convert x y where convert :: x -> y
instance Convert x x where convert = id
f :: Convert a (Id a) => a -> Id a
f x = convert x
g :: Convert a (Id a) => a -> Id a
g x = let x' = f x in x'
\ No newline at end of file
Stopped at break028.hs:15:0-23
_result :: Id a = _
Stopped at break028.hs:15:22-23
_result :: Id a = _
x' :: Id a = _
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment