dialyzer

0열

1답변

에서 추상화 위반이 발생할 불투명 유형을 가져올 수 없습니다 것은 불투명 한 유형 정의하는 모듈입니다 : 여기 -module(a). -export([people/0, get_names/1]). -export_type([person/0]). -opaque person() :: {person, first_name()}. -type first_name

0열

1답변

Erlang 유형 스펙이 사전 처리되는 방법

Erlang 믹서 라이브러리 (https://github.com/opscode/mixer)를 확장하여 "-spec()"을 전달하려고합니다. 모듈에 추가 할 함수의 행. 그러나 erlc이 코어 얼랭 코드에 스펙을 저장하는 방법에 대해서는 분명하지 않습니다. 나는 정말 간단 (테스트) 모듈 시작 : (module_info 기능 제거) -module(mix1).

1열

1답변

Erlang Dialyzer가 다음 코드에서 유형 오류를 찾을 수없는 이유는 무엇입니까?

free_vars_in_dterm({var, V}) -> {var, V}; 명백하게 수표를 입력 할 수는 없지만 투석기는 모든 것이 정상이라고 말합니다. $ dialyzer *erl Checking whether the PLT ~/.dialyzer_plt is up-to-date... yes Proceeding with analysis..

2열

1답변

프로토콜에 대한 Dialyzer 오류를 방지하는 방법은 무엇입니까?

간단한 프로토콜 수익률 투석기 경고 두 종류 : dtest.ex:2: The specification for 'Elixir.Dtest.Valid':'__protocol__'/1 states that the function might also return 'true' but the inferred return is 'Elixir.Dtest.Valid'

3열

2답변

Erlang 빔에서 Dialyzer를 사용하는 것과 소스 코드간에 효율성 차이가 있습니까?

나는 그것은 잘 작동합니다 ~/erl_beam dialyzer ~/erl_beam/*.beam --get_warnings -o static_analysis.log 같은 경로에 프로젝트의 모든 빔 파일을 수집합니다. 내가 얼랑 소스 코드에 그것을 할 경우 dialyzer --get_warnings -I <Path1> --src <Path2> -o stat

3열

2답변

Erlang Dialyzer 정수 범위

-module(test). -export([f/0, g/0]). -spec f() -> RESULT when RESULT :: 0..12 . -spec g() -> RESULT when RESULT :: 0..13 . f() -> 100 . g() -> 100 . 투석기 (및 타이 퍼)가 작동 중일 경우 f 만 걸립

2열

1답변

얼랑 : NIFS를 구현할 때 NIFS 및 투석기 경고

은 투석기 같은 (필자는 .erl 모듈 종료을하기 때문에 기능 CRC16/1 아마 로컬 반환 이없는 나에게 준다 공식 문서가) 추천 : -module(my_nifs). -export([crc16/1]). -on_load(init/0). init() -> ok = erlang:load_nif("../nifs/my_nifs", 0). -s

1열

1답변

입력 된 목록 typespec 당신이 typespec을 정의하고 매개 변수의 다른 유형을 사용하는 경우 다음과 유사한 오류가 표시됩니다

계약을 중단하지 그 타입 식별자를 정의 할 문자열 목록을받는 메소드를 가지고 있다면 타입리스트에 대해 작동하지 않는 것처럼 보이거나 적어도 경고를 표시하지 않습니다 : 투석기를 실행할 때 내가 다음 목록에 대한 사양을 정의하고 그것을 불평하지 않습니다, 즉 : @spec check?(list(boolean)) :: boolean @spec check?(l

1열

1답변

Ecto changesets 및 Dialyzer 오류

나는 우산 앱을 가지고 있습니다. 나는 Dialyzer의 가치를보고 그것으로 시작하려고합니다. 나는 꽤 멀리 왔지만 나는 해결할 수없는 Ecto 주변에 문제가있다. 이것은 인증을 처리하는 작은 응용 프로그램 용입니다. 가장 간단한 예를 모두 다듬을 수 있습니다. 엘 릭시 1.4.2 및 다이얼 키어 0.4.0을 사용하십시오. defmodule Auth.Acc

0열

1답변

레코드에서 필드를 삭제할 때 Dialyzer 오류가 발생했습니다.

스키마 업그레이드를 위해 mnesia 테이블 변환을 수행하려고합니다. 내 새 스키마에서 레코드의 이전 정의에서 한 필드를 삭제했습니다. 나머지 스키마는 변경되지 않습니다. 다음은 몇 가지 코드입니다. XformFun = fun(OldRecord) -> NewRecord = #bdm_employee{id=element(2, OldRecord), na