`TS8027`

Front-end code MAT_UNSUPPORTED

A non-square matCxR<f64>: the fp64 pass carries one df64 body per dimension (DF64MatN, matmul, matvec, transpose), so only a square matrix of doubles lowers.

The registry text and every compiler message on these pages are the compiler's own English.

When it fires

A non-square matCxR<f64>: the fp64 pass carries one df64 body per dimension (DF64MatN, matmul, matvec, transpose), so only a square matrix of doubles lowers. Every matCxR<f32> is a type, so this no longer marks mat2/mat3.

Example

"use typeshade"

class Uniforms {
  m: mat3x2<f64>
}

declare const u: uniform<Uniforms>

@fragment
export function main(@location(0) uv: vec2): vec4 {
  return vec4(uv, 0., 1.)
}

Compiled at build time against the pinned compiler, this program gets:

TS8027 error, line 4: mat3x2<f64> has no emulated-double form: the fp64 pass carries a square matrix of doubles only (mat2, mat3, mat4). Declare it mat3x2 and narrow, or use a square shape.

How to fix it

The same program, corrected. It compiles with no diagnostic.

"use typeshade"

class Uniforms {
  m: mat3<f64>
}

declare const u: uniform<Uniforms>

@fragment
export function main(@location(0) uv: vec2): vec4 {
  return vec4(uv, 0., 1.)
}

The rule this enforces

Rule 4.8 Test: Every matCxR with C and R in 2, 3, 4 must be a type, and a square one must also answer to matN.

Source

Where the compiler raises this code at commit 26de7be8, one line per file:

src/compiler/ts/type-map.ts:1180

Edit this page Report a problem

TS8027