Skip to content

Commit 608d47c

Browse files
upamanyusupamanyus
committed
Update gold
1 parent 3d0c1be commit 608d47c

File tree

11 files changed

+210
-0
lines changed

11 files changed

+210
-0
lines changed

‎testdata/examples/append_log/append_log.gold.v‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,8 @@ Module append_log.
1313

1414
Definition Log {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/append_log.Log"%go [].
1515

16+
#[global] Opaque Log.
17+
1618
Definition Init {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go_string := "github.com/goose-lang/goose/testdata/examples/append_log.Init"%go.
1719

1820
Definition Open {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go_string := "github.com/goose-lang/goose/testdata/examples/append_log.Open"%go.

‎testdata/examples/channel/channel.gold.v‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,14 +12,24 @@ Module chan_spec_raw_examples.
1212

1313
Definition LockedStack {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/channel.LockedStack"%go [].
1414

15+
#[global] Opaque LockedStack.
16+
1517
Definition EliminationStack {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/channel.EliminationStack"%go [].
1618

19+
#[global] Opaque EliminationStack.
20+
1721
Definition request {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/channel.request"%go [].
1822

23+
#[global] Opaque request.
24+
1925
Definition stream {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/channel.stream"%go [].
2026

27+
#[global] Opaque stream.
28+
2129
Definition streamold {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/channel.streamold"%go [].
2230

31+
#[global] Opaque streamold.
32+
2333
Definition timeout {ext : ffi_syntax} {go_gctx : GoGlobalContext} : val := #(W64 10000).
2434

2535
Definition NewLockedStack {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go_string := "github.com/goose-lang/goose/testdata/examples/channel.NewLockedStack"%go.

‎testdata/examples/comments/comments.gold.v‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@ Module comments.
99

1010
Definition Foo {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/comments.Foo"%go [].
1111

12+
#[global] Opaque Foo.
13+
1214
Definition ONE {ext : ffi_syntax} {go_gctx : GoGlobalContext} : val := #(W64 1).
1315

1416
Definition TWO {ext : ffi_syntax} {go_gctx : GoGlobalContext} : val := #(W64 2).

‎testdata/examples/interfacerecursion/interfacerecursion.gold.v‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,16 @@ Module interfacerecursion.
99

1010
Definition A {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/interfacerecursion.A"%go [].
1111

12+
#[global] Opaque A.
13+
1214
Definition B {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/interfacerecursion.B"%go [].
1315

16+
#[global] Opaque B.
17+
1418
Definition c {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/interfacerecursion.c"%go [].
1519

20+
#[global] Opaque c.
21+
1622
(* go: x.go:14:13 *)
1723
Definition c__Fooⁱᵐᵖˡ {ext : ffi_syntax} {go_gctx : GoGlobalContext} : val :=
1824
λ: "c" <>,

‎testdata/examples/logging2/logging2.gold.v‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,8 +13,12 @@ Module logging2.
1313

1414
Definition Log {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/logging2.Log"%go [].
1515

16+
#[global] Opaque Log.
17+
1618
Definition Txn {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/logging2.Txn"%go [].
1719

20+
#[global] Opaque Txn.
21+
1822
Definition LOGCOMMIT {ext : ffi_syntax} {go_gctx : GoGlobalContext} : val := #(W64 0).
1923

2024
Definition LOGSTART {ext : ffi_syntax} {go_gctx : GoGlobalContext} : val := #(W64 1).

‎testdata/examples/mapliteral/mapliteral.gold.v‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@ Module example.
99

1010
Definition Nested {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/mapliteral.Nested"%go [].
1111

12+
#[global] Opaque Nested.
13+
1214
Definition f {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go_string := "github.com/goose-lang/goose/testdata/examples/mapliteral.f"%go.
1315

1416
Definition mapliteral {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go_string := "github.com/goose-lang/goose/testdata/examples/mapliteral.mapliteral"%go.

‎testdata/examples/semantics/semantics.gold.v‎

Lines changed: 72 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,76 +14,148 @@ Module semantics.
1414

1515
Definition unit {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.unit"%go [].
1616

17+
#[global] Opaque unit.
18+
1719
Definition Editor {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.Editor"%go [].
1820

21+
#[global] Opaque Editor.
22+
1923
Definition Pair {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.Pair"%go [].
2024

25+
#[global] Opaque Pair.
26+
2127
Definition Uint32 {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.Uint32"%go [].
2228

29+
#[global] Opaque Uint32.
30+
2331
Definition geometryInterface {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.geometryInterface"%go [].
2432

33+
#[global] Opaque geometryInterface.
34+
2535
Definition SquareStruct {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.SquareStruct"%go [].
2636

37+
#[global] Opaque SquareStruct.
38+
2739
Definition NumStruct {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.NumStruct"%go [].
2840

41+
#[global] Opaque NumStruct.
42+
2943
Definition shapeInterface {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.shapeInterface"%go [].
3044

45+
#[global] Opaque shapeInterface.
46+
3147
Definition polygonInterface {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.polygonInterface"%go [].
3248

49+
#[global] Opaque polygonInterface.
50+
3351
Definition shapeStruct {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.shapeStruct"%go [].
3452

53+
#[global] Opaque shapeStruct.
54+
3555
Definition polygonStruct {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.polygonStruct"%go [].
3656

57+
#[global] Opaque polygonStruct.
58+
3759
Definition dogInterface {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.dogInterface"%go [].
3860

61+
#[global] Opaque dogInterface.
62+
3963
Definition catInterface {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.catInterface"%go [].
4064

65+
#[global] Opaque catInterface.
66+
4167
Definition Puppy {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.Puppy"%go [].
4268

69+
#[global] Opaque Puppy.
70+
4371
Definition Kitten {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.Kitten"%go [].
4472

73+
#[global] Opaque Kitten.
74+
4575
Definition printInterface {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.printInterface"%go [].
4676

77+
#[global] Opaque printInterface.
78+
4779
Definition PaperStruct {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.PaperStruct"%go [].
4880

81+
#[global] Opaque PaperStruct.
82+
4983
Definition Flower {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.Flower"%go [].
5084

85+
#[global] Opaque Flower.
86+
5187
Definition Flora {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.Flora"%go [].
5288

89+
#[global] Opaque Flora.
90+
5391
Definition Lily {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.Lily"%go [].
5492

93+
#[global] Opaque Lily.
94+
5595
Definition Rose {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.Rose"%go [].
5696

97+
#[global] Opaque Rose.
98+
5799
Definition Daisy {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.Daisy"%go [].
58100

101+
#[global] Opaque Daisy.
102+
59103
Definition LoopStruct {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.LoopStruct"%go [].
60104

105+
#[global] Opaque LoopStruct.
106+
61107
Definition BoolTest {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.BoolTest"%go [].
62108

109+
#[global] Opaque BoolTest.
110+
63111
Definition ArrayEditor {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.ArrayEditor"%go [].
64112

113+
#[global] Opaque ArrayEditor.
114+
65115
Definition Bar {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.Bar"%go [].
66116

117+
#[global] Opaque Bar.
118+
67119
Definition Foo {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.Foo"%go [].
68120

121+
#[global] Opaque Foo.
122+
69123
Definition TwoInts {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.TwoInts"%go [].
70124

125+
#[global] Opaque TwoInts.
126+
71127
Definition S {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.S"%go [].
72128

129+
#[global] Opaque S.
130+
73131
Definition StructWrap {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.StructWrap"%go [].
74132

133+
#[global] Opaque StructWrap.
134+
75135
Definition StructWithFunc {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.StructWithFunc"%go [].
76136

137+
#[global] Opaque StructWithFunc.
138+
77139
Definition switchConcrete {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.switchConcrete"%go [].
78140

141+
#[global] Opaque switchConcrete.
142+
79143
Definition switchInterface {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.switchInterface"%go [].
80144

145+
#[global] Opaque switchInterface.
146+
81147
Definition DefinedStr {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.DefinedStr"%go [].
82148

149+
#[global] Opaque DefinedStr.
150+
83151
Definition List {ext : ffi_syntax} {go_gctx : GoGlobalContext} (T : go.type) : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.List"%go [T].
84152

153+
#[global] Opaque List.
154+
85155
Definition Log {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/semantics.Log"%go [].
86156

157+
#[global] Opaque Log.
158+
87159
Definition AdderType {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.FunctionType (go.Signature [go.uint64] false [go.uint64]).
88160

89161
Definition MultipleArgsType {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.FunctionType (go.Signature [go.uint64; go.bool] false [go.uint64]).

‎testdata/examples/simpledb/simpledb.gold.v‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,16 +13,28 @@ Module simpledb.
1313

1414
Definition Table {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/simpledb.Table"%go [].
1515

16+
#[global] Opaque Table.
17+
1618
Definition Entry {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/simpledb.Entry"%go [].
1719

20+
#[global] Opaque Entry.
21+
1822
Definition lazyFileBuf {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/simpledb.lazyFileBuf"%go [].
1923

24+
#[global] Opaque lazyFileBuf.
25+
2026
Definition bufFile {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/simpledb.bufFile"%go [].
2127

28+
#[global] Opaque bufFile.
29+
2230
Definition tableWriter {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/simpledb.tableWriter"%go [].
2331

32+
#[global] Opaque tableWriter.
33+
2434
Definition Database {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/simpledb.Database"%go [].
2535

36+
#[global] Opaque Database.
37+
2638
Definition UseMarshal {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go_string := "github.com/goose-lang/goose/testdata/examples/simpledb.UseMarshal"%go.
2739

2840
Definition CreateTable {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go_string := "github.com/goose-lang/goose/testdata/examples/simpledb.CreateTable"%go.

‎testdata/examples/unittest/generics/generics.gold.v‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,14 +10,24 @@ Module generics.
1010

1111
Definition Box {ext : ffi_syntax} {go_gctx : GoGlobalContext} (T : go.type) : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/unittest/generics.Box"%go [T].
1212

13+
#[global] Opaque Box.
14+
1315
Definition Container {ext : ffi_syntax} {go_gctx : GoGlobalContext} (T : go.type) : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/unittest/generics.Container"%go [T].
1416

17+
#[global] Opaque Container.
18+
1519
Definition UseContainer {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/unittest/generics.UseContainer"%go [].
1620

21+
#[global] Opaque UseContainer.
22+
1723
Definition OnlyIndirect {ext : ffi_syntax} {go_gctx : GoGlobalContext} (T : go.type) : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/unittest/generics.OnlyIndirect"%go [T].
1824

25+
#[global] Opaque OnlyIndirect.
26+
1927
Definition MultiParam {ext : ffi_syntax} {go_gctx : GoGlobalContext} (A : go.type) (B : go.type) : go.type := go.Named "github.com/goose-lang/goose/testdata/examples/unittest/generics.MultiParam"%go [A; B].
2028

29+
#[global] Opaque MultiParam.
30+
2131
Definition UnderlyingSlice {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go_string := "github.com/goose-lang/goose/testdata/examples/unittest/generics.UnderlyingSlice"%go.
2232

2333
Definition Clone {ext : ffi_syntax} {go_gctx : GoGlobalContext} : go_string := "github.com/goose-lang/goose/testdata/examples/unittest/generics.Clone"%go.

0 commit comments

Comments
 (0)