나는 지난 몇 일 동안 제대로 설치 행복 얻을려고 노력했습니다, 그리고 내가 발견하면서 도전 (apt-get와 happy-1.19를 설치하고 PATH에 /opt/happy/1.19.3/bin을 추가하여) cabal install happy에뿐만 아니라 오류를 얻을 수 이제는 소스를 통해 ProduceCode (15/18)이 될 때까지 계속 실행되며 무한 루
해피 (1.19.5) 최신 버전에서 a bug에 대해 실행 중입니다. 어떻게 stack에 가서 git repo에서만 찾을 수있는 더 행복한 버전의 Happy (1.19.6)을 찾겠습니까? 지금 당장은 모든 것을 관리하는 스택을 제공합니다. 해피에 대한 유일한 언급은 내 음모 파일에 있습니다. 관련 부분은 다음과 같습니다 packages:
- locatio
현재 언어를 구문 분석하는 데 happy을 사용하고 있지만 LALR 파서 인 경우를 제외하고는 파서가 적절하지 않다고 생각합니다. 문법에서 발췌 한 내용은 다음과 같습니다. ArithExpr -> ArithExpr + ArithExpr
ArithExpr -> (ArithExpr)
ArithExpr -> ...
BoolExpr -> ArithExpr
변수 내가 그것을 실행하면 나는이 terms
: term { [$1] }
| term terms { $1 : $2 }
term
: var '=' int { Assign $1 $3 }
| print var { Print $2 }
같은 구조물이 행복 지금까지 정의한 문법 하스켈을 사용하여, X
나는 현재 행복 언어 & Alex를 사용하여 장난감 언어 의 컴파일러에 대한 파서를 작성하고 있습니다. 선택적 레이아웃의 일부 형식이 필요하기 때문에 비 -과 일치하기 전에 Alex의 상태를 변경해야합니다. 불행히도 해피가 요구하는 미리보기 토큰은 전에 읽은 것 같습니다 알렉스의 상태를 변경할 수있는 기회가 있습니다. 이 문제에 대한 일반적인 접근 방식은
행복에서 GLR 파서를 생성하려고하는데 파일이 생성되면 오류가 발생합니다. 여기 는 ABC.y 예, 그래서 내가 노력하고 무엇을 명확 : {
module Main where
}
%name ps1 s1
%tokentype { ABC }
%error { parseError }
%token
a { A }
b { B }
c {
해피/알렉스를 사용하여 파서를 작성 중이며 파싱하는 문법이 전적으로 컨텍스트가 자유롭지 않기 때문에 필자는 미리보기 토큰을 보유해야합니다. Happy documentation는 n : t_1 ... t_n {%^ <expr> }
그래서 나는 규칙 이것은 .hs가 GHC 구문 분석 할 수없는 파일을 생성 gdecl : type ident paramLi
<과 <<이 모두 포함 된 언어를 구문 분석하고 있습니다. 내 알렉스 정의에서 나는에의보다 적게보다는으로 tokens :-
"<" { token Lt }
"<<" { token (BinOp Shl) }
내가 <<가 발생할 때마다 그래서, 왼쪽 교대로 토큰 화됩니다 및 하지 같은 것을 포함 무언가를 가지고있다. 이것은 토큰 화 후에 공백을
happy의 소스 트리는 AttrGrammarParser.ly과 Parser.ly이고 alex의 소스 트리는 Scan.x입니다. 그러나 happy을 컴파일하기 위해 말할 수있는 한, .ly 파일을 .lhs 개의 파일로 변환해야합니다 ... 을 컴파일하기 위해 .x 파일을 .hs 파일로 변환해야합니다. alex. 그래서 두 도구 중 하나를 컴파일하려면 여기에
파스칼 문법에 따르면 프로그램은 점으로 끝납니다. 그리고 Free Pascal (FPC/Lazarus)은 나머지 문자를 생략합니다. 비슷한 동작이 필요합니다. 커스텀 모나드 토크 나이 저는 하나의 게으 르기 때문에, 기본 규칙이 성공했을 때 계속해서 행복을하지 않기를 바랄뿐입니다. 기본적으로 나는이 같은 somithng 싶습니다 :이 마지막 점을 분석 한