Commits

Max Mouratov committed ddcf36d Draft

README tweak

Comments (0)

Files changed (1)

 Supported forms: ``where let``, ``where val``.
 
 Examples:
+
 .. sourcecode:: ocaml
 
   expr where let a = b      ==>  let a = b in expr
   str_item where val a = b  ==>  let a = b ;; str_item
 
 ``where let`` is the more common form, in which the ``let`` keyword is optional and can be omitted:
+
 .. sourcecode:: ocaml
 
   expr where a = b  ==>  let a = b in expr
 
 Associativity:
+
 .. sourcecode:: ocaml
 
   a where b where c  ==>  (a where b) where c
 
 Precedence:
+
 .. sourcecode:: ocaml
 
   let a = b where c and d  ==>  let a = (b where c and d)
 =======
 
 Input:
+
 .. sourcecode:: ocaml
 
   let a =
   where val c = f
 
 Output:
+
 .. sourcecode:: ocaml
 
   let c = f