파섹

Question

나는 다음과 같은 구문 분석됩니다 파섹를 사용하여 파서 쓰기를 시도하고있어와 하스켈의 하위 집합을 구문 분석 다음 data 표현

data Nat = Z | S Nat 

plusNat :: Nat -> Nat -> Nat 
plusNat Z  m = m 
plusNat (S n) m = S (plusNat n m) 

을, 나는 다음과 같은 파서 있습니다

parseData = reserved "data" >> DataDefn 
     <$> identifier 
     <*> parseCnstr `sepBy` reservedOp "|" 

parseCnstr = DataCnstr <$> identifier <*> many parseTypeTerm 

parseType = buildExpressionParser table parseTypeTerm 
    where table = [[function]] 
      function = Infix (Function <$ reservedOp "->") AssocRight 

parseTypeTerm = TypeVar <$> identifier 
      <|> parens parseType 

을

그러나 위의 텍스트에서이 파서를 사용하는 경우 parseType 그래머는 plusNat이고 오류는 다음과 같습니다.

"test.hs" (line 3, column 9): 
unexpected ':' 
expecting "|" or end of input 

plusNat이 dataCnstr의 일부로 인식 되었기 때문에 문제가 무엇인지 압니다. dataCnstr 파서가 들여 쓰기되지 않은 새 줄을 가져올 때 멈추도록하려면 어떻게합니까? 나는뿐만 아니라 다음과 같은 구문 분석 할 수 있도록하려면

참고 :

data ReallyLongData reallyLongTypeVariable 
    = ReallyLongConstructor1 
    | ReallyLongConstructor2 
     reallyLongTypeVariable 
     (ReallyLongData reallyLongTypeVariable) 

concat :: ReallyLongData a -> ReallyLongData a -> ReallyLongData a 
concat = ... 

Answer 1

나 자신 Text.Parsec.Indent를 사용하여 해결했다.

parseData = withPos $ <old definition> 

parseCntr = (DataCnstr <$> identifier) <*/> parseTypeTerm 

이렇게하면 모든 들여 쓰기가 올바른 들여 쓰기로 구문 분석됩니다.