diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_run/tcrun015.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_run/tcrun015.hs | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_run/tcrun015.hs b/testsuite/tests/ghc-regress/typecheck/should_run/tcrun015.hs deleted file mode 100644 index a75e7e88d5..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_run/tcrun015.hs +++ /dev/null @@ -1,21 +0,0 @@ --- !!! Newtypes - --- A variation of tc014 that Sigbjorn said failed - -module Main where - -data Expr a b = One a | Many [b] -newtype Pat a = InP (Expr a (Pat a), Int) -newtype PExpr a = InPE (Expr a (PExpr a), Int) - -plus1 x@(InPE (_, loc)) = InPE (Many [x], loc) -one x l = InPE (One (plus1 x), l) - -outP (InP x) = x - -getPatNames p - = case outP p of - (One n, _) -> [n] - (Many ps, _) -> concatMap getPatNames ps - -main = print (take 10 (map getPatNames (repeat (InP (One "n", 1))))) |