Haskell AST不完全な位置情報

Question

私はどのASTノードがソースファイルのどの行に存在するかを知るために、Haskell ASTを構築しようとしています。これまでのところ、私はLanguage.Haskell.ParserとLanguage.Haskell.Syntaxを使っていますが、これはかなりうまくいくようです。ツリーを生成してから、各部分を実行して、srcLine loc（locはSrcLoc）を使用して行番号を取得します。

解析されたファイルは次のようになりますしかし、私は問題に実行しています：1

1| rangeLeq :: Integer -> NonnegRange 
2| rangeLeq n = 
3| Range BoundaryBelowAll (BoundaryAbove n) 

FILEファイルは簡単にこのように書かれている可能性：

FILE 2

1| rangeLeq :: Integer -> NonnegRange 
2| rangeLeq n = Range BoundaryBelowAll (BoundaryAbove n) 

問題は、パーサーがこれらの2つを同等に見なすことです。 SrcLocはすべてASTの特定の部分にのみ割り当てられます。だから私はで終わるものを両方のファイル1とファイル2のための次の出力は、次のとおりです。

line 1: HsTypeSig 
     |--HsIdent (rangeLeq) 
     |--HsQualType 
      |--HsContext 
      |--HsTyFun 
       |--HsTyCon 
       |--HsUnQual 
        |--HsIdent (Integer) 
       |--HsTyCon 
       |--HsUnQual 
        |--HsIdent (NonnegRange) 
line 2: HsMatch 
     |--HsIdent (rangeLeq) 
     |--HsPVar 
      |--HsIdent (n) 
     |--HsUnGuardedRhs 
      |--HsApp 
       |--HsApp 
       |--HsCon 
        |--HsUnQual 
         |--HsIdent (Range) 
       |--HsCon 
        |--HsUnQual 
         |--HsIdent (BoundaryBelowAll) 
       |--HsParen 
       |--HsApp 
        |--HsCon 
         |--HsUnQual 
          |--HsIdent (BoundaryAbove) 
        |--HsVar 
         |--HsUnQual 
          |--HsIdent (n) 

ので、ここでの問題は、それが関数定義を見ているように、ノードのほとんどには位置情報が存在しないということである（HsMatch ）を1行として出力します。それが不明な場合は、HsMatchはコード内にrangeLeq n = Range BoundaryBelowAll (BoundaryAbove n)を表します。 SrcLocが付属するASTの唯一の部分はHsMatchであるため、パーサーはHsMatchのすべての部分が同じ行にあると仮定しています。

tl;drソースファイル内の不必要に分割された行に、適切な行がタグ付けされるように、正しい解析を行うにはどうすればよいですか？ Id est、私はすべての単一ノードにというタグを付けるパースを、特定のノードだけでなくSrcLocとしたい。

Answer 1

haskell-src-extsは、every subexpressionに位置タグ（デフォルトでSrcSpanInfo）を持っています。あなたの2つの事例を明確にするのに十分な詳細を持っているべきです。