walt-compiler

# Snapshot report for `src/validation/__tests__/validation-spec.js` The actual snapshot is saved in `validation-spec.js.snap`. Generated by [AVA](https://ava.li). ## access on undefined objects > Snapshot 1 Error { message: `Cannot generate WebAssembly for spec.walt. 1 problems.␊ ␊ ␊ obj.y = 5;␊ ^ Cannot assign "5". Key is "unreachable"␊ Cannot generate property access␊ at test() (spec.walt:3:12)␊ `, } ## ast must have metadata attached > Snapshot 1 Error { message: 'Missing AST metadata!', } ## const cannot be re-asigned > Snapshot 1 Error { message: `Cannot generate WebAssembly for spec.walt. 2 problems.␊ ␊ ␊ x = 1;␊ const variables cannot be reassigned, use let instead.␊ Cannot reassign a const variable x␊ at test() (spec.walt:4:12)␊ ␊ ␊ y += 1;␊ const variables cannot be reassigned, use let instead.␊ Cannot reassign a const variable y␊ at test() (spec.walt:6:13)␊ `, } ## constants must be initialized > Snapshot 1 Error { offset: 13, token: { col: 22, line: 2, lineBreaks: 0, offset: 22, text: '+', toString: Function tokenToString {}, type: 'punctuator', value: '+', }, message: `undefined at line 2 col 22:␊ ␊ const g: i32 = 2 +␊ ^␊ Unexpected punctuator token: "+"␊ `, } ## functions must be defined > Snapshot 1 Error { message: `Cannot generate WebAssembly for spec.walt. 4 problems.␊ ␊ ␊ const ptr: Type = 0;␊ Variables must be assigned with a known type.␊ Unknown type used in a declartion, "Type"␊ at test() (spec.walt:3:27)␊ ␊ ␊ ptr();␊ ^ ptr has type Type which is not defined. Indirect calls must have pre-defined types.␊ Cannot make an indirect call without a valid function type␊ at test() (spec.walt:4:12)␊ ␊ ␊ return notDefined();␊ ^^^^^^^^ notDefined is not defined.␊ Undefined function reference␊ at test() (spec.walt:5:26)␊ ␊ ␊ return notDefined();␊ ^^^^^^^ Inconsistent return value. Expected i32 received null␊ Missing return value␊ at test() (spec.walt:5:27)␊ `, } ## functions must have consistent returns > Snapshot 1 Error { message: `Cannot generate WebAssembly for spec.walt. 2 problems.␊ ␊ ␊ return;␊ Inconsistent return value. Expected i32 received null␊ Missing return value␊ at i32void() (spec.walt:3:14)␊ ␊ ␊ return x;␊ Inconsistent return value. Expected i32 received i64␊ Missing return value␊ at i32i64() (spec.walt:7:16)␊ `, } ## global exports must have value > Snapshot 1 Error { offset: 8, token: { col: 20, line: 1, lineBreaks: 0, offset: 19, text: ';', toString: Function tokenToString {}, type: 'punctuator', value: ';', }, message: `undefined at line 1 col 20:␊ ␊ export const x: i32;␊ ^␊ Unexpected punctuator token: ";"␊ `, } ## invalid sucbscript target > Snapshot 1 Error { message: `Cannot generate WebAssembly for spec.walt. 1 problems.␊ ␊ ␊ v += a[i];␊ Expected array type for a, received i32␊ Invalid subscript target␊ at fn() (spec.walt:11:12)␊ `, } ## typos throw > Snapshot 1 Error { offset: 0, token: { col: 1, line: 1, lineBreaks: 0, offset: 0, text: 'expost', toString: Function tokenToString {}, type: 'identifier', value: 'expost', }, message: `undefined at line 1 col 1:␊ ␊ expost␊ ^␊ Unexpected identifier token: "expost"␊ `, } ## undefined object properties > Snapshot 1 Error { message: `Cannot generate WebAssembly for spec.walt. 3 problems.␊ ␊ ␊ y = obj.y;␊ ^ Cannot assign "unreachable". Key is "unreachable"␊ Cannot generate property access␊ at test() (spec.walt:6:16)␊ ␊ ␊ obj = { y: 5 };␊ ^ Cannot assign "5". Key is "unreachable"␊ Cannot generate property access␊ at test() (spec.walt:7:16)␊ ␊ ␊ obj.y = 5;␊ ^ Cannot assign "5". Key is "unreachable"␊ Cannot generate property access␊ at test() (spec.walt:8:12)␊ `, } ## undefined types throw > Snapshot 1 Error { message: `Cannot generate WebAssembly for spec.walt. 1 problems.␊ ␊ ␊ import { foo: Type } from 'env';␊ ^^^^ Invalid Import. Type type does not exist␊ Undefined Type Type␊ at global (spec.walt:1:19)␊ `, } ## unknown user types at global scope, error > Snapshot 1 Error { message: `Cannot generate WebAssembly for spec.walt. 2 problems.␊ ␊ ␊ let t: unknown = 0;␊ Variables must be assigned with a known type.␊ Unknown type used in a declaration, "unknown"␊ at global (spec.walt:2:24)␊ ␊ ␊ let k: unknown = 0;␊ Variables must be assigned with a known type.␊ Unknown type used in a declartion, "unknown"␊ at foo() (spec.walt:4:26)␊ `, } ## unterminated assignment statements > Snapshot 1 Error { offset: 44, token: { col: 7, line: 6, lineBreaks: 0, offset: 85, text: 'y', toString: Function tokenToString {}, type: 'identifier', value: 'y', }, message: `undefined at line 6 col 7:␊ ␊ y␊ ^␊ Unexpected identifier token: "y"␊ `, } ## unterminated declaration statements > Snapshot 1 Error { offset: 23, token: { col: 7, line: 4, lineBreaks: 0, offset: 52, text: 'x', toString: Function tokenToString {}, type: 'identifier', value: 'x', }, message: `undefined at line 4 col 7:␊ ␊ x␊ ^␊ Unexpected identifier token: "x"␊ `, } ## untyped imports need to be compiled out via a linker/build step > Snapshot 1 Error { message: `Cannot generate WebAssembly for spec.walt. 1 problems.␊ ␊ ␊ foo␊ ^^^ Looks like you'd like to infer a type, but it was never provided by a linker. Non-concrete types cannot be compiled.␊ Infered type not supplied.␊ at global (spec.walt:3:10)␊ `, }