Changes between Version 1 and Version 2 of Inlining


Ignore:
Timestamp:
Mar 22, 2009 6:32:20 PM (5 years ago)
Author:
claus
Comment:

format fixes

Legend:

Unmodified
Added
Removed
Modified
  • Inlining

    v1 v2  
    2222 
    2323`{-# INLINE f g .. PEEL n #-}` 
    24    _new_: unfold definitions of the named identifiers at their call sites *outside* their recursion group `REC({f g ..})`. In other words, *entries into* `REC({f g ..})` via `f`, `g`, .. are unfolded. 
     24   __new__: unfold definitions of the named identifiers at their call sites '''outside''' their recursion group `REC({f g ..})`. In other words, '''entries into''' `REC({f g ..})` via `f`, `g`, .. are unfolded. 
    2525    
    2626   (for the special case of loops this corresponds to loop peeling) 
    2727 
    2828`{-# INLINE f g .. UNROLL m #-}` 
    29    _new_: unfold definitions of the named identifiers at their call sites *inside* their recursion group `REC({f g ..})`. In other words, *cross-references inside* `REC({f g ..})` via `f`, `g`, .. are unfolded. 
     29   __new__: unfold definitions of the named identifiers at their call sites '''inside''' their recursion group `REC({f g ..})`. In other words, '''cross-references inside''' `REC({f g ..})` via `f`, `g`, .. are unfolded. 
    3030    
    3131   (for the special case of loops this corresponds to loop unrolling)