2 data List a = Nil | Cons a (List a)
\r
4 reverse :: List a -> List a
\r
6 reverseAux accum Nil = accum
\r
7 reverseAux accum (Cons h t) = reverseAux (Cons h accum) t
\r
10 main = reverse (Cons (1 :: Integer) (Cons (2 :: Integer) (Cons (3 :: Integer) (Cons (4 :: Integer) Nil))))
\r
12 (Cons 4 (Cons 3 (Cons 2 (Cons 1 Nil))))