blob: 937c602558459d506c0ccf9d28472655fcb64af5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
:set -XHaskell2010
putStrLn "Should fail, GADTs is not enabled"
data T a where C :: T Int
:set -XGADTs
putStrLn "Should work, GADTs is in force from :set"
:load ghci057.hs
:set -XNoGADTs
putStrLn "Should fail, GADTs is now disabled"
:load ghci057.hs
:seti -XGADTs
putStrLn "Should fail, GADTs is only enabled at the prompt"
:load ghci057.hs
-- Should work
data T a where C :: T Int
:t C
|
