Dove sono le regole magiche per GHC asserire?

Question

http://hackage.haskell.org/package/base-4.6.0.1/docs/src/GHC-Base.html#assert sembra definire assert un no-op. Dov'è la logica che trasforma questo in qualcos'altro quando le asserzioni sono abilitate?

Answer 1

Il commento di cui sopra che la funzione dà un suggerimento:

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

Quindi, basta usare GitHub ricerca del codice e la ricerca di assertError: search results

Questo trasforma il file RnExpr.lhs. Ricerca di assert in questo file, troverete il seguente codice:

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

Ecco dove sostituisce assert da assertError, ma solo se le affermazioni sono abilitati. assertError è definito in GHC.IO.Exception