Wo sind die magischen Regeln für GHC?

Question

http://hackage.haskell.org/package/base-4.6.0.1/docs/src/GHC-Base.html#assert scheint zu definieren assert zu einem No-Op. Wo ist die Logik, die dies zu etwas anderem macht, wenn Behauptungen aktiviert sind?

Answer 1

Der Kommentar über dieser Funktion gibt einen Hinweis:

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

Also, nur Github-Suche verwenden und für assertError suchen: RnExpr.lhssearch results

Dies taucht die Datei. Die Suche nach assert in dieser Datei finden Sie den folgenden Code finden:

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) } } 

Das ist, wo es assert von assertError ersetzt, aber nur, wenn Behauptungen sind aktiviert. assertError ist definiert in GHC.IO.Exception