Project

General

Profile

« Previous | Next » 

Revision 7ee5f69e

Added by LĂ©lio Brun 9 months ago

corrections on loggers + spec in AST

View differences:

src/backends/Ada/ada_backend.ml
92 92
      | Expr_appl call -> assert false
93 93
      *)
94 94
  in
95
  match m.mspec with
95
  match m.mspec.mnode_spec with
96 96
    | Some (NodeSpec ident) ->
97 97
      begin
98 98
        let machine_spec = find_submachine_from_ident ident machines in
99 99
        let guarantees =
100
          match machine_spec.mspec with
100
          match machine_spec.mspec.mnode_spec with
101 101
            | Some (Contract contract) ->
102 102
                assert (contract.consts=[]);
103 103
                assert (contract.locals=[]);
......
126 126
  let module Wrapper = Ada_backend_wrapper.Main in
127 127

  
128 128
  let is_real_machine m =
129
    match m.mspec with
129
    match m.mspec.mnode_spec with
130 130
      | Some (Contract _) -> false
131 131
      | _ -> true
132 132
  in

Also available in: Unified diff