Mercurial > urweb

diff src/expl.sml @ 87:275aaeb73f1f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Push KUnit and CUnit through the phases
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 13:23:46 -0400
parents 0ee10f4d73cf
children f0f59e918cac
line wrap: on
line diff
--- a/src/expl.sml	Tue Jul 01 13:19:14 2008 -0400
+++ b/src/expl.sml	Tue Jul 01 13:23:46 2008 -0400
@@ -33,6 +33,7 @@
          KType
        | KArrow of kind * kind
        | KName
+       | KUnit
        | KRecord of kind
 
 withtype kind = kind' located
@@ -54,6 +55,8 @@
        | CConcat of con * con
        | CFold of kind * kind
 
+       | CUnit
+
 withtype con = con' located
 
 datatype exp' =