Commit a4b1bf69 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

update

parent 712ac8f8
......@@ -10,7 +10,11 @@ type ENode = EDocument | EElement | EText;
function isEmpty3 (x : EDocument) : true;
function isEmpty3 (x : { kind : 2; children : ENil }) : true;
function isEmpty3 (x : { kind : 2; children : { node : ENode; next : EList } }) : false;
/* without this case the last application fails to type-check */
/*
without this case the last application fails to type-check
this corresponds to explicitly adding the case for the union of
the two previous declarations
*/
function isEmpty3 (x : EElement) : boolean;
function isEmpty3 (x : EText) : boolean;
function isEmpty3 (x : ENode) : boolean {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment