From 5eb53b5bc8d765ed75e965f43f1084e18efc8790 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 27 Apr 2014 15:09:04 +0200
Subject: Adding a field ci_cstr_nargs to case_info and mind_consnrealargs to
 one_inductive_body so that when eta-expanding at "match" printing time we
 know if a let is part of the expected signature or part of the body.

This is an easy fix for bugs like #3293. Another fix could be to
enforce, as an invariant, or better syntactically, that
"match"/"Case"'s have the body of their branches expanded.
---
 lib/hashset.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/hashset.mli')

diff --git a/lib/hashset.mli b/lib/hashset.mli
index 2041b2ec20..2e5b814a79 100644
--- a/lib/hashset.mli
+++ b/lib/hashset.mli
@@ -43,4 +43,5 @@ module Combine : sig
   val combinesmall : int -> int -> int
   val combine3 : int -> int -> int -> int
   val combine4 : int -> int -> int -> int -> int
+  val combine5 : int -> int -> int -> int -> int -> int
 end
-- 
cgit v1.2.3