diff options
Diffstat (limited to 'common/Errors.v')
| -rw-r--r-- | common/Errors.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/common/Errors.v b/common/Errors.v index 338d777d..28933313 100644 --- a/common/Errors.v +++ b/common/Errors.v @@ -47,7 +47,7 @@ Inductive res (A: Type) : Type := | OK: A -> res A | Error: errmsg -> res A. -Implicit Arguments Error [A]. +Arguments Error [A]. (** To automate the propagation of errors, we use a monadic style with the following [bind] operation. *) @@ -104,7 +104,7 @@ Notation "'assertion' A ; B" := (if A then B else assertion_failed) (** This is the familiar monadic map iterator. *) -Open Local Scope error_monad_scope. +Local Open Scope error_monad_scope. Fixpoint mmap (A B: Type) (f: A -> res B) (l: list A) {struct l} : res (list B) := match l with |