Project

General

Profile

« Previous | Next » 

Revision 2475c9e8

Added by Pierre-Loïc Garoche over 7 years ago

Refactored EMF backend. Handle now the call to existing math and conv libraries

View differences:

src/corelang.ml
109 109 
let node_of_top top_decl =
110 110 
  match top_decl.top_decl_desc with
111 111 
  | Node nd -> nd
112 
  | _ -> assert false
112 
  | _ -> raise Not_found
113 113 

  		




  114
  114
  
    
let imported_node_of_top top_decl =


  		




  115
  115
  
    
  match top_decl.top_decl_desc with


  		












Also available in:  Unified diff