Project

General

Profile

Revision 8446bf03 src/basic_library.ml

View differences:

src/basic_library.ml
11 11

  
12 12
(* Parts of this file come from the Prelude compiler *)
13 13

  
14
open LustreSpec
14
(*open LustreSpec*)
15 15
open Type_predef
16 16
open Clock_predef
17 17
open Delay_predef
......
126 126
  | _                               -> List.mem x internal_funs
127 127

  
128 128
let is_expr_internal_fun expr =
129
  let open Lustre_types in
129 130
  match expr.expr_desc with
130 131
  | Expr_appl (f, e, _) -> is_internal_fun f (Types.type_list_of_type e.expr_type)
131 132
  | _                   -> assert false
132 133

  
133 134
let is_value_internal_fun v =
135
  let open Machine_code_types in
134 136
  match v.value_desc with
135 137
  | Fun (f, vl) -> is_internal_fun f (List.map (fun v -> v.value_type) vl)
136 138
  | _           -> assert false

Also available in: Unified diff