From ad9e0319e59b083f75134739b84b9c2c1dc42218 Mon Sep 17 00:00:00 2001 From: Gabriel Nordeborn Date: Sun, 25 Jun 2023 11:17:43 +0200 Subject: [PATCH] extend test a bit --- jscomp/test/record_type_spread.js | 13 ++++++++++++- jscomp/test/record_type_spread.res | 7 ++++++- 2 files changed, 18 insertions(+), 2 deletions(-) diff --git a/jscomp/test/record_type_spread.js b/jscomp/test/record_type_spread.js index 12a1bb74d5..7f0c61958c 100644 --- a/jscomp/test/record_type_spread.js +++ b/jscomp/test/record_type_spread.js @@ -10,7 +10,18 @@ function getX(v) { return v.x; } -var DeepSub = {}; +var DeepSub = { + d: { + x: { + TAG: "Ok", + _0: 1 + }, + z: { + NAME: "Two", + VAL: 1 + } + } +}; var v = { y: 3, diff --git a/jscomp/test/record_type_spread.res b/jscomp/test/record_type_spread.res index 19f61d8b74..ee373fb1ca 100644 --- a/jscomp/test/record_type_spread.res +++ b/jscomp/test/record_type_spread.res @@ -49,8 +49,13 @@ let x: rnAsString = { module DeepSub = { type t<'a, 'b> = { x: result<'a, 'b>, - } + z: [#One | #Two('a) | #Three('b)], + } type d = { ...t, } + let d: d = { + x: Ok(1), + z: #Two(1), + } }