| 48 |
and branches = { |
and branches = { |
| 49 |
mutable br_typ : Types.descr; |
mutable br_typ : Types.descr; |
| 50 |
br_accept : Types.descr; |
br_accept : Types.descr; |
| 51 |
br_branches: branch list |
br_branches: branch list; |
| 52 |
|
|
| 53 |
|
mutable br_compiled : compiled_branches option; |
| 54 |
} |
} |
| 55 |
and branch = { |
and branch = { |
| 56 |
mutable br_used : bool; |
mutable br_used : bool; |
| 57 |
br_pat : tpat; |
br_pat : tpat; |
| 58 |
br_body : texpr |
br_body : texpr |
| 59 |
} |
} |
| 60 |
|
and compiled_branches = { |
| 61 |
|
actions : Patterns.Compile.actions; |
| 62 |
|
rhs : (texpr * (string * int) list) array |
| 63 |
|
} |
Parent Directory
| 
Revision Log
| 
Patch