Skip to content

Commit f5a3583

Browse files
cristianoccristianoc
committed
genType: treat option<t> as t | undefined
This produces strictly fewer conversion functions, as it does not need to transform `null` to `undefined`.
1 parent e4a26c8 commit f5a3583

16 files changed

+75
-72
lines changed

‎jscomp/gentype/Converter.ml

Lines changed: 10 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,6 @@ type t =
55
| CircularC of string * t
66
| FunctionC of functionC
77
| IdentC
8-
| NullableC of t
98
| ObjectC of fieldsC
109
| OptionC of t
1110
| PromiseC of t
@@ -68,7 +67,6 @@ let rec toString converter =
6867
|> String.concat ", ")
6968
^ " -> " ^ toString retConverter ^ ")"
7069
| IdentC -> "id"
71-
| NullableC c -> "nullable(" ^ toString c ^ ")"
7270
| ObjectC fieldsC | RecordC fieldsC ->
7371
let dot =
7472
match converter with
@@ -120,8 +118,7 @@ let typeGetConverterNormalized ~config ~inline ~lookupId ~typeNameIsInterface
120118
| Array (t, mutable_) ->
121119
let tConverter, tNormalized = t |> visit ~visited in
122120
(ArrayC tConverter, Array (tNormalized, mutable_))
123-
| Dict _ ->
124-
(IdentC, normalized_)
121+
| Dict _ -> (IdentC, normalized_)
125122
| Function
126123
({argTypes; componentName; retType; typeVars; uncurried} as function_)
127124
->
@@ -191,10 +188,10 @@ let typeGetConverterNormalized ~config ~inline ~lookupId ~typeNameIsInterface
191188
else (IdentC, normalized_))
192189
| Null t ->
193190
let tConverter, tNormalized = t |> visit ~visited in
194-
(NullableC tConverter, Null tNormalized)
191+
(OptionC tConverter, Null tNormalized)
195192
| Nullable t ->
196193
let tConverter, tNormalized = t |> visit ~visited in
197-
(NullableC tConverter, Nullable tNormalized)
194+
(OptionC tConverter, Nullable tNormalized)
198195
| Object (closedFlag, fields) ->
199196
let fieldsConverted =
200197
fields
@@ -248,9 +245,6 @@ let typeGetConverterNormalized ~config ~inline ~lookupId ~typeNameIsInterface
248245
in
249246
(TupleC innerConversions, Tuple normalizedList)
250247
| TypeVar _ -> (IdentC, normalized_)
251-
| Undefined t ->
252-
let tConverter, tNormalized = t |> visit ~visited in
253-
(NullableC tConverter, Undefined tNormalized)
254248
| Variant variant ->
255249
let allowUnboxed = not variant.polymorphic in
256250
let withPayloads, normalized, unboxed =
@@ -384,7 +378,6 @@ let rec converterIsIdentity ~config ~toJS converter =
384378
argConverter |> converterIsIdentity ~config ~toJS:(not toJS)
385379
| GroupConverter _ -> false)
386380
| IdentC -> true
387-
| NullableC c -> c |> converterIsIdentity ~config ~toJS
388381
| ObjectC fieldsC ->
389382
fieldsC
390383
|> List.for_all (fun {lblJS; lblRE; c} ->
@@ -393,7 +386,7 @@ let rec converterIsIdentity ~config ~toJS converter =
393386
match c with
394387
| OptionC c1 -> c1 |> converterIsIdentity ~config ~toJS
395388
| _ -> c |> converterIsIdentity ~config ~toJS)
396-
| OptionC c -> if toJS then c |> converterIsIdentity ~config ~toJS else false
389+
| OptionC c -> c |> converterIsIdentity ~config ~toJS
397390
| PromiseC c -> c |> converterIsIdentity ~config ~toJS
398391
| RecordC _ -> false
399392
| TupleC innerTypesC ->
@@ -523,13 +516,6 @@ let rec apply ~config ~converter ~indent ~nameGen ~toJS ~variantTables value =
523516
EmitText.funDef ~bodyArgs ~functionName:componentName ~funParams ~indent
524517
~mkBody ~typeVars
525518
| IdentC -> value
526-
| NullableC c ->
527-
EmitText.parens
528-
[
529-
value ^ " == null ? " ^ value ^ " : "
530-
^ (value
531-
|> apply ~config ~converter:c ~indent ~nameGen ~toJS ~variantTables);
532-
]
533519
| ObjectC fieldsC ->
534520
let simplifyFieldConverted fieldConverter =
535521
match fieldConverter with
@@ -558,22 +544,12 @@ let rec apply ~config ~converter ~indent ~nameGen ~toJS ~variantTables value =
558544
in
559545
"{" ^ fieldValues ^ "}"
560546
| OptionC c ->
561-
if toJS then
562-
EmitText.parens
563-
[
564-
value ^ " == null ? " ^ value ^ " : "
565-
^ (value
566-
|> apply ~config ~converter:c ~indent ~nameGen ~toJS ~variantTables
567-
);
568-
]
569-
else
570-
EmitText.parens
571-
[
572-
value ^ " == null ? undefined : "
573-
^ (value
574-
|> apply ~config ~converter:c ~indent ~nameGen ~toJS ~variantTables
575-
);
576-
]
547+
EmitText.parens
548+
[
549+
value ^ " == null ? " ^ value ^ " : "
550+
^ (value
551+
|> apply ~config ~converter:c ~indent ~nameGen ~toJS ~variantTables);
552+
]
577553
| PromiseC c ->
578554
let x = "$promise" |> EmitText.name ~nameGen in
579555
value ^ ".then(function _element("

‎jscomp/gentype/EmitJs.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -626,7 +626,7 @@ let propagateAnnotationToSubTypes ~codeItems (typeMap : CodeItem.exportTypeMap)
626626
retType |> visit
627627
| GroupOfLabeledArgs fields | Object (_, fields) | Record fields ->
628628
fields |> List.iter (fun {type_} -> type_ |> visit)
629-
| Option t | Null t | Nullable t | Promise t | Undefined t -> t |> visit
629+
| Option t | Null t | Nullable t | Promise t -> t |> visit
630630
| Tuple innerTypes -> innerTypes |> List.iter visit
631631
| TypeVar _ -> ()
632632
| Variant {inherits; payloads} ->

‎jscomp/gentype/EmitType.ml

Lines changed: 11 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -140,7 +140,7 @@ let rec renderType ~(config : Config.t) ?(indent = None) ~typeNameIsInterface
140140
"(null | "
141141
^ (type_ |> renderType ~config ~indent ~typeNameIsInterface ~inFunType)
142142
^ ")"
143-
| Nullable type_ | Option type_ ->
143+
| Nullable type_ ->
144144
let useParens x =
145145
match type_ with
146146
| Function _ | Variant _ -> EmitText.parens [x]
@@ -150,6 +150,16 @@ let rec renderType ~(config : Config.t) ?(indent = None) ~typeNameIsInterface
150150
^ useParens
151151
(type_ |> renderType ~config ~indent ~typeNameIsInterface ~inFunType)
152152
^ ")"
153+
| Option type_ ->
154+
let useParens x =
155+
match type_ with
156+
| Function _ | Variant _ -> EmitText.parens [x]
157+
| _ -> x
158+
in
159+
"(undefined | "
160+
^ useParens
161+
(type_ |> renderType ~config ~indent ~typeNameIsInterface ~inFunType)
162+
^ ")"
153163
| Promise type_ ->
154164
"Promise" ^ "<"
155165
^ (type_ |> renderType ~config ~indent ~typeNameIsInterface ~inFunType)
@@ -161,10 +171,6 @@ let rec renderType ~(config : Config.t) ?(indent = None) ~typeNameIsInterface
161171
|> String.concat ", ")
162172
^ "]"
163173
| TypeVar s -> s
164-
| Undefined type_ ->
165-
"(undefined | "
166-
^ (type_ |> renderType ~config ~indent ~typeNameIsInterface ~inFunType)
167-
^ ")"
168174
| Variant {inherits; noPayloads; payloads; polymorphic; unboxed} ->
169175
let inheritsRendered =
170176
inherits

‎jscomp/gentype/GenTypeCommon.ml

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -71,7 +71,6 @@ type type_ =
7171
| Record of fields
7272
| Tuple of type_ list
7373
| TypeVar of string
74-
| Undefined of type_
7574
| Variant of variant
7675

7776
and fields = field list
@@ -122,7 +121,6 @@ let typeIsObject type_ =
122121
| Record _ -> true
123122
| Tuple _ -> true
124123
| TypeVar _ -> false
125-
| Undefined _ -> false
126124
| Variant _ -> false
127125

128126
type label = Nolabel | Label of string | OptLabel of string

‎jscomp/gentype/TranslateTypeExprFromTypes.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -230,7 +230,7 @@ let translateConstr ~config ~paramsTranslation ~(path : Path.t) ~typeEnv =
230230
{paramTranslation with type_ = Option paramTranslation.type_}
231231
| ( (["Js"; "Undefined"; "t"] | ["Undefined"; "t"] | ["Js"; "undefined"]),
232232
[paramTranslation] ) ->
233-
{paramTranslation with type_ = Undefined paramTranslation.type_}
233+
{paramTranslation with type_ = Option paramTranslation.type_}
234234
| (["Js"; "Null"; "t"] | ["Null"; "t"] | ["Js"; "null"]), [paramTranslation]
235235
->
236236
{paramTranslation with type_ = Null paramTranslation.type_}

‎jscomp/gentype/TypeVars.ml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -68,7 +68,6 @@ let rec substitute ~f type0 =
6868
match f s with
6969
| None -> type0
7070
| Some type1 -> type1)
71-
| Undefined type_ -> Undefined (type_ |> substitute ~f)
7271
| Variant variant ->
7372
Variant
7473
{
@@ -96,7 +95,7 @@ let rec free_ type0 : StringSet.t =
9695
|> List.fold_left
9796
(fun s typeArg -> StringSet.union s (typeArg |> free_))
9897
StringSet.empty
99-
| Dict type_ | Null type_ | Nullable type_ | Undefined type_ -> type_ |> free_
98+
| Dict type_ | Null type_ | Nullable type_ -> type_ |> free_
10099
| Option type_ | Promise type_ -> type_ |> free_
101100
| Tuple innerTypes ->
102101
innerTypes

‎jscomp/gentype_tests/typescript-react-example/src/Core.bs.js

Lines changed: 10 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎jscomp/gentype_tests/typescript-react-example/src/Core.gen.tsx

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,17 @@
22
/* eslint-disable import/first */
33

44

5+
const $$toJS552311971: { [key: string]: any } = {"0": "A"};
6+
7+
const $$toRE552311971: { [key: string]: any } = {"A": 0};
8+
59
// @ts-ignore: Implicit any on import
610
import * as CoreBS__Es6Import from './Core.bs';
711
const CoreBS: any = CoreBS__Es6Import;
812

13+
// tslint:disable-next-line:interface-over-type-literal
14+
export type variant = "A" | { tag: "B"; value: string };
15+
916
export const null0: (x:(null | number)) => (null | number) = CoreBS.null0;
1017

1118
export const null1: (x:(null | number)) => (null | number) = CoreBS.null1;
@@ -45,3 +52,14 @@ export const weakmap1: (x:WeakMap<number[],number>) => WeakMap<number[],number>
4552
export const set1: (x:Set<string>) => Set<string> = CoreBS.set1;
4653

4754
export const weakset1: (x:WeakSet<number[]>) => WeakSet<number[]> = CoreBS.weakset1;
55+
56+
export const option0: (x:(undefined | string)) => (undefined | string) = CoreBS.option0;
57+
58+
export const option1: (x:(undefined | variant)) => (undefined | variant) = function (Arg1: any) {
59+
const result = CoreBS.option1((Arg1 == null ? Arg1 : typeof(Arg1) === 'object'
60+
? {TAG: 0, _0:Arg1.value} as any
61+
: $$toRE552311971[Arg1]));
62+
return (result == null ? result : typeof(result) === 'object'
63+
? {tag:"B", value:result._0}
64+
: $$toJS552311971[result])
65+
};

‎jscomp/gentype_tests/typescript-react-example/src/Core.res

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -60,3 +60,11 @@ let set1 = (x: Set.t<string>) => x
6060

6161
@genType
6262
let weakset1 = (x: WeakSet.t<array<int>>) => x
63+
64+
type variant = A | B(string)
65+
66+
@genType
67+
let option0 = (x: option<string>) => x
68+
69+
@genType
70+
let option1 = (x: option<variant>) => x

‎jscomp/gentype_tests/typescript-react-example/src/TestImmutableArray.gen.tsx

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,4 +6,4 @@
66
import * as TestImmutableArrayBS__Es6Import from './TestImmutableArray.bs';
77
const TestImmutableArrayBS: any = TestImmutableArrayBS__Es6Import;
88

9-
export const testImmutableArrayGet: <T1>(arr:ReadonlyArray<T1>) => (null | undefined | T1) = TestImmutableArrayBS.testImmutableArrayGet;
9+
export const testImmutableArrayGet: <T1>(arr:ReadonlyArray<T1>) => (undefined | T1) = TestImmutableArrayBS.testImmutableArrayGet;

‎jscomp/gentype_tests/typescript-react-example/src/TestPromise.gen.tsx

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ export type toPayload = { readonly result: string };
2121

2222
export const convert: (_1:Promise<fromPayload>) => Promise<toPayload> = TestPromiseBS.convert;
2323

24-
export const barx: (_1:{ readonly x?: Promise<(null | undefined | string)> }, _2:void) => boolean = function (Arg1: any, Arg2: any) {
25-
const result = Curry._2(TestPromiseBS.barx, (Arg1.x == null ? undefined : Arg1.x.then(function _element($promise: any) { return ($promise == null ? undefined : $promise)})), Arg2);
24+
export const barx: (_1:{ readonly x?: Promise<(undefined | string)> }, _2:void) => boolean = function (Arg1: any, Arg2: any) {
25+
const result = Curry._2(TestPromiseBS.barx, Arg1.x, Arg2);
2626
return result
2727
};

‎jscomp/gentype_tests/typescript-react-example/src/TransitiveType1.gen.tsx

Lines changed: 2 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -10,12 +10,6 @@ import type {t2Alias as TransitiveType2_t2Alias} from './TransitiveType2.gen';
1010

1111
import type {t2 as TransitiveType2_t2} from './TransitiveType2.gen';
1212

13-
export const convert: (x:TransitiveType2_t2) => TransitiveType2_t2 = function (Arg1: any) {
14-
const result = TransitiveType1BS.convert((Arg1 == null ? undefined : Arg1));
15-
return result
16-
};
13+
export const convert: (x:TransitiveType2_t2) => TransitiveType2_t2 = TransitiveType1BS.convert;
1714

18-
export const convertAlias: (x:TransitiveType2_t2Alias) => TransitiveType2_t2Alias = function (Arg1: any) {
19-
const result = TransitiveType1BS.convertAlias((Arg1 == null ? undefined : Arg1));
20-
return result
21-
};
15+
export const convertAlias: (x:TransitiveType2_t2Alias) => TransitiveType2_t2Alias = TransitiveType1BS.convertAlias;

‎jscomp/gentype_tests/typescript-react-example/src/TransitiveType2.gen.tsx

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
import type {t3 as TransitiveType3_t3} from './TransitiveType3.gen';
66

77
// tslint:disable-next-line:interface-over-type-literal
8-
export type t2 = (null | undefined | TransitiveType3_t3);
8+
export type t2 = (undefined | TransitiveType3_t3);
99

1010
// tslint:disable-next-line:interface-over-type-literal
1111
export type t2Alias = t2;

‎jscomp/gentype_tests/typescript-react-example/src/Variants.gen.tsx

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,7 @@ export const id2: (x:x2) => x2 = function (Arg1: any) {
112112
return $$toJS1061900109[result]
113113
};
114114

115-
export const polyWithOpt: (foo:string) => (null | undefined | (
115+
export const polyWithOpt: (foo:string) => (undefined | (
116116
{ NAME: "One"; VAL: string }
117117
| { NAME: "Two"; VAL: number })) = VariantsBS.polyWithOpt;
118118

‎jscomp/gentype_tests/typescript-react-example/src/nested/Tuples.gen.tsx

Lines changed: 5 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ import * as TuplesBS__Es6Import from './Tuples.bs';
1111
const TuplesBS: any = TuplesBS__Es6Import;
1212

1313
// tslint:disable-next-line:interface-over-type-literal
14-
export type coord = [number, number, (null | undefined | number)];
14+
export type coord = [number, number, (undefined | number)];
1515

1616
// tslint:disable-next-line:interface-over-type-literal
1717
export type coord2 = [number, number, (null | undefined | number)];
@@ -24,21 +24,15 @@ export type couple = [person, person];
2424

2525
export const testTuple: (param:[number, number]) => number = TuplesBS.testTuple;
2626

27-
export const origin: [number, number, (null | undefined | number)] = TuplesBS.origin;
27+
export const origin: [number, number, (undefined | number)] = TuplesBS.origin;
2828

29-
export const computeArea: (param:[number, number, (null | undefined | number)]) => number = function (Arg1: any) {
30-
const result = TuplesBS.computeArea([Arg1[0], Arg1[1], (Arg1[2] == null ? undefined : Arg1[2])]);
31-
return result
32-
};
29+
export const computeArea: (param:[number, number, (undefined | number)]) => number = TuplesBS.computeArea;
3330

34-
export const computeAreaWithIdent: (param:coord) => number = function (Arg1: any) {
35-
const result = TuplesBS.computeAreaWithIdent([Arg1[0], Arg1[1], (Arg1[2] == null ? undefined : Arg1[2])]);
36-
return result
37-
};
31+
export const computeAreaWithIdent: (param:coord) => number = TuplesBS.computeAreaWithIdent;
3832

3933
export const computeAreaNoConverters: (param:[number, number]) => number = TuplesBS.computeAreaNoConverters;
4034

41-
export const coord2d: <T1,T2,T3>(x:T1, y:T2) => [T1, T2, (null | undefined | T3)] = function <T1,T2,T3>(Arg1: any, Arg2: any) {
35+
export const coord2d: <T1,T2,T3>(x:T1, y:T2) => [T1, T2, (undefined | T3)] = function <T1,T2,T3>(Arg1: any, Arg2: any) {
4236
const result = Curry._2(TuplesBS.coord2d, Arg1, Arg2);
4337
return result
4438
};

‎jscomp/gentype_tests/typescript-react-example/src/nested/Types.gen.tsx

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -126,8 +126,8 @@ export const selfRecursiveConverter: (param:selfRecursive) => selfRecursive = Ty
126126

127127
export const mutuallyRecursiveConverter: (param:mutuallyRecursiveA) => mutuallyRecursiveB = TypesBS.mutuallyRecursiveConverter;
128128

129-
export const testFunctionOnOptionsAsArgument: <T1,a>(a:(null | undefined | a), foo:((_1:(null | undefined | a)) => T1)) => T1 = function <T1,a>(Arg1: any, Arg2: any) {
130-
const result = Curry._2(TypesBS.testFunctionOnOptionsAsArgument, (Arg1 == null ? undefined : Arg1), Arg2);
129+
export const testFunctionOnOptionsAsArgument: <T1,a>(a:(undefined | a), foo:((_1:(undefined | a)) => T1)) => T1 = function <T1,a>(Arg1: any, Arg2: any) {
130+
const result = Curry._2(TypesBS.testFunctionOnOptionsAsArgument, Arg1, Arg2);
131131
return result
132132
};
133133

@@ -153,4 +153,4 @@ export const currentTime: Date = TypesBS.currentTime;
153153

154154
export const i64Const: i64B = TypesBS.i64Const;
155155

156-
export const optFunction: (null | undefined | (() => number)) = TypesBS.optFunction;
156+
export const optFunction: (undefined | (() => number)) = TypesBS.optFunction;

0 commit comments

Comments
 (0)