@@ -565,7 +565,7 @@ check' val kt@(KindedType ty kind) = do
565565 val' <- check' val ty
566566 return $ TypedValue True val' kt
567567check' (PositionedValue pos _ val) ty =
568− rethrowWithPosition pos $ check val ty
568+ rethrowWithPosition pos $ check' val ty
569569check' val ty = throwError $ mkErrorStack ("Expr does not have type " ++ prettyPrintType ty) (Just (ExprError val))
570570
571571containsTypeSynonyms :: Type -> Bool