Project

General

Profile

« Previous | Next » 

Revision 0f36882c

Added by Xavier Thirioux over 6 years ago

several bugs/oddities corrected:
- bizarre date stamping (when generating .lusi files)
- bug in loading libraries, forbidding several (transitive) imports of the same library.
- plugin scopes was wrongly always activated

View differences:

src/plugins/scopes/scopes.ml
313 313

  
314 314
  let pp fmt = pp_scopes fmt !scopes_map
315 315

  
316
  let check_force_stateful () = true
316
  let check_force_stateful () = !option_scopes
317 317

  
318 318
  let refine_machine_code prog machine_code =
319 319
    if show_scopes () then

Also available in: Unified diff