...
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15 package subsume
16
17 import (
18 "testing"
19
20 "cuelang.org/go/cue/parser"
21 "cuelang.org/go/internal/core/adt"
22 "cuelang.org/go/internal/core/compile"
23 "cuelang.org/go/internal/core/eval"
24 "cuelang.org/go/internal/core/runtime"
25 )
26
27
28 func TestX(t *testing.T) {
29 t.Skip()
30
31 r := runtime.New()
32 ctx := eval.NewContext(r, nil)
33
34 const gt = `a: *1 | int`
35 const lt = `a: (*1 | int) & 1`
36
37 a := parse(t, ctx, gt)
38 b := parse(t, ctx, lt)
39
40 p := Profile{Defaults: true}
41 err := p.Check(ctx, a, b)
42 t.Error(err)
43 }
44
45 func parse(t *testing.T, ctx *adt.OpContext, str string) *adt.Vertex {
46 t.Helper()
47
48 file, err := parser.ParseFile("subsume", str)
49 if err != nil {
50 t.Fatal(err)
51 }
52
53 root, errs := compile.Files(nil, ctx, "", file)
54 if errs != nil {
55 t.Fatal(errs)
56 }
57
58 root.Finalize(ctx)
59
60 return root
61 }
62
View as plain text