A new very simple example for recursive functions. Still bugged, but getting

[helm.git] / helm / software / components / ng_kernel / nCicTypeChecker.ml

diff --git a/helm/software/components/ng_kernel/nCicTypeChecker.ml b/helm/software/components/ng_kernel/nCicTypeChecker.ml
index ca943a828fd421a6cc630716cf9f786c41bb6555..30bde93171e9a6e999a4d6ce87edc8dec5e4e0f2 100644 (file)
--- a/helm/software/components/ng_kernel/nCicTypeChecker.ml
+++ b/helm/software/components/ng_kernel/nCicTypeChecker.ml
@@ -3,4 +3,4 @@ exception TypeCheckerFailure of string Lazy.t
 exception AssertFailure of string Lazy.t
 
 (* typechecks the object, raising an exception if illtyped *)
-let typecheck_obj obj = ()
+let typecheck_obj obj = match obj with _ -> ()