From 291aca29ee9f0a63271cf7374e94905484695455 Mon Sep 17 00:00:00 2001
From: Dougal <d.maclaurin@gmail.com>
Date: Mon, 22 Nov 2021 23:09:46 -0500
Subject: [PATCH] Add missing `RecordRef` case in `typeCheckCon`. Fixes #529.

---
 src/lib/Type.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/Type.hs b/src/lib/Type.hs
index ab65c5374..1c8414d05 100644
--- a/src/lib/Type.hs
+++ b/src/lib/Type.hs
@@ -638,7 +638,7 @@ typeCheckCon con = case con of
       return $ RawRefTy ty
     _ -> error $ "Not a valid ref: " ++ pprint conRef
   ParIndexCon t v -> t|:TyKind >> v|:IdxRepTy >> return t
-  RecordRef _ -> error "Not implemented"
+  RecordRef xs -> (RawRefTy . RecordTy . NoExt) <$> traverse typeCheckRef xs
 
 typeCheckRef :: HasType a => a -> TypeM Type
 typeCheckRef x = do