| // Copyright 2015 The Vanadium Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file. |
| |
| package compile_test |
| |
| import ( |
| "fmt" |
| "strings" |
| "testing" |
| |
| "v.io/v23/vdl" |
| "v.io/x/ref/lib/vdl/build" |
| "v.io/x/ref/lib/vdl/compile" |
| "v.io/x/ref/lib/vdl/internal/vdltestutil" |
| ) |
| |
| func testConstPackage(t *testing.T, name string, tpkg constPkg, env *compile.Env) *compile.Package { |
| // Compile the package with a single file, and adding the "package foo" |
| // prefix to the source data automatically. |
| files := map[string]string{ |
| tpkg.Name + ".vdl": "package " + tpkg.Name + "\n" + tpkg.Data, |
| } |
| pkgPath := "p.kg/" + tpkg.Name // use dots in pkgpath to test tricky cases |
| buildPkg := vdltestutil.FakeBuildPackage(tpkg.Name, pkgPath, files) |
| pkg := build.BuildPackage(buildPkg, env) |
| vdltestutil.ExpectResult(t, env.Errors, name, tpkg.ErrRE) |
| if pkg == nil || tpkg.ErrRE != "" { |
| return nil |
| } |
| matchConstRes(t, name, tpkg, pkg.Files[0].ConstDefs) |
| return pkg |
| } |
| |
| func matchConstRes(t *testing.T, tname string, tpkg constPkg, cdefs []*compile.ConstDef) { |
| if tpkg.ExpectRes == nil { |
| return |
| } |
| // Look for a ConstDef called "Res" to compare our expected results. |
| for _, cdef := range cdefs { |
| if cdef.Name == "Res" { |
| if got, want := cdef.Value, tpkg.ExpectRes; !vdl.EqualValue(got, want) { |
| t.Errorf("%s value got %s, want %s", tname, got, want) |
| } |
| return |
| } |
| } |
| t.Errorf("%s couldn't find Res in package %s", tname, tpkg.Name) |
| } |
| |
| func testConfigFile(t *testing.T, name string, tpkg constPkg, env *compile.Env) { |
| // Take advantage of the fact that vdl files and config files have very |
| // similar syntax. Just prefix the data with "config Res\n" rather than |
| // "package a\n" and we have a valid config file. |
| fname := tpkg.Name + ".config" |
| data := "config = Res\n" + tpkg.Data |
| config := build.BuildConfig(fname, strings.NewReader(data), nil, nil, env) |
| vdltestutil.ExpectResult(t, env.Errors, name, tpkg.ErrRE) |
| if config == nil || tpkg.ErrRE != "" { |
| return |
| } |
| if got, want := config, tpkg.ExpectRes; !vdl.EqualValue(got, want) { |
| t.Errorf("%s value got %s, want %s", name, got, want) |
| } |
| } |
| |
| func TestConst(t *testing.T) { |
| for _, test := range constTests { |
| env := compile.NewEnv(-1) |
| for _, tpkg := range test.Pkgs { |
| testConstPackage(t, test.Name, tpkg, env) |
| } |
| } |
| } |
| |
| func TestConfig(t *testing.T) { |
| for _, test := range constTests { |
| env := compile.NewEnv(-1) |
| // Compile all but the last tpkg as regular packages. |
| for _, tpkg := range test.Pkgs[:len(test.Pkgs)-1] { |
| testConstPackage(t, test.Name, tpkg, env) |
| } |
| // Compile the last tpkg as a regular package to see if it defines anything |
| // other than consts. |
| last := test.Pkgs[len(test.Pkgs)-1] |
| pkg := testConstPackage(t, test.Name, last, env) |
| if pkg == nil || |
| len(pkg.Files[0].ErrorDefs) > 0 || |
| len(pkg.Files[0].TypeDefs) > 0 || |
| len(pkg.Files[0].Interfaces) > 0 { |
| continue // has non-const stuff, can't be a valid config file |
| } |
| // Finally compile the config file. |
| testConfigFile(t, test.Name, last, env) |
| } |
| } |
| |
| func makeIntList(vals ...int64) *vdl.Value { |
| listv := vdl.ZeroValue(vdl.ListType(vdl.Int64Type)) |
| listv.AssignLen(len(vals)) |
| for index, v := range vals { |
| listv.Index(index).AssignInt(v) |
| } |
| return listv |
| } |
| |
| func makeIntArray(name string, vals ...int64) *vdl.Value { |
| arrayv := vdl.ZeroValue(vdl.NamedType(name, vdl.ArrayType(len(vals), vdl.Int64Type))) |
| for index, v := range vals { |
| arrayv.Index(index).AssignInt(v) |
| } |
| return arrayv |
| } |
| |
| func makeByteList(vals ...byte) *vdl.Value { |
| listv := vdl.ZeroValue(vdl.ListType(vdl.ByteType)) |
| listv.AssignLen(len(vals)) |
| for index, v := range vals { |
| listv.Index(index).AssignUint(uint64(v)) |
| } |
| return listv |
| } |
| |
| func makeByteArray(name string, vals ...byte) *vdl.Value { |
| arrayv := vdl.ZeroValue(vdl.NamedType(name, vdl.ArrayType(len(vals), vdl.ByteType))) |
| for index, v := range vals { |
| arrayv.Index(index).AssignUint(uint64(v)) |
| } |
| return arrayv |
| } |
| |
| func makeStringSet(keys ...string) *vdl.Value { |
| setv := vdl.ZeroValue(vdl.SetType(vdl.StringType)) |
| for _, k := range keys { |
| setv.AssignSetKey(vdl.StringValue(nil, k)) |
| } |
| return setv |
| } |
| |
| func makeStringIntMap(m map[string]int64) *vdl.Value { |
| mapv := vdl.ZeroValue(vdl.MapType(vdl.StringType, vdl.Int64Type)) |
| for k, v := range m { |
| mapv.AssignMapIndex(vdl.StringValue(nil, k), vdl.IntValue(vdl.Int64Type, v)) |
| } |
| return mapv |
| } |
| |
| func makeStructType(name string) *vdl.Type { |
| return vdl.NamedType(name, vdl.StructType([]vdl.Field{ |
| {"X", vdl.Int64Type}, {"Y", vdl.StringType}, {"Z", vdl.BoolType}, |
| }...)) |
| } |
| |
| func makeStruct(name string, x int64, y string, z bool) *vdl.Value { |
| structv := vdl.ZeroValue(makeStructType(name)) |
| structv.StructField(0).AssignInt(x) |
| structv.StructField(1).AssignString(y) |
| structv.StructField(2).AssignBool(z) |
| return structv |
| } |
| |
| func makeUnionType(name string) *vdl.Type { |
| return vdl.NamedType(name, vdl.UnionType([]vdl.Field{ |
| {"X", vdl.Int64Type}, {"Y", vdl.StringType}, {"Z", vdl.BoolType}, |
| }...)) |
| } |
| |
| func makeUnion(name string, val interface{}) *vdl.Value { |
| unionv := vdl.ZeroValue(makeUnionType(name)) |
| switch tval := val.(type) { |
| case int64: |
| unionv.AssignField(0, vdl.IntValue(vdl.Int64Type, tval)) |
| case string: |
| unionv.AssignField(1, vdl.StringValue(nil, tval)) |
| case bool: |
| unionv.AssignField(2, vdl.BoolValue(nil, tval)) |
| default: |
| panic(fmt.Errorf("makeUnion unhandled %T %v", val, val)) |
| } |
| return unionv |
| } |
| |
| func makeStructTypeObjectType(name string) *vdl.Type { |
| return vdl.NamedType(name, vdl.StructType(vdl.Field{ |
| Name: "T", |
| Type: vdl.TypeObjectType, |
| })) |
| } |
| |
| func makeStructTypeObject(name string, t *vdl.Type) *vdl.Value { |
| structv := vdl.ZeroValue(makeStructTypeObjectType(name)) |
| structv.StructField(0).AssignTypeObject(t) |
| return structv |
| } |
| |
| func makeABStruct() *vdl.Value { |
| tA := vdl.NamedType("p.kg/a.A", vdl.StructType([]vdl.Field{ |
| {"X", vdl.Int64Type}, {"Y", vdl.StringType}, |
| }...)) |
| tB := vdl.NamedType("p.kg/a.B", vdl.StructType(vdl.Field{ |
| Name: "Z", |
| Type: vdl.ListType(tA), |
| })) |
| res := vdl.ZeroValue(tB) |
| listv := res.StructField(0) |
| listv.AssignLen(2) |
| listv.Index(0).StructField(0).AssignInt(1) |
| listv.Index(0).StructField(1).AssignString("a") |
| listv.Index(1).StructField(0).AssignInt(2) |
| listv.Index(1).StructField(1).AssignString("b") |
| return res |
| } |
| |
| func makeEnumXYZ(name, label string) *vdl.Value { |
| t := vdl.NamedType(name, vdl.EnumType("X", "Y", "Z")) |
| e := vdl.ZeroValue(t) |
| e.AssignEnumLabel(label) |
| return e |
| } |
| |
| func makeInnerEnum(label string) *vdl.Value { |
| tA := vdl.NamedType("p.kg/a.A", vdl.EnumType("X", "Y", "Z")) |
| tB := vdl.NamedType("p.kg/a.B", vdl.StructType(vdl.Field{ |
| Name: "A", |
| Type: tA, |
| })) |
| res := vdl.ZeroValue(tB) |
| res.StructField(0).AssignEnumLabel(label) |
| return res |
| } |
| |
| func makeCyclicStructType() *vdl.Type { |
| // type A struct {X string;Z ?A} |
| var builder vdl.TypeBuilder |
| a := builder.Struct().AppendField("X", vdl.StringType) |
| n := builder.Named("p.kg/a.A").AssignBase(a) |
| a.AppendField("Z", builder.Optional().AssignElem(n)) |
| builder.Build() |
| ty, err := n.Built() |
| if err != nil { |
| panic(fmt.Errorf("Builder failed: %v", err)) |
| } |
| return ty |
| } |
| |
| func makeCyclicStruct(x string, z *vdl.Value) *vdl.Value { |
| ty := makeCyclicStructType() |
| ret := vdl.ZeroValue(ty) |
| ret.StructField(0).AssignString(x) |
| if z != nil { |
| ret.StructField(1).Assign(vdl.OptionalValue(z)) |
| } |
| return ret |
| } |
| |
| type constPkg struct { |
| Name string |
| Data string |
| ExpectRes *vdl.Value |
| ErrRE string |
| } |
| |
| type cp []constPkg |
| |
| var constTests = []struct { |
| Name string |
| Pkgs cp |
| }{ |
| // Test literals. |
| { |
| "UntypedBool", |
| cp{{"a", `const Res = true`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "UntypedString", |
| cp{{"a", `const Res = "abc"`, vdl.StringValue(nil, "abc"), ""}}}, |
| { |
| "UntypedInteger", |
| cp{{"a", `const Res = 123`, nil, |
| `invalid const \(123 must be assigned a type\)`}}}, |
| { |
| "UntypedFloat", |
| cp{{"a", `const Res = 1.5`, nil, |
| `invalid const \(1\.5 must be assigned a type\)`}}}, |
| |
| // Test list literals. |
| { |
| "IntList", |
| cp{{"a", `const Res = []int64{0,1,2}`, makeIntList(0, 1, 2), ""}}}, |
| { |
| "IntListKeys", |
| cp{{"a", `const Res = []int64{1:1, 2:2, 0:0}`, makeIntList(0, 1, 2), ""}}}, |
| { |
| "IntListMixedKey", |
| cp{{"a", `const Res = []int64{1:1, 2, 0:0}`, makeIntList(0, 1, 2), ""}}}, |
| { |
| "IntListDupKey", |
| cp{{"a", `const Res = []int64{2:2, 1:1, 0}`, nil, "duplicate index 2"}}}, |
| { |
| "IntListInvalidIndex", |
| cp{{"a", `const Res = []int64{"a":2, 1:1, 2:2}`, nil, `can't convert "a" to uint64`}}}, |
| { |
| "IntListInvalidValue", |
| cp{{"a", `const Res = []int64{0,1,"c"}`, nil, "invalid list value"}}}, |
| { |
| "IndexingNamedList", |
| cp{{"a", `const A = []int64{3,4,2}; const Res=A[1]`, vdl.IntValue(vdl.Int64Type, 4), ""}}}, |
| { |
| "IndexingUnnamedList", |
| cp{{"a", `const Res = []int64{3,4,2}[1]`, nil, "cannot apply index operator to unnamed constant"}}}, |
| { |
| "TypedListIndexing", |
| cp{{"a", `const A = []int64{3,4,2}; const Res = A[int16(1)]`, vdl.IntValue(vdl.Int64Type, 4), ""}}}, |
| { |
| "NegativeListIndexing", |
| cp{{"a", `const A = []int64{3,4,2}; const Res = A[-1]`, nil, `\(const -1 overflows uint64\)`}}}, |
| { |
| "OutOfRangeListIndexing", |
| cp{{"a", `const A = []int64{3,4,2}; const Res = A[10]`, nil, "index 10 out of range"}}}, |
| { |
| "InvalidIndexType", |
| cp{{"a", `const A = []int64{3,4,2}; const Res = A["ok"]`, nil, "invalid list index"}}}, |
| { |
| "InvalidIndexBaseType", |
| cp{{"a", `type A struct{}; const B = A{}; const Res = B["ok"]`, nil, "illegal use of index operator with unsupported type"}}}, |
| |
| // Test array literals. |
| { |
| "IntArray", |
| cp{{"a", `type T [3]int64; const Res = T{0,1,2}`, makeIntArray("p.kg/a.T", 0, 1, 2), ""}}}, |
| { |
| "IntArrayShorterInit", |
| cp{{"a", `type T [3]int64; const Res = T{0,1}`, makeIntArray("p.kg/a.T", 0, 1, 0), ""}}}, |
| { |
| "IntArrayLongerInit", |
| cp{{"a", `type T [3]int64; const Res = T{0,1,2,3}`, nil, "index 3 out of range"}}}, |
| { |
| "IntArrayKeys", |
| cp{{"a", `type T [3]int64; const Res = T{1:1, 2:2, 0:0}`, makeIntArray("p.kg/a.T", 0, 1, 2), ""}}}, |
| { |
| "IntArrayMixedKey", |
| cp{{"a", `type T [3]int64; const Res = T{1:1, 2, 0:0}`, makeIntArray("p.kg/a.T", 0, 1, 2), ""}}}, |
| { |
| "IntArrayDupKey", |
| cp{{"a", `type T [3]int64; const Res = T{2:2, 1:1, 0}`, nil, "duplicate index 2"}}}, |
| { |
| "IntArrayInvalidIndex", |
| cp{{"a", `type T [3]int64; const Res = T{"a":2, 1:1, 2:2}`, nil, `can't convert "a" to uint64`}}}, |
| { |
| "IntArrayInvalidValue", |
| cp{{"a", `type T [3]int64; const Res = T{0,1,"c"}`, nil, "invalid array value"}}}, |
| { |
| "IndexingNamedList", |
| cp{{"a", `type T [3]int64; const A = T{3,4,2}; const Res=A[1]`, vdl.IntValue(vdl.Int64Type, 4), ""}}}, |
| { |
| "IndexingUnnamedArray", |
| cp{{"a", `type T [3]int64; const Res = T{3,4,2}[1]`, nil, "cannot apply index operator to unnamed constant"}}}, |
| { |
| "TypedArrayIndexing", |
| cp{{"a", `type T [3]int64; const A = T{3,4,2}; const Res = A[int16(1)]`, vdl.IntValue(vdl.Int64Type, 4), ""}}}, |
| { |
| "NegativeArrayIndexing", |
| cp{{"a", `type T [3]int64; const A = T{3,4,2}; const Res = A[-1]`, nil, `\(const -1 overflows uint64\)`}}}, |
| { |
| "OutOfRangeArrayIndexing", |
| cp{{"a", `type T [3]int64; const A = T{3,4,2}; const Res = A[10]`, nil, "index 10 out of range"}}}, |
| { |
| "InvalidIndexType", |
| cp{{"a", `type T [3]int64; const A = T{3,4,2}; const Res = A["ok"]`, nil, "invalid array index"}}}, |
| |
| // Test byte list literals. |
| { |
| "ByteList", |
| cp{{"a", `const Res = []byte{0,1,2}`, makeByteList(0, 1, 2), ""}}}, |
| |
| // Test byte array literals. |
| { |
| "ByteArray", |
| cp{{"a", `type T [3]byte; const Res = T{0,1,2}`, makeByteArray("p.kg/a.T", 0, 1, 2), ""}}}, |
| { |
| "ByteArrayShorterInit", |
| cp{{"a", `type T [3]byte; const Res = T{0,1}`, makeByteArray("p.kg/a.T", 0, 1, 0), ""}}}, |
| { |
| "ByteArrayLongerInit", |
| cp{{"a", `type T [3]byte; const Res = T{0,1,2,3}`, nil, "index 3 out of range"}}}, |
| |
| // Test set literals. |
| { |
| "StringSet", |
| cp{{"a", `const Res = set[string]{"a","b","c"}`, makeStringSet("a", "b", "c"), ""}}}, |
| { |
| "StringSetInvalidIndex", |
| cp{{"a", `const Res = set[string]{"a","b","c":3}`, nil, "invalid index"}}}, |
| { |
| "StringSetDupKey", |
| cp{{"a", `const Res = set[string]{"a","b","b"}`, nil, "duplicate key"}}}, |
| { |
| "StringSetInvalidKey", |
| cp{{"a", `const Res = set[string]{"a","b",3}`, nil, "invalid set key"}}}, |
| |
| // Test map literals. |
| { |
| "StringIntMap", |
| cp{{"a", `const Res = map[string]int64{"a":1, "b":2, "c":3}`, makeStringIntMap(map[string]int64{"a": 1, "b": 2, "c": 3}), ""}}}, |
| { |
| "StringIntMapNoKey", |
| cp{{"a", `const Res = map[string]int64{"a":1, "b":2, 3}`, nil, "missing key"}}}, |
| { |
| "StringIntMapDupKey", |
| cp{{"a", `const Res = map[string]int64{"a":1, "b":2, "a":3}`, nil, "duplicate key"}}}, |
| { |
| "StringIntMapInvalidKey", |
| cp{{"a", `const Res = map[string]int64{"a":1, "b":2, 3:3}`, nil, "invalid map key"}}}, |
| { |
| "StringIntMapInvalidValue", |
| cp{{"a", `const Res = map[string]int64{"a":1, "b":2, "c":"c"}`, nil, "invalid map value"}}}, |
| { |
| "MapIndexing", |
| cp{{"a", `const A = map[int64]int64{1:4}; const Res=A[1]`, vdl.IntValue(vdl.Int64Type, 4), ""}}}, |
| { |
| "MapUnnamedIndexing", |
| cp{{"a", `const Res = map[int64]int64{1:4}[1]`, nil, "cannot apply index operator to unnamed constant"}}}, |
| { |
| "MapTypedIndexing", |
| cp{{"a", `const A = map[int64]int64{1:4}; const Res = A[int64(1)]`, vdl.IntValue(vdl.Int64Type, 4), ""}}}, |
| { |
| "MapIncorrectlyTypedIndexing", |
| cp{{"a", `const A = map[int64]int64{1:4};const Res = A[int16(1)]`, nil, `invalid map key \(int64 not assignable from int16\(1\)\)`}}}, |
| { |
| "MapIndexingMissingValue", |
| cp{{"a", `const A = map[int64]int64{1:4}; const Res = A[0]`, nil, `map key int64\(0\) not found in map`}}}, |
| |
| // Test struct literals. |
| { |
| "StructNoKeys", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = A{1,"b",true}`, makeStruct("p.kg/a.A", 1, "b", true), ""}}}, |
| { |
| "StructKeys", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = A{X:1,Y:"b",Z:true}`, makeStruct("p.kg/a.A", 1, "b", true), ""}}}, |
| { |
| "StructKeysShort", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = A{Y:"b"}`, makeStruct("p.kg/a.A", 0, "b", false), ""}}}, |
| { |
| "StructMixedKeys", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = A{X:1,"b",Z:true}`, nil, "mixed key:value and value"}}}, |
| { |
| "StructInvalidFieldName", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = A{1+1:1}`, nil, `invalid field name`}}}, |
| { |
| "StructUnknownFieldName", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = A{ZZZ:1}`, nil, `unknown field "ZZZ"`}}}, |
| { |
| "StructDupFieldName", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = A{X:1,X:2}`, nil, `duplicate field "X"`}}}, |
| { |
| "StructTooManyFields", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = A{1,"b",true,4}`, nil, `too many fields`}}}, |
| { |
| "StructTooFewFields", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = A{1,"b"}`, nil, `too few fields`}}}, |
| { |
| "StructInvalidField", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = A{Y:1}`, nil, "invalid struct field"}}}, |
| { |
| "ImplicitSubTypes", |
| cp{{"a", `type A struct{X int64;Y string}; type B struct{Z []A}; const Res = B{{{1, "a"}, A{X:2,Y:"b"}}}`, makeABStruct(), ""}}}, |
| { |
| "StructSelector", |
| cp{{"a", `type A struct{X int64;Y string}; const x = A{2,"b"}; const Res = x.Y`, vdl.StringValue(nil, "b"), ""}}}, |
| { |
| "StructMultipleSelector", |
| cp{{"a", `type A struct{X int64;Y B}; type B struct{Z bool}; const x = A{2,B{true}}; const Res = x.Y.Z`, vdl.BoolValue(nil, true), ""}}}, |
| |
| { |
| "InvalidStructSelectorName", |
| cp{{"a", `type A struct{X int64;Y string}; const x = A{2,"b"}; const Res = x.Z`, nil, "invalid field name"}}}, |
| { |
| "StructSelectorOnNonStructType", |
| cp{{"a", `type A []int32; const x = A{2}; const Res = x.Z`, nil, "invalid selector on const of kind: list"}}}, |
| { |
| "SelectorOnUnnamedStruct", |
| cp{{"a", `type A struct{X int64;Y string}; const Res = A{2,"b"}.Y`, nil, "cannot apply selector operator to unnamed constant"}}}, |
| |
| // Test union literals. |
| { |
| "UnionX", |
| cp{{"a", `type A union{X int64;Y string;Z bool}; const Res = A{X: 123}`, makeUnion("p.kg/a.A", int64(123)), ""}}}, |
| { |
| "UnionY", |
| cp{{"a", `type A union{X int64;Y string;Z bool}; const Res = A{Y: "abc"}`, makeUnion("p.kg/a.A", "abc"), ""}}}, |
| { |
| "UnionZ", |
| cp{{"a", `type A union{X int64;Y string;Z bool}; const Res = A{Z: true}`, makeUnion("p.kg/a.A", true), ""}}}, |
| { |
| "UnionEmpty", |
| cp{{"a", `type A union{X int64;Y string;Z bool}; const Res = A{}`, makeUnion("p.kg/a.A", int64(0)), ""}}}, |
| { |
| "UnionInvalidFieldName", |
| cp{{"a", `type A union{X int64;Y string;Z bool}; const Res = A{1+1: true}`, nil, `invalid field name`}}}, |
| { |
| "UnionUnknownFieldName", |
| cp{{"a", `type A union{X int64;Y string;Z bool}; const Res = A{ZZZ: true}`, nil, `unknown field "ZZZ"`}}}, |
| { |
| "UnionTooManyFields", |
| cp{{"a", `type A union{X int64;Y string;Z bool}; const Res = A{X: 123, Y: "abc"}`, nil, `must have a single entry`}}}, |
| { |
| "UnionInvalidField", |
| cp{{"a", `type A union{X int64;Y string;Z bool}; const Res = A{Y: 1}`, nil, `invalid union field`}}}, |
| { |
| "UnionNoValue", |
| cp{{"a", `type A union{X int64;Y string;Z bool}; const Res = A{Y}`, nil, `must have explicit key and value`}}}, |
| |
| // Test optional and nil. |
| { |
| "OptionalNil", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = ?A(nil)`, vdl.ZeroValue(vdl.OptionalType(makeStructType("p.kg/a.A"))), ""}}}, |
| { |
| "Optional", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = ?A{1,"b",true}`, vdl.OptionalValue(makeStruct("p.kg/a.A", 1, "b", true)), ""}}}, |
| { |
| "OptionalCyclicNil", |
| cp{{"a", `type A struct{X string;Z ?A}; const Res = A{"a",nil}`, makeCyclicStruct("a", nil), ""}}}, |
| { |
| "OptionalCyclic", |
| cp{{"a", `type A struct{X string;Z ?A}; const Res = A{"a",{"b",{"c",nil}}}`, makeCyclicStruct("a", makeCyclicStruct("b", makeCyclicStruct("c", nil))), ""}}}, |
| { |
| "OptionalCyclicExplicitType", |
| cp{{"a", `type A struct{X string;Z ?A}; const Res = A{"a",?A{"b",?A{"c",nil}}}`, makeCyclicStruct("a", makeCyclicStruct("b", makeCyclicStruct("c", nil))), ""}}}, |
| { |
| "OptionalCyclicExplicitTypeAssignable", |
| cp{{"a", `type A struct{X string;Z ?A}; const Res = A{"a",A{}}`, makeCyclicStruct("a", makeCyclicStruct("", nil)), ""}}}, |
| { |
| "OptionalCyclicTypeMismatch", |
| cp{{"a", `type A struct{X string;Z ?A}; const Res = A{"a","b"}`, nil, `can't convert "b" to \?p.kg/a.A`}}}, |
| |
| // Test enums. |
| { |
| "Enum", |
| cp{{"a", `type A enum{X;Y;Z}; const Res = A.X`, makeEnumXYZ("p.kg/a.A", "X"), ""}}}, |
| { |
| "EnumNoLabel", |
| cp{{"a", `type A enum{X;Y;Z}; const Res = A`, nil, "A is a type"}}}, |
| { |
| "InnerEnumExplicit", |
| cp{{"a", `type A enum{X;Y;Z}; type B struct{A A}; const Res = B{A: A.Y}`, makeInnerEnum("Y"), ""}}}, |
| { |
| "InnerEnumImplicit", |
| cp{{"a", `type A enum{X;Y;Z}; type B struct{A A}; const Res = B{A: Z}`, makeInnerEnum("Z"), ""}}}, |
| |
| // Test explicit primitive type conversions. |
| { |
| "TypedBool", |
| cp{{"a", `const Res = bool(false)`, vdl.BoolValue(nil, false), ""}}}, |
| { |
| "TypedString", |
| cp{{"a", `const Res = string("abc")`, vdl.StringValue(nil, "abc"), ""}}}, |
| { |
| "TypedInt32", |
| cp{{"a", `const Res = int32(123)`, vdl.IntValue(vdl.Int32Type, 123), ""}}}, |
| { |
| "TypedFloat32", |
| cp{{"a", `const Res = float32(1.5)`, vdl.FloatValue(vdl.Float32Type, 1.5), ""}}}, |
| { |
| "TypedBoolMismatch", |
| cp{{"a", `const Res = bool(1)`, nil, |
| "can't convert 1 to bool"}}}, |
| { |
| "TypedStringMismatch", |
| cp{{"a", `const Res = string(1)`, nil, |
| "can't convert 1 to string"}}}, |
| { |
| "TypedInt32Mismatch", |
| cp{{"a", `const Res = int32(true)`, nil, |
| `can't convert true to int32`}}}, |
| { |
| "TypedFloat32Mismatch", |
| cp{{"a", `const Res = float32(true)`, nil, |
| `can't convert true to float32`}}}, |
| |
| // Test explicit user type conversions. |
| { |
| "TypedUserBool", |
| cp{{"a", `type TypedBool bool;const Res = TypedBool(true)`, vdl.BoolValue(vdl.NamedType("p.kg/a.TypedBool", vdl.BoolType), true), ""}}}, |
| { |
| "TypedUserString", |
| cp{{"a", `type TypedStr string;const Res = TypedStr("abc")`, vdl.StringValue(vdl.NamedType("p.kg/a.TypedStr", vdl.StringType), "abc"), ""}}}, |
| { |
| "TypedUserInt32", |
| cp{{"a", `type TypedInt int32;const Res = TypedInt(123)`, vdl.IntValue(vdl.NamedType("p.kg/a.TypedInt", vdl.Int32Type), 123), ""}}}, |
| { |
| "TypedUserFloat32", |
| cp{{"a", `type TypedFlt float32;const Res = TypedFlt(1.5)`, vdl.FloatValue(vdl.NamedType("p.kg/a.TypedFlt", vdl.Float32Type), 1.5), ""}}}, |
| { |
| "TypedUserBoolMismatch", |
| cp{{"a", `type TypedBool bool;const Res = TypedBool(1)`, nil, |
| `invalid type conversion \(can't convert 1 to p.kg/a.TypedBool bool\)`}}}, |
| { |
| "TypedUserStringMismatch", |
| cp{{"a", `type TypedStr string;const Res = TypedStr(1)`, nil, |
| `invalid type conversion \(can't convert 1 to p.kg/a.TypedStr string\)`}}}, |
| { |
| "TypedUserInt32Mismatch", |
| cp{{"a", `type TypedInt int32;const Res = TypedInt(true)`, nil, |
| `can't convert true to p.kg/a.TypedInt int32`}}}, |
| { |
| "TypedUserFloat32Mismatch", |
| cp{{"a", `type TypedFlt float32;const Res = TypedFlt(true)`, nil, |
| `can't convert true to p.kg/a.TypedFlt float32`}}}, |
| |
| // Test typeobject consts. |
| { |
| "TypeObjectBool", |
| cp{{"a", `const Res = typeobject(bool)`, vdl.TypeObjectValue(vdl.BoolType), ""}}}, |
| { |
| "TypeObjectBoolInvalid", |
| cp{{"a", `const Res = bool`, nil, "bool is a type"}}}, |
| { |
| "TypeObjectString", |
| cp{{"a", `const Res = typeobject(string)`, vdl.TypeObjectValue(vdl.StringType), ""}}}, |
| { |
| "TypeObjectStringInvalid", |
| cp{{"a", `const Res = string`, nil, "string is a type"}}}, |
| { |
| "TypeObjectInt32", |
| cp{{"a", `const Res = typeobject(int32)`, vdl.TypeObjectValue(vdl.Int32Type), ""}}}, |
| { |
| "TypeObjectInt32Invalid", |
| cp{{"a", `const Res = int32`, nil, "int32 is a type"}}}, |
| { |
| "TypeObjectFloat32", |
| cp{{"a", `const Res = typeobject(float32)`, vdl.TypeObjectValue(vdl.Float32Type), ""}}}, |
| { |
| "TypeObjectFloat32Invalid", |
| cp{{"a", `const Res = float32`, nil, "float32 is a type"}}}, |
| { |
| "TypeObjectTypeObject", |
| cp{{"a", `const Res = typeobject(typeobject)`, vdl.TypeObjectValue(vdl.TypeObjectType), ""}}}, |
| { |
| "TypeObjectTypeObjectInvalid", |
| cp{{"a", `const Res = typeobject`, nil, "syntax error"}}}, |
| { |
| "TypeObjectList", |
| cp{{"a", `const Res = typeobject([]string)`, vdl.TypeObjectValue(vdl.ListType(vdl.StringType)), ""}}}, |
| { |
| "TypeObjectListInvalid", |
| cp{{"a", `const Res = []string`, nil, `syntax error`}}}, |
| { |
| "TypeObjectArray", |
| cp{{"a", `type T [3]int64; const Res = typeobject(T)`, vdl.TypeObjectValue(vdl.NamedType("p.kg/a.T", vdl.ArrayType(3, vdl.Int64Type))), ""}}}, |
| { |
| "TypeObjectArrayInvalid", |
| cp{{"a", `const Res = [3]int64`, nil, `syntax error`}}}, |
| { |
| "TypeObjectSet", |
| cp{{"a", `const Res = typeobject(set[string])`, vdl.TypeObjectValue(vdl.SetType(vdl.StringType)), ""}}}, |
| { |
| "TypeObjectSetInvalid", |
| cp{{"a", `const Res = set[string]`, nil, `syntax error`}}}, |
| { |
| "TypeObjectMap", |
| cp{{"a", `const Res = typeobject(map[string]int32)`, vdl.TypeObjectValue(vdl.MapType(vdl.StringType, vdl.Int32Type)), ""}}}, |
| { |
| "TypeObjectMapInvalid", |
| cp{{"a", `const Res = map[string]int32`, nil, `syntax error`}}}, |
| { |
| "TypeObjectStruct", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = typeobject(A)`, vdl.TypeObjectValue(makeStructType("p.kg/a.A")), ""}}}, |
| { |
| "TypeObjectStructInvalid", |
| cp{{"a", `type A struct{X int64;Y string;Z bool}; const Res = A`, nil, `A is a type`}}}, |
| { |
| "TypeObjectStructField", |
| cp{{"a", `type A struct{T typeobject}; const Res = A{typeobject(bool)}`, makeStructTypeObject("p.kg/a.A", vdl.BoolType), ""}}}, |
| { |
| "TypeObjectStructFieldInvalid", |
| cp{{"a", `type A struct{T typeobject}; const Res = A{bool}`, nil, `bool is a type`}}}, |
| { |
| "TypeObjectEnum", |
| cp{{"a", `type A enum{X;Y;Z}; const Res = typeobject(A)`, vdl.TypeObjectValue(vdl.NamedType("p.kg/a.A", vdl.EnumType("X", "Y", "Z"))), ""}}}, |
| { |
| "TypeObjectEnumInvalid", |
| cp{{"a", `type A enum{X;Y;Z}; const Res = A`, nil, `A is a type`}}}, |
| |
| // Test named consts. |
| { |
| "NamedBool", |
| cp{{"a", `const foo = true;const Res = foo`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "NamedString", |
| cp{{"a", `const foo = "abc";const Res = foo`, vdl.StringValue(nil, "abc"), ""}}}, |
| { |
| "NamedInt32", |
| cp{{"a", `const foo = int32(123);const Res = foo`, vdl.IntValue(vdl.Int32Type, 123), ""}}}, |
| { |
| "NamedFloat32", |
| cp{{"a", `const foo = float32(1.5);const Res = foo`, vdl.FloatValue(vdl.Float32Type, 1.5), ""}}}, |
| { |
| "NamedUserBool", |
| cp{{"a", `type TypedBool bool;const foo = TypedBool(true);const Res = foo`, |
| vdl.BoolValue(vdl.NamedType("p.kg/a.TypedBool", vdl.BoolType), true), ""}}}, |
| { |
| "NamedUserString", |
| cp{{"a", `type TypedStr string;const foo = TypedStr("abc");const Res = foo`, |
| vdl.StringValue(vdl.NamedType("p.kg/a.TypedStr", vdl.StringType), "abc"), ""}}}, |
| { |
| "NamedUserInt32", |
| cp{{"a", `type TypedInt int32;const foo = TypedInt(123);const Res = foo`, |
| vdl.IntValue(vdl.NamedType("p.kg/a.TypedInt", vdl.Int32Type), 123), ""}}}, |
| { |
| "NamedUserFloat32", |
| cp{{"a", `type TypedFlt float32;const foo = TypedFlt(1.5);const Res = foo`, |
| vdl.FloatValue(vdl.NamedType("p.kg/a.TypedFlt", vdl.Float32Type), 1.5), ""}}}, |
| { |
| "ConstNamedI", |
| cp{{"a", `const I = true;const Res = I`, vdl.BoolValue(nil, true), ""}}}, |
| |
| // Test unary ops. |
| { |
| "Not", |
| cp{{"a", `const Res = !true`, vdl.BoolValue(nil, false), ""}}}, |
| { |
| "Pos", |
| cp{{"a", `const Res = int32(+123)`, vdl.IntValue(vdl.Int32Type, 123), ""}}}, |
| { |
| "Neg", |
| cp{{"a", `const Res = int32(-123)`, vdl.IntValue(vdl.Int32Type, -123), ""}}}, |
| { |
| "Complement", |
| cp{{"a", `const Res = int32(^1)`, vdl.IntValue(vdl.Int32Type, -2), ""}}}, |
| { |
| "TypedNot", |
| cp{{"a", `type TypedBool bool;const Res = !TypedBool(true)`, vdl.BoolValue(vdl.NamedType("p.kg/a.TypedBool", vdl.BoolType), false), ""}}}, |
| { |
| "TypedPos", |
| cp{{"a", `type TypedInt int32;const Res = TypedInt(+123)`, vdl.IntValue(vdl.NamedType("p.kg/a.TypedInt", vdl.Int32Type), 123), ""}}}, |
| { |
| "TypedNeg", |
| cp{{"a", `type TypedInt int32;const Res = TypedInt(-123)`, vdl.IntValue(vdl.NamedType("p.kg/a.TypedInt", vdl.Int32Type), -123), ""}}}, |
| { |
| "TypedComplement", |
| cp{{"a", `type TypedInt int32;const Res = TypedInt(^1)`, vdl.IntValue(vdl.NamedType("p.kg/a.TypedInt", vdl.Int32Type), -2), ""}}}, |
| { |
| "NamedNot", |
| cp{{"a", `const foo = bool(true);const Res = !foo`, vdl.BoolValue(nil, false), ""}}}, |
| { |
| "NamedPos", |
| cp{{"a", `const foo = int32(123);const Res = +foo`, vdl.IntValue(vdl.Int32Type, 123), ""}}}, |
| { |
| "NamedNeg", |
| cp{{"a", `const foo = int32(123);const Res = -foo`, vdl.IntValue(vdl.Int32Type, -123), ""}}}, |
| { |
| "NamedComplement", |
| cp{{"a", `const foo = int32(1);const Res = ^foo`, vdl.IntValue(vdl.Int32Type, -2), ""}}}, |
| { |
| "ErrNot", |
| cp{{"a", `const Res = !1`, nil, `unary \! invalid \(untyped integer not supported\)`}}}, |
| { |
| "ErrPos", |
| cp{{"a", `const Res = +"abc"`, nil, `unary \+ invalid \(untyped string not supported\)`}}}, |
| { |
| "ErrNeg", |
| cp{{"a", `const Res = -false`, nil, `unary \- invalid \(untyped boolean not supported\)`}}}, |
| { |
| "ErrComplement", |
| cp{{"a", `const Res = ^1.5`, nil, `unary \^ invalid \(converting untyped rational 1.5 to integer loses precision\)`}}}, |
| |
| // Test logical and comparison ops. |
| { |
| "Or", |
| cp{{"a", `const Res = true || false`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "And", |
| cp{{"a", `const Res = true && false`, vdl.BoolValue(nil, false), ""}}}, |
| { |
| "Lt11", |
| cp{{"a", `const Res = 1 < 1`, vdl.BoolValue(nil, false), ""}}}, |
| { |
| "Lt12", |
| cp{{"a", `const Res = 1 < 2`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "Lt21", |
| cp{{"a", `const Res = 2 < 1`, vdl.BoolValue(nil, false), ""}}}, |
| { |
| "Gt11", |
| cp{{"a", `const Res = 1 > 1`, vdl.BoolValue(nil, false), ""}}}, |
| { |
| "Gt12", |
| cp{{"a", `const Res = 1 > 2`, vdl.BoolValue(nil, false), ""}}}, |
| { |
| "Gt21", |
| cp{{"a", `const Res = 2 > 1`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "Le11", |
| cp{{"a", `const Res = 1 <= 1`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "Le12", |
| cp{{"a", `const Res = 1 <= 2`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "Le21", |
| cp{{"a", `const Res = 2 <= 1`, vdl.BoolValue(nil, false), ""}}}, |
| { |
| "Ge11", |
| cp{{"a", `const Res = 1 >= 1`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "Ge12", |
| cp{{"a", `const Res = 1 >= 2`, vdl.BoolValue(nil, false), ""}}}, |
| { |
| "Ge21", |
| cp{{"a", `const Res = 2 >= 1`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "Ne11", |
| cp{{"a", `const Res = 1 != 1`, vdl.BoolValue(nil, false), ""}}}, |
| { |
| "Ne12", |
| cp{{"a", `const Res = 1 != 2`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "Ne21", |
| cp{{"a", `const Res = 2 != 1`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "Eq11", |
| cp{{"a", `const Res = 1 == 1`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "Eq12", |
| cp{{"a", `const Res = 1 == 2`, vdl.BoolValue(nil, false), ""}}}, |
| { |
| "Eq21", |
| cp{{"a", `const Res = 2 == 1`, vdl.BoolValue(nil, false), ""}}}, |
| |
| // Test arithmetic ops. |
| { |
| "IntPlus", |
| cp{{"a", `const Res = int32(1) + 1`, vdl.IntValue(vdl.Int32Type, 2), ""}}}, |
| { |
| "IntMinus", |
| cp{{"a", `const Res = int32(2) - 1`, vdl.IntValue(vdl.Int32Type, 1), ""}}}, |
| { |
| "IntTimes", |
| cp{{"a", `const Res = int32(3) * 2`, vdl.IntValue(vdl.Int32Type, 6), ""}}}, |
| { |
| "IntDivide", |
| cp{{"a", `const Res = int32(5) / 2`, vdl.IntValue(vdl.Int32Type, 2), ""}}}, |
| { |
| "FloatPlus", |
| cp{{"a", `const Res = float32(1) + 1`, vdl.FloatValue(vdl.Float32Type, 2), ""}}}, |
| { |
| "FloatMinus", |
| cp{{"a", `const Res = float32(2) - 1`, vdl.FloatValue(vdl.Float32Type, 1), ""}}}, |
| { |
| "FloatTimes", |
| cp{{"a", `const Res = float32(3) * 2`, vdl.FloatValue(vdl.Float32Type, 6), ""}}}, |
| { |
| "FloatDivide", |
| cp{{"a", `const Res = float32(5) / 2`, vdl.FloatValue(vdl.Float32Type, 2.5), ""}}}, |
| |
| // Test integer arithmetic ops. |
| { |
| "Mod", |
| cp{{"a", `const Res = int32(8) % 3`, vdl.IntValue(vdl.Int32Type, 2), ""}}}, |
| { |
| "BitOr", |
| cp{{"a", `const Res = int32(8) | 7`, vdl.IntValue(vdl.Int32Type, 15), ""}}}, |
| { |
| "BitAnd", |
| cp{{"a", `const Res = int32(8) & 15`, vdl.IntValue(vdl.Int32Type, 8), ""}}}, |
| { |
| "BitXor", |
| cp{{"a", `const Res = int32(8) ^ 5`, vdl.IntValue(vdl.Int32Type, 13), ""}}}, |
| { |
| "UntypedFloatMod", |
| cp{{"a", `const Res = int32(8.0 % 3.0)`, vdl.IntValue(vdl.Int32Type, 2), ""}}}, |
| { |
| "UntypedFloatBitOr", |
| cp{{"a", `const Res = int32(8.0 | 7.0)`, vdl.IntValue(vdl.Int32Type, 15), ""}}}, |
| { |
| "UntypedFloatBitAnd", |
| cp{{"a", `const Res = int32(8.0 & 15.0)`, vdl.IntValue(vdl.Int32Type, 8), ""}}}, |
| { |
| "UntypedFloatBitXor", |
| cp{{"a", `const Res = int32(8.0 ^ 5.0)`, vdl.IntValue(vdl.Int32Type, 13), ""}}}, |
| { |
| "TypedFloatMod", |
| cp{{"a", `const Res = int32(float32(8.0) % 3.0)`, nil, |
| `binary % invalid \(can't convert typed float32 to integer\)`}}}, |
| { |
| "TypedFloatBitOr", |
| cp{{"a", `const Res = int32(float32(8.0) | 7.0)`, nil, |
| `binary | invalid \(can't convert typed float32 to integer\)`}}}, |
| { |
| "TypedFloatBitAnd", |
| cp{{"a", `const Res = int32(float32(8.0) & 15.0)`, nil, |
| `binary & invalid \(can't convert typed float32 to integer\)`}}}, |
| { |
| "TypedFloatBitXor", |
| cp{{"a", `const Res = int32(float32(8.0) ^ 5.0)`, nil, |
| `binary \^ invalid \(can't convert typed float32 to integer\)`}}}, |
| |
| // Test shift ops. |
| { |
| "Lsh", |
| cp{{"a", `const Res = int32(8) << 2`, vdl.IntValue(vdl.Int32Type, 32), ""}}}, |
| { |
| "Rsh", |
| cp{{"a", `const Res = int32(8) >> 2`, vdl.IntValue(vdl.Int32Type, 2), ""}}}, |
| { |
| "UntypedFloatLsh", |
| cp{{"a", `const Res = int32(8.0 << 2.0)`, vdl.IntValue(vdl.Int32Type, 32), ""}}}, |
| { |
| "UntypedFloatRsh", |
| cp{{"a", `const Res = int32(8.0 >> 2.0)`, vdl.IntValue(vdl.Int32Type, 2), ""}}}, |
| |
| // Test mixed ops. |
| { |
| "Mixed", |
| cp{{"a", `const F = "f";const Res = "f" == F && (1+2) == 3`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "MixedPrecedence", |
| cp{{"a", `const Res = int32(1+2*3-4)`, vdl.IntValue(vdl.Int32Type, 3), ""}}}, |
| |
| // Test uint conversion. |
| { |
| "MaxUint32", |
| cp{{"a", `const Res = uint32(4294967295)`, vdl.UintValue(vdl.Uint32Type, 4294967295), ""}}}, |
| { |
| "MaxUint64", |
| cp{{"a", `const Res = uint64(18446744073709551615)`, |
| vdl.UintValue(vdl.Uint64Type, 18446744073709551615), ""}}}, |
| { |
| "OverflowUint32", |
| cp{{"a", `const Res = uint32(4294967296)`, nil, |
| "const 4294967296 overflows uint32"}}}, |
| { |
| "OverflowUint64", |
| cp{{"a", `const Res = uint64(18446744073709551616)`, nil, |
| "const 18446744073709551616 overflows uint64"}}}, |
| { |
| "NegUint32", |
| cp{{"a", `const Res = uint32(-3)`, nil, |
| "const -3 overflows uint32"}}}, |
| { |
| "NegUint64", |
| cp{{"a", `const Res = uint64(-4)`, nil, |
| "const -4 overflows uint64"}}}, |
| { |
| "ZeroUint32", |
| cp{{"a", `const Res = uint32(0)`, vdl.UintValue(vdl.Uint32Type, 0), ""}}}, |
| |
| // Test int conversion. |
| { |
| "MinInt32", |
| cp{{"a", `const Res = int32(-2147483648)`, vdl.IntValue(vdl.Int32Type, -2147483648), ""}}}, |
| { |
| "MinInt64", |
| cp{{"a", `const Res = int64(-9223372036854775808)`, |
| vdl.IntValue(vdl.Int64Type, -9223372036854775808), ""}}}, |
| { |
| "MinOverflowInt32", |
| cp{{"a", `const Res = int32(-2147483649)`, nil, |
| "const -2147483649 overflows int32"}}}, |
| { |
| "MinOverflowInt64", |
| cp{{"a", `const Res = int64(-9223372036854775809)`, nil, |
| "const -9223372036854775809 overflows int64"}}}, |
| { |
| "MaxInt32", |
| cp{{"a", `const Res = int32(2147483647)`, |
| vdl.IntValue(vdl.Int32Type, 2147483647), ""}}}, |
| { |
| "MaxInt64", |
| cp{{"a", `const Res = int64(9223372036854775807)`, |
| vdl.IntValue(vdl.Int64Type, 9223372036854775807), ""}}}, |
| { |
| "MaxOverflowInt32", |
| cp{{"a", `const Res = int32(2147483648)`, nil, |
| "const 2147483648 overflows int32"}}}, |
| { |
| "MaxOverflowInt64", |
| cp{{"a", `const Res = int64(9223372036854775808)`, nil, |
| "const 9223372036854775808 overflows int64"}}}, |
| { |
| "ZeroInt32", |
| cp{{"a", `const Res = int32(0)`, vdl.IntValue(vdl.Int32Type, 0), ""}}}, |
| |
| // Test float conversion. |
| { |
| "SmallestFloat32", |
| cp{{"a", `const Res = float32(1.401298464324817070923729583289916131281e-45)`, |
| vdl.FloatValue(vdl.Float32Type, 1.401298464324817070923729583289916131281e-45), ""}}}, |
| { |
| "SmallestFloat64", |
| cp{{"a", `const Res = float64(4.940656458412465441765687928682213723651e-324)`, |
| vdl.FloatValue(vdl.Float64Type, 4.940656458412465441765687928682213723651e-324), ""}}}, |
| { |
| "MaxFloat32", |
| cp{{"a", `const Res = float32(3.40282346638528859811704183484516925440e+38)`, |
| vdl.FloatValue(vdl.Float32Type, 3.40282346638528859811704183484516925440e+38), ""}}}, |
| { |
| "MaxFloat64", |
| cp{{"a", `const Res = float64(1.797693134862315708145274237317043567980e+308)`, |
| vdl.FloatValue(vdl.Float64Type, 1.797693134862315708145274237317043567980e+308), ""}}}, |
| { |
| "UnderflowFloat32", |
| cp{{"a", `const Res = float32(1.401298464324817070923729583289916131280e-45)`, |
| nil, "underflows float32"}}}, |
| { |
| "UnderflowFloat64", |
| cp{{"a", `const Res = float64(4.940656458412465441765687928682213723650e-324)`, |
| nil, "underflows float64"}}}, |
| { |
| "OverflowFloat32", |
| cp{{"a", `const Res = float32(3.40282346638528859811704183484516925441e+38)`, |
| nil, "overflows float32"}}}, |
| { |
| "OverflowFloat64", |
| cp{{"a", `const Res = float64(1.797693134862315708145274237317043567981e+308)`, |
| nil, "overflows float64"}}}, |
| { |
| "ZeroFloat32", |
| cp{{"a", `const Res = float32(0)`, vdl.FloatValue(vdl.Float32Type, 0), ""}}}, |
| |
| // Test float rounding - note that 1.1 incurs loss of precision. |
| { |
| "RoundedCompareFloat32", |
| cp{{"a", `const Res = float32(1.1) == 1.1`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "RoundedCompareFloat64", |
| cp{{"a", `const Res = float64(1.1) == 1.1`, vdl.BoolValue(nil, true), ""}}}, |
| { |
| "RoundedTruncation", |
| cp{{"a", `const Res = float64(float32(1.1)) != 1.1`, vdl.BoolValue(nil, true), ""}}}, |
| |
| // Test multi-package consts |
| {"MultiPkgSameConstName", cp{ |
| {"a", `const Res = true`, vdl.BoolValue(nil, true), ""}, |
| {"b", `const Res = true`, vdl.BoolValue(nil, true), ""}}}, |
| {"MultiPkgDep", cp{ |
| {"a", `const Res = x;const x = true`, vdl.BoolValue(nil, true), ""}, |
| {"b", `import "p.kg/a";const Res = a.Res && false`, vdl.BoolValue(nil, false), ""}}}, |
| {"MultiPkgDepQualifiedPath", cp{ |
| {"a", `const Res = x;const x = true`, vdl.BoolValue(nil, true), ""}, |
| {"b", `import "p.kg/a";const Res = "p.kg/a".Res && false`, vdl.BoolValue(nil, false), ""}}}, |
| {"MultiPkgUnexportedConst", cp{ |
| {"a", `const Res = x;const x = true`, vdl.BoolValue(nil, true), ""}, |
| {"b", `import "p.kg/a";const Res = a.x && false`, nil, "a.x undefined"}}}, |
| {"MultiPkgSamePkgName", cp{ |
| {"a", `const Res = true`, vdl.BoolValue(nil, true), ""}, |
| {"a", `const Res = true`, nil, "invalid recompile"}}}, |
| {"MultiPkgUnimportedPkg", cp{ |
| {"a", `const Res = true`, vdl.BoolValue(nil, true), ""}, |
| {"b", `const Res = a.Res && false`, nil, "a.Res undefined"}}}, |
| {"RedefinitionOfImportedName", cp{ |
| {"a", `const Res = true`, vdl.BoolValue(nil, true), ""}, |
| {"b", `import "p.kg/a"; const a = "test"; const Res = a`, nil, "const a name conflict"}}}, |
| |
| // Test transitively exported types. Only the type of the final result matters. |
| { |
| "NoTransitiveExport", |
| cp{{"a", `type t bool; const Res = t(false)`, nil, "transitively exported"}}}, |
| { |
| "NoTransitiveExportList", |
| cp{{"a", `type t bool; const Res = []t{}`, nil, "transitively exported"}}}, |
| { |
| "NoTransitiveExportSet", |
| cp{{"a", `type t bool; const Res = set[t]{}`, nil, "transitively exported"}}}, |
| { |
| "NoTransitiveExportMapKey", |
| cp{{"a", `type t bool; const Res = map[t]string{}`, nil, "transitively exported"}}}, |
| { |
| "NoTransitiveExportMapElem", |
| cp{{"a", `type t bool; const Res = map[string]t{}`, nil, "transitively exported"}}}, |
| { |
| "NoTransitiveExportArray", |
| cp{{"a", `type t [2]bool; const Res = t{}`, nil, "transitively exported"}}}, |
| { |
| "NoTransitiveExportArrayElem", |
| cp{{"a", `type t bool; type X [2]t; const Res = X{}`, nil, "transitively exported"}}}, |
| { |
| "NoTransitiveExportStruct", |
| cp{{"a", `type t struct{}; const Res = t{}`, nil, "transitively exported"}}}, |
| { |
| "NoTransitiveExportStructField", |
| cp{{"a", `type t bool; type X struct{F t}; const Res = X{}`, nil, "transitively exported"}}}, |
| { |
| "NoTransitiveExportUnion", |
| cp{{"a", `type t union{F bool}; const Res = t{}`, nil, "transitively exported"}}}, |
| { |
| "NoTransitiveExportUnionField", |
| cp{{"a", `type t bool; type X union{F t}; const Res = X{}`, nil, "transitively exported"}}}, |
| { |
| "NoTransitiveExportOptional", |
| cp{{"a", `type t struct {}; const Res = ?t(nil)`, nil, "transitively exported"}}}, |
| { |
| "TransitiveExportInnerConversionOK", |
| cp{{"a", `type t bool; type X bool; const Res = X(t(true))`, vdl.BoolValue(vdl.NamedType("p.kg/a.X", vdl.BoolType), true), ""}}}, |
| } |
