Skip to content

Commit

Permalink
Add missing RecordRef case in typeCheckCon. Fixes google-research…
Browse files Browse the repository at this point in the history
  • Loading branch information
dougalm committed Nov 23, 2021
1 parent f8d8c6d commit 291aca2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/lib/Type.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 291aca2

Please sign in to comment.