diff options
Diffstat (limited to 'src/boot/util')
| -rw-r--r-- | src/boot/util/common.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/boot/util/common.ml b/src/boot/util/common.ml index 3271b644..63a4a321 100644 --- a/src/boot/util/common.ml +++ b/src/boot/util/common.ml @@ -25,6 +25,10 @@ let bug _ = in Printf.ksprintf k ;; +(* TODO: On some joyous day, remove me. *) +exception Not_implemented of string +;; + exception Semant_err of ((node_id option) * string) ;; |