Revision fc476249
Added by Teme Kahsai almost 8 years ago
| src/machine_code.ml | ||
|---|---|---|
| 161 | 161 |
node_spec = None; |
| 162 | 162 |
node_annot = []; } |
| 163 | 163 |
|
| 164 |
let arrow_top_decl = |
|
| 164 |
(*let arrow_top_decl =
|
|
| 165 | 165 |
{
|
| 166 | 166 |
top_decl_desc = Node arrow_desc; |
| 167 | 167 |
top_decl_owner = Version.include_path; |
| 168 | 168 |
top_decl_itf = false; |
| 169 | 169 |
top_decl_loc = Location.dummy_loc |
| 170 |
}*) |
|
| 171 |
|
|
| 172 |
let arrow_top_decl = |
|
| 173 |
{
|
|
| 174 |
top_decl_desc = Node arrow_desc; |
|
| 175 |
top_decl_owner = !Options.include_dir; |
|
| 176 |
top_decl_itf = false; |
|
| 177 |
top_decl_loc = Location.dummy_loc |
|
| 170 | 178 |
} |
| 171 | 179 |
|
| 180 |
|
|
| 172 | 181 |
let mk_val v t = { value_desc = v;
|
| 173 | 182 |
value_type = t; |
| 174 | 183 |
value_annot = None } |
Also available in: Unified diff
adding -I options to lustrec