Project

General

Profile

Revision 04a188ec src/corelang.ml

View differences:

src/corelang.ml
15 15
(*open Dimension*)
16 16

  
17 17

  
18
exception Error of Location.t * Error.error_kind
19

  
20 18
module VDeclModule =
21 19
struct (* Node module *)
22 20
  type t = var_decl
......
1438 1436
       if Basic_library.is_expr_internal_fun e then
1439 1437
         Basic_library.partial_eval op args opt
1440 1438
       else
1441
         Expr_appl (op, pa e, opt)
1439
         Expr_appl (op, args, opt)
1442 1440
    | Expr_array el ->
1443 1441
       Expr_array (List.map pa el)
1444 1442
    | Expr_access (e, d) ->

Also available in: Unified diff