-
Notifications
You must be signed in to change notification settings - Fork 7
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ambr toMatchInlineSnapshot toMatchSnapshot
- Loading branch information
Showing
130 changed files
with
3,820 additions
and
825 deletions.
There are no files selected for viewing
174 changes: 174 additions & 0 deletions
174
src/lang/tests/compute/__snapshots__/compute-ap-implicit-insertion.test.ts.snap
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,174 @@ | ||
// Vitest Snapshot v1, https://vitest.dev/guide/snapshot.html | ||
|
||
exports[`compute ApImplicit -- insertion -- deepWalk required > | ||
"cons(\\"abc\\", sole): Pair(String, Trivial) | ||
cons(\\"abc\\", sole): Pair(String, Trivial)" | ||
1`] = ` | ||
"cons(\\"abc\\", sole): Pair(String, Trivial) | ||
cons(\\"abc\\", sole): Pair(String, Trivial)" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- deepWalk required: | ||
"cons("abc", sole): Pair(String, Trivial) | ||
cons("abc", sole): Pair(String, Trivial)" | ||
1`] = ` | ||
"cons("abc", sole): Pair(String, Trivial) | ||
cons("abc", sole): Pair(String, Trivial)" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- during check > "(_) => _: (String) -> String" 1`] = `"(_) => _: (String) -> String"`; | ||
|
||
exports[`compute ApImplicit -- insertion -- during check: "(_) => _: (String) -> String" 1`] = `"(_) => _: (String) -> String"`; | ||
|
||
exports[`compute ApImplicit -- insertion -- id > | ||
"sole: Trivial | ||
\\"abc\\": String" | ||
1`] = ` | ||
"sole: Trivial | ||
\\"abc\\": String" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- id: | ||
"sole: Trivial | ||
"abc": String" | ||
1`] = ` | ||
"sole: Trivial | ||
"abc": String" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- infer > | ||
"Trivial: Type | ||
String: Type" | ||
1`] = ` | ||
"Trivial: Type | ||
String: Type" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- infer: | ||
"Trivial: Type | ||
String: Type" | ||
1`] = ` | ||
"Trivial: Type | ||
String: Type" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- infer2 > | ||
"Pair(Trivial, String): Type | ||
Pair(Trivial, Trivial): Type | ||
Pair(String, Trivial): Type | ||
Pair(String, String): Type" | ||
1`] = ` | ||
"Pair(Trivial, String): Type | ||
Pair(Trivial, Trivial): Type | ||
Pair(String, Trivial): Type | ||
Pair(String, String): Type" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- infer2 -- over > | ||
"Pair(Trivial, String): Type | ||
Pair(Trivial, Trivial): Type | ||
Pair(String, Trivial): Type | ||
Pair(String, String): Type" | ||
1`] = ` | ||
"Pair(Trivial, String): Type | ||
Pair(Trivial, Trivial): Type | ||
Pair(String, Trivial): Type | ||
Pair(String, String): Type" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- infer2 -- over: | ||
"Pair(Trivial, String): Type | ||
Pair(Trivial, Trivial): Type | ||
Pair(String, Trivial): Type | ||
Pair(String, String): Type" | ||
1`] = ` | ||
"Pair(Trivial, String): Type | ||
Pair(Trivial, Trivial): Type | ||
Pair(String, Trivial): Type | ||
Pair(String, String): Type" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- infer2: | ||
"Pair(Trivial, String): Type | ||
Pair(Trivial, Trivial): Type | ||
Pair(String, Trivial): Type | ||
Pair(String, String): Type" | ||
1`] = ` | ||
"Pair(Trivial, String): Type | ||
Pair(Trivial, Trivial): Type | ||
Pair(String, Trivial): Type | ||
Pair(String, String): Type" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- inferReturnType > | ||
"Trivial: Type | ||
String: Type" | ||
1`] = ` | ||
"Trivial: Type | ||
String: Type" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- inferReturnType: | ||
"Trivial: Type | ||
String: Type" | ||
1`] = ` | ||
"Trivial: Type | ||
String: Type" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- nested > | ||
"cons(cons(\\"abc\\", sole), sole): Pair(Pair(String, Trivial), Trivial) | ||
cons(cons(cons(\\"abc\\", sole), sole), sole): Pair(Pair(Pair(String, Trivial), Trivial), Trivial)" | ||
1`] = ` | ||
"cons(cons(\\"abc\\", sole), sole): Pair(Pair(String, Trivial), Trivial) | ||
cons(cons(cons(\\"abc\\", sole), sole), sole): Pair(Pair(Pair(String, Trivial), Trivial), Trivial)" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- nested: | ||
"cons(cons("abc", sole), sole): Pair(Pair(String, Trivial), Trivial) | ||
cons(cons(cons("abc", sole), sole), sole): Pair(Pair(Pair(String, Trivial), Trivial), Trivial)" | ||
1`] = ` | ||
"cons(cons("abc", sole), sole): Pair(Pair(String, Trivial), Trivial) | ||
cons(cons(cons("abc", sole), sole), sole): Pair(Pair(Pair(String, Trivial), Trivial), Trivial)" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- id 1`] = ` | ||
"sole: Trivial | ||
"abc": String" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- infer 1`] = ` | ||
"Trivial: Type | ||
String: Type" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- infer2 1`] = ` | ||
"Pair(Trivial, String): Type | ||
Pair(Trivial, Trivial): Type | ||
Pair(String, Trivial): Type | ||
Pair(String, String): Type" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- infer2 -- over 1`] = ` | ||
"Pair(Trivial, String): Type | ||
Pair(Trivial, Trivial): Type | ||
Pair(String, Trivial): Type | ||
Pair(String, String): Type" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- inferReturnType 1`] = ` | ||
"Trivial: Type | ||
String: Type" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- deepWalk required 1`] = ` | ||
"cons("abc", sole): Pair(String, Trivial) | ||
cons("abc", sole): Pair(String, Trivial)" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- nested 1`] = ` | ||
"cons(cons("abc", sole), sole): Pair(Pair(String, Trivial), Trivial) | ||
cons(cons(cons("abc", sole), sole), sole): Pair(Pair(Pair(String, Trivial), Trivial), Trivial)" | ||
`; | ||
|
||
exports[`compute ApImplicit -- insertion -- during check 1`] = `"(_) => _: (String) -> String"`; |
7 changes: 7 additions & 0 deletions
7
src/lang/tests/compute/__snapshots__/compute-ap-implicit.test.ts.snap
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
// Vitest Snapshot v1, https://vitest.dev/guide/snapshot.html | ||
|
||
exports[`compute ApImplicit > "Trivial: Type" 1`] = `"Trivial: Type"`; | ||
|
||
exports[`compute ApImplicit: "Trivial: Type" 1`] = `"Trivial: Type"`; | ||
|
||
exports[`compute ApImplicit 1`] = `"Trivial: Type"`; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
// Vitest Snapshot v1, https://vitest.dev/guide/snapshot.html | ||
|
||
exports[`compute Ap > "Type: Type" 1`] = `"Type: Type"`; | ||
|
||
exports[`compute Ap: "Type: Type" 1`] = `"Type: Type"`; | ||
|
||
exports[`compute Ap 1`] = `"Type: Type"`; |
19 changes: 19 additions & 0 deletions
19
src/lang/tests/compute/__snapshots__/compute-car.test.ts.snap
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,19 @@ | ||
// Vitest Snapshot v1, https://vitest.dev/guide/snapshot.html | ||
|
||
exports[`compute Car > "Type: Type" 1`] = `"Type: Type"`; | ||
|
||
exports[`compute Car -- just car > "(implicit A, implicit B, target) => car(target): (implicit A: Type, implicit B: (A) -> Type, exists (A) B(x)) -> A" 1`] = `"(implicit A, implicit B, target) => car(target): (implicit A: Type, implicit B: (A) -> Type, exists (A) B(x)) -> A"`; | ||
|
||
exports[`compute Car -- just car: "(implicit A, implicit B, target) => car(target): (implicit A: Type, implicit B: (A) -> Type, exists (A) B(x)) -> A" 1`] = `"(implicit A, implicit B, target) => car(target): (implicit A: Type, implicit B: (A) -> Type, exists (A) B(x)) -> A"`; | ||
|
||
exports[`compute Car -- my_car > "\\"a\\": String" 1`] = `"\\"a\\": String"`; | ||
|
||
exports[`compute Car -- my_car: ""a": String" 1`] = `""a": String"`; | ||
|
||
exports[`compute Car: "Type: Type" 1`] = `"Type: Type"`; | ||
|
||
exports[`compute Car 1`] = `"Type: Type"`; | ||
|
||
exports[`compute Car -- just car 1`] = `"(implicit A, implicit B, target) => car(target): (implicit A: Type, implicit B: (A) -> Type, exists (A) B(x)) -> A"`; | ||
|
||
exports[`compute Car -- my_car 1`] = `""a": String"`; |
55 changes: 55 additions & 0 deletions
55
src/lang/tests/compute/__snapshots__/compute-cdr.test.ts.snap
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,55 @@ | ||
// Vitest Snapshot v1, https://vitest.dev/guide/snapshot.html | ||
|
||
exports[`compute Cdr > "Type: Type" 1`] = `"Type: Type"`; | ||
|
||
exports[`compute Cdr -- just cdr > | ||
"(implicit A, implicit B, target) => cdr(target): ( | ||
implicit A: Type, | ||
implicit B: (A) -> Type, | ||
target: exists (A) B(x), | ||
) -> B(car(target))" | ||
1`] = ` | ||
"(implicit A, implicit B, target) => cdr(target): ( | ||
implicit A: Type, | ||
implicit B: (A) -> Type, | ||
target: exists (A) B(x), | ||
) -> B(car(target))" | ||
`; | ||
|
||
exports[`compute Cdr -- just cdr: | ||
"(implicit A, implicit B, target) => cdr(target): ( | ||
implicit A: Type, | ||
implicit B: (A) -> Type, | ||
target: exists (A) B(x), | ||
) -> B(car(target))" | ||
1`] = ` | ||
"(implicit A, implicit B, target) => cdr(target): ( | ||
implicit A: Type, | ||
implicit B: (A) -> Type, | ||
target: exists (A) B(x), | ||
) -> B(car(target))" | ||
`; | ||
|
||
exports[`compute Cdr -- my_cdr > "\\"b\\": String" 1`] = `"\\"b\\": String"`; | ||
|
||
exports[`compute Cdr -- my_cdr -- infer FnImplicitAnnotated > "\\"b\\": String" 1`] = `"\\"b\\": String"`; | ||
|
||
exports[`compute Cdr -- my_cdr -- infer FnImplicitAnnotated: ""b": String" 1`] = `""b": String"`; | ||
|
||
exports[`compute Cdr -- my_cdr: ""b": String" 1`] = `""b": String"`; | ||
|
||
exports[`compute Cdr: "Type: Type" 1`] = `"Type: Type"`; | ||
|
||
exports[`compute Cdr 1`] = `"Type: Type"`; | ||
|
||
exports[`compute Cdr -- just cdr 1`] = ` | ||
"(implicit A, implicit B, target) => cdr(target): ( | ||
implicit A: Type, | ||
implicit B: (A) -> Type, | ||
target: exists (A) B(x), | ||
) -> B(car(target))" | ||
`; | ||
|
||
exports[`compute Cdr -- my_cdr 1`] = `""b": String"`; | ||
|
||
exports[`compute Cdr -- my_cdr -- infer FnImplicitAnnotated 1`] = `""b": String"`; |
42 changes: 42 additions & 0 deletions
42
src/lang/tests/compute/__snapshots__/compute-clazz-json.test.ts.snap
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,42 @@ | ||
// Vitest Snapshot v1, https://vitest.dev/guide/snapshot.html | ||
|
||
exports[`compute Clazz -- JSON > | ||
"class { | ||
\\"Hello, World!\\": String | ||
}: Type | ||
class { | ||
\\"Hello, World!\\": String = \\"Hi!\\" | ||
}: Type" | ||
1`] = ` | ||
"class { | ||
\\"Hello, World!\\": String | ||
}: Type | ||
class { | ||
\\"Hello, World!\\": String = \\"Hi!\\" | ||
}: Type" | ||
`; | ||
|
||
exports[`compute Clazz -- JSON: | ||
"class { | ||
"Hello, World!": String | ||
}: Type | ||
class { | ||
"Hello, World!": String = "Hi!" | ||
}: Type" | ||
1`] = ` | ||
"class { | ||
"Hello, World!": String | ||
}: Type | ||
class { | ||
"Hello, World!": String = "Hi!" | ||
}: Type" | ||
`; | ||
|
||
exports[`compute Clazz -- JSON 1`] = ` | ||
"class { | ||
"Hello, World!": String | ||
}: Type | ||
class { | ||
"Hello, World!": String = "Hi!" | ||
}: Type" | ||
`; |
82 changes: 82 additions & 0 deletions
82
src/lang/tests/compute/__snapshots__/compute-clazz.test.ts.snap
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,82 @@ | ||
// Vitest Snapshot v1, https://vitest.dev/guide/snapshot.html | ||
|
||
exports[`compute Clazz > | ||
"class { | ||
T: Type | ||
x: T | ||
}: Type | ||
class { | ||
a: String | ||
b: String | ||
c: String | ||
}: Type | ||
class { | ||
a: String | ||
b: String = \\"b\\" | ||
c: String | ||
}: Type" | ||
1`] = ` | ||
"class { | ||
T: Type | ||
x: T | ||
}: Type | ||
class { | ||
a: String | ||
b: String | ||
c: String | ||
}: Type | ||
class { | ||
a: String | ||
b: String = \\"b\\" | ||
c: String | ||
}: Type" | ||
`; | ||
|
||
exports[`compute Clazz: | ||
"class { | ||
T: Type | ||
x: T | ||
}: Type | ||
class { | ||
a: String | ||
b: String | ||
c: String | ||
}: Type | ||
class { | ||
a: String | ||
b: String = "b" | ||
c: String | ||
}: Type" | ||
1`] = ` | ||
"class { | ||
T: Type | ||
x: T | ||
}: Type | ||
class { | ||
a: String | ||
b: String | ||
c: String | ||
}: Type | ||
class { | ||
a: String | ||
b: String = "b" | ||
c: String | ||
}: Type" | ||
`; | ||
|
||
exports[`compute Clazz 1`] = ` | ||
"class { | ||
T: Type | ||
x: T | ||
}: Type | ||
class { | ||
a: String | ||
b: String | ||
c: String | ||
}: Type | ||
class { | ||
a: String | ||
b: String = "b" | ||
c: String | ||
}: Type" | ||
`; |
Oops, something went wrong.