Mercurial > urweb
diff src/elab_err.sig @ 1071:26197c957ad6
Better record summary error messages; more tweaking SQL usability
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Dec 2009 11:28:47 -0500 |
parents | 5d7e05b4a5c0 |
children | c7b9a33c26c8 |
line wrap: on
line diff
--- a/src/elab_err.sig Sun Dec 13 10:13:06 2009 -0500 +++ b/src/elab_err.sig Sun Dec 13 11:28:47 2009 -0500 @@ -55,7 +55,7 @@ | CIncompatible of Elab.con * Elab.con | CExplicitness of Elab.con * Elab.con | CKindof of Elab.kind * Elab.con * string - | CRecordFailure of Elab.con * Elab.con + | CRecordFailure of Elab.con * Elab.con * (Elab.con * Elab.con * Elab.con) option val cunifyError : ElabEnv.env -> cunify_error -> unit