From 6e9f19b7dc30eb451dc4cb67be0dd202eab22718 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 24 Nov 1999 17:55:44 +0000
Subject: Versions initiales

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@136 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/pretype_errors.ml | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 pretyping/pretype_errors.ml

(limited to 'pretyping/pretype_errors.ml')

diff --git a/pretyping/pretype_errors.ml b/pretyping/pretype_errors.ml
new file mode 100644
index 0000000000..ea958976bd
--- /dev/null
+++ b/pretyping/pretype_errors.ml
@@ -0,0 +1,6 @@
+
+let error_cant_find_case_type loc env expr =
+  raise (PretypeError (loc,CCI,context env,CantFindCaseType expr))
+
+let error_ill_formed_branch k env c i actty expty =
+  raise (TypeError (k, context env, IllFormedBranch (c,i,actty,expty)))
-- 
cgit v1.2.3