blob: ed0b8b0a750ee350fb45f73ef8b5eea04698302b (
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
:unset -XGADTs
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
|
