@@ -88,29 +88,7 @@ let _ = {...po, aa: @ns.optional None}
88
88
89
89
let setAA = (ao : option <int >) => {aa : @ns.optional ao , bb : None }
90
90
91
- // Trigger representation mismatch error.
92
- // module M: {
93
- // type partiallyOptional = {
94
- // @ns.optional aa: int,
95
- // bb: option<int>,
96
- // }
97
- // } = {
98
- // type partiallyOptional = {
99
- // @ns.optional aa: int,
100
- // @ns.optional bb: int,
101
- // }
102
- // }
103
-
104
- type foo = Foo ({name : string , age ?: int })
105
-
106
- let foo1 = Foo ({name : "foo" })
107
- let foo2 = Foo ({name : "foo" , age : 3 })
108
-
109
- // should be type error
110
- // let foo3 = Foo({name: "foo", age: 3, nickname: "hasNoNickname"})
111
- // let foo4 = Foo({name: "foo", age: "3"})
112
-
113
- type inlinedRecord = V0 ({x0 : string , x1 ?: string , x2 ?: int , x3 : int }) | V1 ({y0 : string , y1 : int })
91
+ type inlinedOptional = V0 ({x0 : string , x1 ?: string , x2 ?: int , x3 : int }) | V1 ({y0 : string , y1 : int })
114
92
115
93
let ir0 = V0 ({x0 : "v0" , x3 : 3 })
116
94
let ir1 = V0 ({x0 : "v0" , x1 : "v1" , x3 : 3 })
0 commit comments