[erlang-questions] Dialyzer bugs help

Anthony Ramine n.oxyde@REDACTED
Thu Jan 2 22:19:39 CET 2014

Hello again Sean, hello Kostis,

There is something in Dialyzer that makes it say weird stuff about unused unexported functions.




p_assert(P) ->
    fun(Input,Index) ->
        case P(Input,Index) of
            {fail,_} = Failure -> Failure;
            _ -> {[], Input, Index}

If compiled with -DEXPORT, Dialyzer stays silent; if compiled without, Dialyzer yells.

Interestingly enough, it also unexpectedly yells if compiled with +export_all.


Anthony Ramine

Le 2 janv. 2014 à 22:09, Anthony Ramine <n.oxyde@REDACTED> a écrit :

> Still fighting these two.

More information about the erlang-questions mailing list