Merge pull request google-research#696 from google-research/record-re…

…f-typecheck Add missing `RecordRef` case in `typeCheckCon`. Fixes google-research#529.
axch · Nov 23, 2021 · ecfbb83 · ecfbb83
2 parents f8d8c6d + 291aca2
commit ecfbb83
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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