Changes between Version 3 and Version 4 of PrimBool


Ignore:
Timestamp:
Jan 25, 2013 10:02:56 AM (15 months ago)
Author:
jstolarek
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PrimBool

    v3 v4  
    3131During the compilation process (assuming the optimizations are turned on) the definition of `(||)` gets inlined and then case-of-case transform is performed succesively. This results in following Core (cleaned up for clarity): 
    3232 
     33{{{ 
    3334case <# x 0 of _ { 
    3435  False -> 
     
    4748  True -> E1 
    4849}; 
     50}}} 
    4951 
    5052and in following assembler code: