Skip to content

Commit b2a63e8

Browse files
committed
rerun tests
1 parent 87d2ca7 commit b2a63e8

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

shared/src/test/diff/basics/Data.fun

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ data Person(name: string, age: int)
1313
//│ Parsed: data Person(...'(' {[name: string, age: int,]} ')');
1414
//│ Desugared: class Person: {age: int, name: string}
1515
//│ Desugared: def Person: (name: string, age: int) -> Person[]
16-
//│ AST: Def(false,Var(Person),Right(PolyType(List(),Function(Tuple(List((Some(Var(name)),Field(None,TypeName(string))), (Some(Var(age)),Field(None,TypeName(int))))),AppliedType(TypeName(Person),List())))),true)
16+
//│ AST: Def(false,Var(Person),Right(PolyType(List(),Function(Tuple(List((Some(Var(name)),Field(None,TypeName(string),false)), (Some(Var(age)),Field(None,TypeName(int),false)))),AppliedType(TypeName(Person),List())))),true)
1717
//│ Defined class Person
1818
//│ Person: (name: string, age: int,) -> Person
1919

shared/src/test/diff/basics/Datatypes.fun

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -124,7 +124,7 @@ data type List a of
124124
//│ Desugared: def Nil: forall a. Nil[a]
125125
//│ AST: Def(false,Var(Nil),Right(PolyType(List(Left(TypeName(a))),AppliedType(TypeName(Nil),List(TypeName(a))))),true)
126126
//│ Desugared: def Cons: forall a. (head: a) -> (tail: anything) -> Cons[a]
127-
//│ AST: Def(false,Var(Cons),Right(PolyType(List(Left(TypeName(a))),Function(Tuple(List((Some(Var(head)),Field(None,TypeName(a))))),Function(Tuple(List((Some(Var(tail)),Field(None,Top)))),AppliedType(TypeName(Cons),List(TypeName(a))))))),true)
127+
//│ AST: Def(false,Var(Cons),Right(PolyType(List(Left(TypeName(a))),Function(Tuple(List((Some(Var(head)),Field(None,TypeName(a),false)))),Function(Tuple(List((Some(Var(tail)),Field(None,Top,false)))),AppliedType(TypeName(Cons),List(TypeName(a))))))),true)
128128
//│ Defined type alias List[+a]
129129
//│ Defined class Nil[±a]
130130
//│ Defined class Cons[+a]

0 commit comments

Comments
 (0)