@typespec/compiler 1.1.0-dev.1 → 1.1.0-dev.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/manifest.js +2 -2
- package/dist/src/core/checker.d.ts.map +1 -1
- package/dist/src/core/checker.js +21 -8
- package/dist/src/core/checker.js.map +1 -1
- package/dist/src/core/types.d.ts.map +1 -1
- package/dist/src/core/types.js.map +1 -1
- package/dist/src/core/visibility/core.d.ts +7 -0
- package/dist/src/core/visibility/core.d.ts.map +1 -1
- package/dist/src/core/visibility/core.js +60 -0
- package/dist/src/core/visibility/core.js.map +1 -1
- package/dist/src/lib/visibility.d.ts.map +1 -1
- package/dist/src/lib/visibility.js +1 -52
- package/dist/src/lib/visibility.js.map +1 -1
- package/package.json +1 -1
package/dist/manifest.js
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../../src/core/checker.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AASlD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAY5C,OAAO,EAML,cAAc,EACd,kBAAkB,EA+BlB,mBAAmB,EAWnB,KAAK,EAGL,aAAa,EAOb,IAAI,EAGJ,cAAc,EACd,kBAAkB,EASlB,MAAM,EAMN,WAAW,EACX,QAAQ,EACR,aAAa,EACb,iBAAiB,EAUjB,GAAG,EAaH,IAAI,EAaJ,KAAK,
|
|
1
|
+
{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../../src/core/checker.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AASlD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAY5C,OAAO,EAML,cAAc,EACd,kBAAkB,EA+BlB,mBAAmB,EAWnB,KAAK,EAGL,aAAa,EAOb,IAAI,EAGJ,cAAc,EACd,kBAAkB,EASlB,MAAM,EAMN,WAAW,EACX,QAAQ,EACR,aAAa,EACb,iBAAiB,EAUjB,GAAG,EAaH,IAAI,EAaJ,KAAK,EAGN,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,GAAG,YAAY,GAAG,MAAM,aAAa,CAAC,CAAC;AAE5F,MAAM,WAAW,OAAO;IAGtB;;;OAGG;IACH,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IAgBjC,SAAS,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,eAAe,CAAC,EAAE;SAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAAE,GAAG,CAAC,CAAC;IAKnF,UAAU,CAAC,CAAC,SAAS,IAAI,SAAS,GAAG,GAAG,eAAe,GAAG,KAAK,EAC7D,OAAO,EAAE,CAAC,GACT,CAAC,GAAG,aAAa,GAAG;QAAE,UAAU,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5E,mBAAmB,CAAC,CAAC,SAAS,IAAI,SAAS,GAAG,GAAG,eAAe,GAAG,KAAK,EACtE,OAAO,EAAE,CAAC,GACT,CAAC,GAAG,aAAa,CAAC;IACrB,UAAU,CAAC,CAAC,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;IAC1C,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,iBAAiB,GAAG,aAAa,CAAC;IAC1E,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,kBAAkB,GAAG,cAAc,CAAC;IAC5E,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,kBAAkB,GAAG,cAAc,CAAC;IAC7E,iBAAiB,CACf,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,EAChC,IAAI,CAAC,EAAE,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,GACjE,aAAa,GAAG,cAAc,GAAG,cAAc,CAAC;IACnD,iBAAiB,CACf,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,EAChC,IAAI,CAAC,EAAE,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,GACjE,aAAa,GAAG,cAAc,GAAG,cAAc,CAAC;IAgBnD;;;;OAIG;IACH,SAAS,CACP,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,mBAAmB,GAC5B,IAAI,IAAI,MAAM,GAAG;QAAE,IAAI,EAAE,mBAAmB,CAAA;KAAE,CAAC;IAClD,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,IAAI,IAAI,IAAI,GAAG;QAAE,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC;IAEnF;;;OAGG;IACH,UAAU,CAAC,CAAC,SAAS,MAAM,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAE3D;;;;;;;;OAQG;IACH,iBAAiB,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,GAAG,SAAS,CAAC;CAkCnD;AAED,UAAU,aAAa;CAAG;AAE1B,MAAM,WAAW,sBAAsB;IACrC,GAAG,EAAE,GAAG,CAAC;IAET;;OAEG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf;;OAEG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AASD,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,GAAG,OAAO,CA0qL/E;AAgED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,EACZ,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,KAAK,OAAO,GAC5C,KAAK,CAyEP;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,CAAC,QAAQ,EAAE,aAAa,KAAK,OAAO,GAC3C,KAAK,CAqCP;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,aAAa,GAAG,aAAa,GAAG,SAAS,CAcxF;AAED;;;;;;;GAOG;AACH,wBAAiB,uBAAuB,CAAC,KAAK,EAAE,KAAK,2CAapD;AAYD,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAEpF"}
|
package/dist/src/core/checker.js
CHANGED
|
@@ -233,7 +233,7 @@ export function createChecker(program, resolver) {
|
|
|
233
233
|
}
|
|
234
234
|
return entity;
|
|
235
235
|
}
|
|
236
|
-
function getValueForNode(node, mapper, constraint
|
|
236
|
+
function getValueForNode(node, mapper, constraint) {
|
|
237
237
|
const initial = checkNode(node, mapper, constraint);
|
|
238
238
|
if (initial === null) {
|
|
239
239
|
return null;
|
|
@@ -245,15 +245,23 @@ export function createChecker(program, resolver) {
|
|
|
245
245
|
else {
|
|
246
246
|
entity = initial;
|
|
247
247
|
}
|
|
248
|
-
// if (options.legacyTupleAndModelCast && entity !== null && isType(entity)) {
|
|
249
|
-
// entity = legacy_tryTypeToValueCast(entity, constraint, node);
|
|
250
|
-
// }
|
|
251
248
|
if (entity === null) {
|
|
252
249
|
return null;
|
|
253
250
|
}
|
|
254
251
|
if (isValue(entity)) {
|
|
255
252
|
return constraint ? inferScalarsFromConstraints(entity, constraint.type) : entity;
|
|
256
253
|
}
|
|
254
|
+
// If a template parameter that can be a value is used in a template declaration then we allow it but we return null because we don't have an actual value.
|
|
255
|
+
if (entity.kind === "TemplateParameter" &&
|
|
256
|
+
entity.constraint?.valueType &&
|
|
257
|
+
entity.constraint.type === undefined &&
|
|
258
|
+
mapper === undefined) {
|
|
259
|
+
return createValue({
|
|
260
|
+
entityKind: "Value",
|
|
261
|
+
valueKind: "TemplateValue",
|
|
262
|
+
type: entity.constraint.valueType,
|
|
263
|
+
}, entity.constraint.valueType);
|
|
264
|
+
}
|
|
257
265
|
reportExpectedValue(node, entity);
|
|
258
266
|
return null;
|
|
259
267
|
}
|
|
@@ -3396,7 +3404,7 @@ export function createChecker(program, resolver) {
|
|
|
3396
3404
|
pendingResolutions.start(sym, ResolutionKind.Type);
|
|
3397
3405
|
type.type = getTypeForNode(prop.value, mapper);
|
|
3398
3406
|
if (prop.default) {
|
|
3399
|
-
const defaultValue = checkDefaultValue(prop.default, type.type);
|
|
3407
|
+
const defaultValue = checkDefaultValue(prop.default, type.type, mapper);
|
|
3400
3408
|
if (defaultValue !== null) {
|
|
3401
3409
|
type.defaultValue = defaultValue;
|
|
3402
3410
|
}
|
|
@@ -3427,15 +3435,15 @@ export function createChecker(program, resolver) {
|
|
|
3427
3435
|
],
|
|
3428
3436
|
};
|
|
3429
3437
|
}
|
|
3430
|
-
function checkDefaultValue(defaultNode, type) {
|
|
3438
|
+
function checkDefaultValue(defaultNode, type, mapper) {
|
|
3431
3439
|
if (isErrorType(type)) {
|
|
3432
3440
|
// if the prop type is an error we don't need to validate again.
|
|
3433
3441
|
return null;
|
|
3434
3442
|
}
|
|
3435
|
-
const defaultValue = getValueForNode(defaultNode,
|
|
3443
|
+
const defaultValue = getValueForNode(defaultNode, mapper, {
|
|
3436
3444
|
kind: "assignment",
|
|
3437
3445
|
type,
|
|
3438
|
-
}
|
|
3446
|
+
});
|
|
3439
3447
|
if (defaultValue === null) {
|
|
3440
3448
|
return null;
|
|
3441
3449
|
}
|
|
@@ -3444,6 +3452,11 @@ export function createChecker(program, resolver) {
|
|
|
3444
3452
|
reportCheckerDiagnostics(diagnostics);
|
|
3445
3453
|
return null;
|
|
3446
3454
|
}
|
|
3455
|
+
else if (defaultValue.valueKind === "TemplateValue") {
|
|
3456
|
+
// Right now we don't want to expose `TemplateValue` in the type graph.
|
|
3457
|
+
// And as interating with the template declaration is not a supported feature we can just drop it.
|
|
3458
|
+
return null;
|
|
3459
|
+
}
|
|
3447
3460
|
else {
|
|
3448
3461
|
return { ...defaultValue, type };
|
|
3449
3462
|
}
|