Commit 65b737fa authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel 🕺

Add regression test for #8113

Depends on fix in 3229eadb to pass
parent 77210ada
:def type (\e -> putStrLn ("called :type for "++show e++" (ignoring)") >> return "")
:def
:t ()
:ty True
:typ ()
:type False
:def! type (\e -> putStrLn ("called :type for "++show e++" (chaining)") >> return ("::type "++e))
:def
:t ()
:ty True
:typ ()
:type False
:undef type
:def
:t ()
:ty True
:typ ()
:type False
the following macros are defined:
type
called :type for "()" (ignoring)
called :type for "True" (ignoring)
called :type for "()" (ignoring)
called :type for "False" (ignoring)
the following macros are defined:
type
called :type for "()" (chaining)
() :: ()
called :type for "True" (chaining)
True :: Bool
called :type for "()" (chaining)
() :: ()
called :type for "False" (chaining)
False :: Bool
no macros defined
() :: ()
True :: Bool
() :: ()
False :: Bool
......@@ -152,3 +152,4 @@ test('T7873', normal, ghci_script, ['T7873.script'])
test('T7939', normal, ghci_script, ['T7939.script'])
test('T7894', normal, ghci_script, ['T7894.script'])
test('T8116', normal, ghci_script, ['T8116.script'])
test('T8113', normal, ghci_script, ['T8113.script'])
Markdown is supported
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