나는과 같이 명령 행 REPL에 그것을 할 수 있다고 생각

Question

온라인 REPL에서 힌트와 경고를 사용하도록 설정하는 방법 :

java -jar frege-repl-1.0.3-SNAPSHOT.jar -hints -warnings 

을하지만 어떻게 http://try.frege-lang.org

Answer 1

힌트에 동일한 기능을 수행 할 수 있으며, 경고는 이미 기본적으로 활성화되어 있습니다. 예를 들어,

frege> f x = f x 
function f :: α -> β 
3: application of f will diverge. 

아마도 우리는 명시 적으로 같은 경고 나 (대신 그들을 구별 색상의) 힌트 뭔가로 말함으로써 더 나은 그것을 만들 수 있습니다 :

[Warning] 3: application of f will diverge. 

하고 그들을 설정하는 옵션을 제공/떨어져서.

는 업데이트 : 실제로 문제가 발생했습니다 컴파일시 이후 단계에서 생성되는 경고를 보여주는 (지적 해 주셔서 감사합니다 잉고!). This issue이 수정되었으며 다음 예제는 이제 REPL에 경고를 올바르게 표시합니다.

frege> h x = 0; h false = 42 
function h :: Bool -> Int 
4: equation or case alternative cannot be reached. 

frege> f false = 6 
function f :: Bool -> Int 
5: function pattern is refutable, consider 
adding a case for true