More in test003; requires latex epic fix
commit001e2d50d84b3f3fe3adb0dcd19c6ffbc7dcbb82
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateSat 17 Dec 2011, 18:55 (15 years ago)
parent0bc69fb
test/test003/expected+2
@@ -3,3 +3,5 @@ a
33d
44zabcdefg
55gfedcba
6+[g, f, e, d, c, b, a]
7+abcdefg
test/test003/lit.lidr+5−1
@@ -11,5 +11,9 @@ Literate main program
1111> main = do { putStrLn (show (strHead st));
1212> putStrLn (show (strIndex st 3));
1313> putStrLn (strCons 'z' st);
14−> putStrLn (rev st); };
14+> putStrLn (rev st);
15+> let x = unpack st;
16+> putStrLn (show (rev x));
17+> putStrLn (pack x);
18+> };
1519