transformers tweak
authorJim Pryor <profjim@jimpryor.net>
Mon, 13 Dec 2010 02:01:25 +0000 (21:01 -0500)
committerJim Pryor <profjim@jimpryor.net>
Mon, 13 Dec 2010 02:01:25 +0000 (21:01 -0500)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
monad_transformers.mdwn

index ebe9b0c..57affe5 100644 (file)
@@ -184,9 +184,9 @@ This is fun. Notice the difference it makes whether the second `plus` is native
        # module LL = List_monad.T(List_monad);;
 
        # LL.(run(plus (unit 1) (unit 2) >>= fun i -> plus (unit i) (unit(10*i)) ));;
-       - : ('_a, int) LL.result = [[1; 10; 2; 20]]
+       - : ('_a, int) LL.result = \[[1; 10; 2; 20]]
        # LL.(run(plus (unit 1) (unit 2) >>= fun i -> elevate L.(plus (unit i) (unit(10*i)) )));;
-       - : ('_a, int) LL.result = [[1; 2]; [1; 20]; [10; 2]; [10; 20]]
+       - : ('_a, int) LL.result = \[[1; 2]; [1; 20]; [10; 2]; [10; 20]]