aboutsummaryrefslogtreecommitdiff
path: root/errors.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-10-24 13:08:15 +0200
committerSébastien Dailly <sebastien@chimrod.com>2017-10-24 13:08:15 +0200
commite1e736840ed8c925e2ff442861963250a72d4385 (patch)
treec4d32c321c14df61d5d04f7356c1a6f97efbb1e9 /errors.ml
parent3cd6317dc21cfb5bda950ae3ba29daf48e71f006 (diff)
Update sheet traversal
Diffstat (limited to 'errors.ml')
-rwxr-xr-xerrors.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/errors.ml b/errors.ml
index 8f389ce..3751a60 100755
--- a/errors.ml
+++ b/errors.ml
@@ -4,6 +4,8 @@ exception Undefined of UTF8.t * string list
exception TypeError
+exception Cycle
+
let printf formatter = function
| Undefined (name, args) -> Format.fprintf formatter
"There is no function '%s' with signature %a"