diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T13895.hs')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T13895.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/dependent/should_fail/T13895.hs b/testsuite/tests/dependent/should_fail/T13895.hs index 5897cd8149..691290df8e 100644 --- a/testsuite/tests/dependent/should_fail/T13895.hs +++ b/testsuite/tests/dependent/should_fail/T13895.hs @@ -1,5 +1,6 @@ {-# LANGUAGE RankNTypes #-} -{-# LANGUAGE TypeInType #-} +{-# LANGUAGE PolyKinds #-} +{-# LANGUAGE DataKinds #-} module T13895 where import Data.Data (Data, Typeable) |