Project

General

Profile

« Previous | Next » 

Revision 0d065e73

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

Solved a bug in the compilation of asserts. Now different behavior depending on the backend:
functional: keep it as is
non func: introduce a fresh local var v and replace assert(e) by v=e; assert (v);

View differences:

src/compiler_common.ml
239 239
    deps
240 240
  end
241 241

  
242

  

Also available in: Unified diff