erlang - renal - Cómo usar el dializador con los módulos de transformación de análisis

maquina de dialisis precio

Question

Intento utilizar el dializador en mi aplicación Erlang, pero aquí está el resultado:

dialyzer /
        --src -r src /
        -pa /home/niahoo/src/popos /
        -pa /home/niahoo/src/popos/deps/parse_trans /
        --verbose
  Checking whether the PLT c:/MinGW/msys/1.0/home/niahoo/.dialyzer_plt is up-to-date... yes
  Proceeding with analysis...
dialyzer: Analysis failed with error:
Could not scan the following file(s): [{"c:/MinGW/msys/1.0/home/niahoo/src/popos/src/tools/r.erl",
                                        ["c:/MinGW/msys/1.0/home/niahoo/src/popos/src/tools/r.erl:none: undefined parse transform ''exprecs''/n"]},
                                       {"c:/MinGW/msys/1.0/home/niahoo/src/popos/src/game/party2.erl",
                                        ["c:/MinGW/msys/1.0/home/niahoo/src/popos/src/game/party2.erl:none: undefined parse transform ''playerdupli''/n"]}]
Last messages in the log cache:
  Reading files and computing callgraph... 

Traté de poner playerdupli.erl en el mismo directorio que party2.erl , pero el resultado es el mismo. exprecs.erl está en deps: deps/parse_trans/src .

El código se compila y se ejecuta sin errores, incluyendo cosas de parse_transform. Estoy en MinGW (Windows 8 64). Alguna idea ?

Gracias

Answer 1

Entonces, debería haberme perdido algo en el documento. Existe el comando que funciona:

dialyzer /
    --src -r src /
    -pa /home/niahoo/src/popos /
    -pa ebin /
    -pa deps/parse_trans/ebin /
    --raw /
    --statistics /

-pa /home/niahoo/src/popos Permite que dilayzer encuentre incluido .hrl usado con include_lib -pa ebin permite encontrar mi módulo parse_transform (playerdupli) -pa deps/parse_trans/ebin idem. con exprecs

Answer 2

Una alternativa que siempre es más fácil, es compilar con +debug_info y dejar que +debug_info analice los archivos .beam resultantes.