Changeset 4 for Csemantics/Errors.ma
 Timestamp:
 Jun 2, 2010, 7:11:14 PM (10 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Csemantics/Errors.ma
r3 r4 58 58  Error (*msg*) => Error ? (*msg*) 59 59 ]. 60 61 (* Not sure what level to use *) 62 notation "ident v ← e;: e'" right associative with precedence 40 for @{'bind ${e} (λ${ident v}.${e'})}. 63 interpretation "error monad bind" 'bind e f = (bind ? ? e f). 64 notation "〈ident v1, ident v2〉 ← e;: e'" right associative with precedence 40 for @{'bind2 ${e} (λ${ident v1}.λ${ident v2}.${e'})}. 65 interpretation "error monad pair bind" 'bind2 e f = (bind2 ??? e f). 66 (*interpretation "error monad ret" 'ret e = (ret ? e). 67 notation "'ret' e" non associative with precedence 45 for @{'ret ${e}}.*) 68 60 69 (* 61 70 (** The [do] notation, inspired by Haskell's, keeps the code readable. *)
Note: See TracChangeset
for help on using the changeset viewer.