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)