Project

General

Profile

« Previous | Next » 

Revision d2d9d4cb

Added by Pierre-Loïc Garoche about 5 years ago

Missing files

View differences:

src/inliner.ml
212 212 
  let inline_pair e1 e2 =
213 213 
    let el', l', eqs', asserts', annots' = inline_tuple [e1;e2] in
214 214 
    match el' with
215 
    | [e1'; e2'] -> e1', e2', l', eqs', asserts'
215 
    | [e1'; e2'] -> e1', e2', l', eqs', asserts', annots'
216 216 
    | _ -> assert false
217 217 
  in
218 218 
  let inline_triple e1 e2 e3 =

Also available in: Unified diff