From ab1fd660db052741a3d9aed871251dc3dbee63ca Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 22 Feb 2019 14:24:25 +0100
Subject: Nicer error for bad primitive types (through type_errors etc)

---
 checker/checker.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'checker')

diff --git a/checker/checker.ml b/checker/checker.ml
index 3c93ef7d36..d3f346d76b 100644
--- a/checker/checker.ml
+++ b/checker/checker.ml
@@ -273,6 +273,7 @@ let explain_exn = function
       | IllFormedBranch _ -> str"IllFormedBranch"
       | Generalization _ -> str"Generalization"
       | ActualType _ -> str"ActualType"
+      | IncorrectPrimitive _ -> str"IncorrectPrimitive"
       | CantApplyBadType ((n,a,b),{uj_val = hd; uj_type = hdty},args) ->
         let pp_arg i judge =
           hv 1 (str"arg " ++ int (i+1) ++ str"= " ++
-- 
cgit v1.2.3