Mercurial > urweb

comparison src/elab_err.sig @ 1303:c7b9a33c26c8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Hopeful fix for the Great Unification Bug
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 14:41:03 -0400
parents 26197c957ad6
children 3a845f2ce9e9
comparison
equal deleted inserted replaced
1302:d008c4c43a0a 1303:c7b9a33c26c8
1 (* Copyright (c) 2008, Adam Chlipala 1 (* Copyright (c) 2008-2010, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
54 | COccursCheckFailed of Elab.con * Elab.con 54 | COccursCheckFailed of Elab.con * Elab.con
55 | CIncompatible of Elab.con * Elab.con 55 | CIncompatible of Elab.con * Elab.con
56 | CExplicitness of Elab.con * Elab.con 56 | CExplicitness of Elab.con * Elab.con
57 | CKindof of Elab.kind * Elab.con * string 57 | CKindof of Elab.kind * Elab.con * string
58 | CRecordFailure of Elab.con * Elab.con * (Elab.con * Elab.con * Elab.con) option 58 | CRecordFailure of Elab.con * Elab.con * (Elab.con * Elab.con * Elab.con) option
59 | TooLifty of ErrorMsg.span * ErrorMsg.span
60 | TooUnify of Elab.con * Elab.con
59 61
60 val cunifyError : ElabEnv.env -> cunify_error -> unit 62 val cunifyError : ElabEnv.env -> cunify_error -> unit
61 63
62 datatype exp_error = 64 datatype exp_error =
63 UnboundExp of ErrorMsg.span * string 65 UnboundExp of ErrorMsg.span * string