Record constructor not properly matching in let-bindings

AshleyYakeley / Truth

Changes and Pinafore projects. Pull requests not accepted.

https://pinafore.info/

GNU General Public License v2.0

32 stars 0 forks source link

Closed AshleyYakeley closed 1 year ago

AshleyYakeley commented 1 year ago

let
data R of MkR of di: Integer end end;
MkR = let di = 3 in MkR;
in di

AshleyYakeley commented 1 year ago

Fixed.