[r2003-07-31 21:46:13 by cvscast] Remove optional fields from samples

Original author: cvscast Date: 2003-07-31 21:46:14+00:00

[r2003-07-31 21:46:13 by cvscast] Remove optional fields from samples
Original author: cvscast Date: 2003-07-31 21:46:14+00:00
85011edc · Pietro Abate · 39db6729 · 85011edc · 85011edc
Commit 85011edc authored Oct 05, 2007 by Pietro Abate
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 1 deletion

tests/xtrans.cd tests/xtrans.cd +5 -0

types/sample.ml types/sample.ml +3 -1

No files found.
--- a/tests/xtrans.cd
+++ b/tests/xtrans.cd
@@ -22,5 +22,10 @@ let fun f (x : [ T ]) : [ S ] =
 let x = f [ <a>[ <b>[] <b>[] ] ];;


+(*fun (x : Xhtml) : [Xhtml] = xtransform [x] with <h1>s -> [ ];;*)
+(*let x : Xhtml =
+ <html>[ <head>[ <object>[ <p>[ <a>[ <map id="">[] ] ] ] <title>[] ]
+         <body>[] ]
+*)


--- a/types/sample.ml
+++ b/types/sample.ml
@@ -19,7 +19,9 @@ let rec get memo t =
  let rec fields = function
    | (true,_) -> absent
    | (false,t) -> cons t in
-  let record (r,some,none) = Types.record' (not none, LabelMap.map fields r) in
+  let record (r,some,none) = 
+    let r = LabelMap.filter (fun l (o,t) -> not o) r in
+    Types.record' (not none, LabelMap.map fields r) in
  let typ u = 
    let u = Types.cap t u in 
    if Types.is_empty u then raise Not_found else u in