Gdzie są magiczne zasady twierdzenia GHC?

Question

http://hackage.haskell.org/package/base-4.6.0.1/docs/src/GHC-Base.html#assert wydaje się definiować assert jako no-op. Gdzie jest logika, która zamienia to w coś innego, gdy włączone są asercje?

Answer 1

Komentarz powyżej tej funkcji daje wskazówkę:

-- Assertion function. This simply ignores its boolean argument. 
-- The compiler may rewrite it to @('assertError' line)@. 

Tak, wystarczy użyć kodu GitHub szukanie i wyszukać assertError: search results

To podkręca plik RnExpr.lhs. Szukając dochodzić w tym pliku, znajdziesz następujący kod:

finishHsVar :: Name -> RnM (HsExpr Name, FreeVars) 
-- Separated from rnExpr because it's also used 
-- when renaming infix expressions 
-- See Note [Adding the implicit parameter to 'assert'] 
finishHsVar name 
= do { this_mod <- getModule 
     ; when (nameIsLocalOrFrom this_mod name) $ 
     checkThLocalName name 

     ; ignore_asserts <- goptM Opt_IgnoreAsserts 
     ; if ignore_asserts || not (name `hasKey` assertIdKey) 
     then return (HsVar name, unitFV name) 
     else do { e <- mkAssertErrorExpr 
       ; return (e, unitFV name) } } 

To gdzie zastępuje assert przez assertError, ale tylko wtedy, gdy twierdzenia są włączone. assertError jest zdefiniowany w GHC.IO.Exception