Skip to content

HieAST missing types with record-dot-syntax

Summary

HieAST doesn't contain the proper type information for record dot syntax usage.

Steps to reproduce

Here is a sample program that demonstrates the issue. The program is written for 9.2.2, but the output is the same for the 9.4 pre-release.

Expected behavior

I expect HieAST to have type information for the nodes that correspond to the use of record-dot-syntax. Instead, the node corresponding to x.b has no type information, shown below.

          Node@app/Test.hs:14:17-19: Source: From source
                                     {(annotations: {(HsApp, HsExpr), (XExpr, HsExpr)}), 
                                      (types: []),  (identifier info: {})}

The full outputs/comparison are also shown in the readme of the sample program above.

Environment

  • GHC version used: 9.2.2
  • (also tested on 9.4 prerelease with some modifications to sample code, but gives identical output)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information