Revision 9e5f8085
Added by Guillaume DAVY over 4 years ago
| src/compiler_stages.ml | ||
|---|---|---|
| 266 | 266 |
begin |
| 267 | 267 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. Ada code generation@."); |
| 268 | 268 |
Ada_backend.translate_to_ada |
| 269 |
basename prog machine_code dependencies
|
|
| 269 |
basename prog (Machine_code_common.arrow_machine::machine_code) dependencies
|
|
| 270 | 270 |
end |
| 271 | 271 |
| "horn" -> |
| 272 | 272 |
begin |
Also available in: Unified diff
Ada: Add support for arrows as an independent generic package, instantiated in each
package using it. It required a lot of refactoring.