diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-02-22 21:32:51 +0100 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-02-23 12:27:57 +0100 |
| commit | 6074c108b66ec9cd2230852addb60782a8b17e0a (patch) | |
| tree | f63eca7bf384b63a70fa19888c4288ab1243ce12 /testsuite/tests/gadt/data2.hs | |
| parent | 754a2f2bb7416bd7fe453ba7bcb7c089f5ef3b8f (diff) | |
| download | haskell-6074c108b66ec9cd2230852addb60782a8b17e0a.tar.gz | |
Testsuite: delete Windows line endings [skip ci] (#11631)
Diffstat (limited to 'testsuite/tests/gadt/data2.hs')
| -rw-r--r-- | testsuite/tests/gadt/data2.hs | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/testsuite/tests/gadt/data2.hs b/testsuite/tests/gadt/data2.hs index 5b8a009d05..fcac05880b 100644 --- a/testsuite/tests/gadt/data2.hs +++ b/testsuite/tests/gadt/data2.hs @@ -1,19 +1,19 @@ -{-# LANGUAGE GADTs, ExistentialQuantification #-}
-
--- Trac #289
-
-module ShouldCompile where
-
-class Foo a where
- foo :: a -> Int
-
-data T = forall a. T (G a)
-data G a where
- A :: G a
- B :: Foo a => a -> G a
-
-doFoo :: T -> Int
-doFoo (T A) = 2
-doFoo (T (B x)) = foo x
-
-
+{-# LANGUAGE GADTs, ExistentialQuantification #-} + +-- Trac #289 + +module ShouldCompile where + +class Foo a where + foo :: a -> Int + +data T = forall a. T (G a) +data G a where + A :: G a + B :: Foo a => a -> G a + +doFoo :: T -> Int +doFoo (T A) = 2 +doFoo (T (B x)) = foo x + + |