/froc-sanity2/f.ml

http://github.com/hhughes/ocaml-frui · OCaml · 13 lines · 9 code · 4 blank · 0 comment · 0 complexity · 157df25196a8214128eab05980c5b0dd MD5 · raw file 

    

  1. open Froc
    2. 

  2. open Printf
    3. 

  3. 

  4. let (>>=) = Froc.(>>=)
    5. 

  5. 

  6. let x = return 1
    7. 

  7. let y = return 2
    8. 

  8. let z = return 3
    9. 

  9. 

  10. let i0 = x >>= fun x -> y >>= fun y -> return (x+y)
    11. 

  11. let ans = i0 >>= fun i0 -> z >>= fun z -> return (i0 + z);;
    12. 

  12. 

  13. printf "ans = %d\n" (sample ans);;
    14.