Mercurial > urweb

comparison src/elab_util.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 b2413e4dd109
children 9e0fa4f6ac93
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 *
27 27
28 signature ELAB_UTIL = sig 28 signature ELAB_UTIL = sig
29 29
30 val classifyDatatype : (string * int * 'a option) list -> Elab.datatype_kind 30 val classifyDatatype : (string * int * 'a option) list -> Elab.datatype_kind
31 31
32 val mliftConInCon : (int -> Elab.con -> Elab.con) ref
33
32 structure Kind : sig 34 structure Kind : sig
33 val mapfoldB : {kind : ('context, Elab.kind', 'state, 'abort) Search.mapfolderB, 35 val mapfoldB : {kind : ('context, Elab.kind', 'state, 'abort) Search.mapfolderB,
34 bind : 'context * string -> 'context} 36 bind : 'context * string -> 'context}
35 -> ('context, Elab.kind, 'state, 'abort) Search.mapfolderB 37 -> ('context, Elab.kind, 'state, 'abort) Search.mapfolderB
36 val mapfold : (Elab.kind', 'state, 'abort) Search.mapfolder 38 val mapfold : (Elab.kind', 'state, 'abort) Search.mapfolder