|
1 |
| -:NewDefs |
2 | 1 |
|
3 |
| -//:sd |
4 |
| -:p |
5 |
| -:nolift |
6 |
| -val a = { |
7 |
| - number: true |
8 |
| -} |
9 |
| -if a.number then 5 else 6 |
10 |
| -//│ |#val| |a| |#=| |{|→|number|#:| |true|←|↵|}|↵|#if| |a|.number| |#then| |5| |#else| |6| |
11 |
| -//│ AST: TypingUnit(List(NuFunDef(Some(false),Var(a),None,List(),Left(Bra(true,Rcd(List((Var(number),Fld(_,Var(true)))))))), If(IfThen(Sel(Var(a),Var(number)),IntLit(5)),Some(IntLit(6))))) |
12 |
| -//│ Lifted: |
13 |
| -//│ TypingUnit(List(NuFunDef(Some(false),Var(a),None,List(),Left(Bra(true,Rcd(List((Var(number),Fld(_,Var(true)))))))), If(IfThen(Sel(Var(a),Var(number)),IntLit(5)),Some(IntLit(6))))) |
14 |
| -//│ TypingUnit { |
15 |
| -//│ let a = '{' {number: true} '}' |
16 |
| -//│ Code(List(if ((a).number) then 5 else 6)) |
17 |
| -//│ } |
18 |
| -//│ Parsed: let a = '{' {number: true} '}'; if ((a).number) then 5 else 6; |
19 |
| -//│ val a: {number: true} |
20 |
| -//│ 5 | 6 |
21 |
| -//│ a |
22 |
| -//│ = { number: true } |
23 |
| -//│ res |
24 |
| -//│ = 5 |
25 |
| - |
26 |
| - |
27 |
| -//:sd |
28 |
| -//:dsd |
29 |
| -:nolift |
30 |
| -:p |
31 |
| -class X() { |
32 |
| - val inner = 6 |
33 |
| -} |
34 |
| -val b = X() |
35 |
| -b.inner |
36 |
| -//│ |#class| |X|(||)| |{|→|#val| |inner| |#=| |6|←|↵|}|↵|#val| |b| |#=| |X|(||)|↵|b|.inner| |
37 |
| -//│ AST: TypingUnit(List(NuTypeDef(Cls,TypeName(X),List(),Some(Tup(List())),None,None,List(),None,None,TypingUnit(List(NuFunDef(Some(false),Var(inner),None,List(),Left(IntLit(6)))))), NuFunDef(Some(false),Var(b),None,List(),Left(App(Var(X),Tup(List())))), Sel(Var(b),Var(inner)))) |
38 |
| -//│ Lifted: |
39 |
| -//│ TypingUnit(List(NuTypeDef(Cls,TypeName(X),List(),Some(Tup(List())),None,None,List(),None,None,TypingUnit(List(NuFunDef(Some(false),Var(inner),None,List(),Left(IntLit(6)))))), NuFunDef(Some(false),Var(b),None,List(),Left(App(Var(X),Tup(List())))), Sel(Var(b),Var(inner)))) |
40 |
| -//│ TypingUnit { |
41 |
| -//│ class X([]) {let inner = 6} |
42 |
| -//│ let b = X() |
43 |
| -//│ Code(List((b).inner)) |
44 |
| -//│ } |
45 |
| -//│ Parsed: class X() {let inner = 6}; let b = X(); (b).inner; |
46 |
| -//│ class X() { |
47 |
| -//│ val inner: 6 |
48 |
| -//│ } |
49 |
| -//│ val b: X |
50 |
| -//│ 6 |
51 |
| -//│ b |
52 |
| -//│ = X {} |
53 |
| -//│ res |
54 |
| -//│ = 6 |
0 commit comments