X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fcvh-ds-unboxed%2FLife2.lhs;fp=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fcvh-ds-unboxed%2FLife2.lhs;h=0000000000000000000000000000000000000000;hb=29b46083beaa048af4b4a68e8f96909ac98a639f;hp=30de1a378275a4df4abb2e275cbac827c0385ff3;hpb=3436a37c72644f82471a7d8c684d67438b86cc3a;p=ghc-hetmet.git diff --git a/ghc/compiler/tests/deSugar/cvh-ds-unboxed/Life2.lhs b/ghc/compiler/tests/deSugar/cvh-ds-unboxed/Life2.lhs deleted file mode 100644 index 30de1a3..0000000 --- a/ghc/compiler/tests/deSugar/cvh-ds-unboxed/Life2.lhs +++ /dev/null @@ -1,39 +0,0 @@ -\section{Life2} - -\begin{code} -module Life2 (life2) where -import UTypes -import UCopy (copy_FI) - -life2 itLimit boardSize - = (fBStr firstBoard) ++ (fBStr secondBoard) - where {- ... -} - -\end{code} - -\begin{code} - fBStr :: FI -> String - fBStr FIN = [] - -{- OK - firstBoard :: FI - firstBoard = copy_FI boardSize (case 0 of - (MkInt x) -> x) --} - -{- not happy about this -} - - firstBoard = copy_FI boardSize u0 - u0 = unBoxInt 0 - unBoxInt (MkInt x) = x -{- end of not happy -} - -{- not happy with this either! -} - - secondBoard = copy_FI boardSize u1 - - (MkInt u1) = 0 -{- end of second not happy -} -\end{code} - -