update: frontend

Author: cstml

lambda-buffers-frontend/src/LambdaBuffers/Frontend.hs

@@ -160,7 +160,7 @@ checkReferences scope m = for_ (moduleTyDefs m) (checkBody . tyBody)
     checkConstructor (Constructor _ (Product tys _) _) = for tys checkTy
 
     checkTy (TyApp tyF tyAs _) = checkTy tyF >> for_ tyAs checkTy
-    checkTy (TyVar _ _) = return ()
+    checkTy (TyVar _) = return ()
     checkTy (TyRef' tyR _) =
       if Map.member (strip tyR) scope
         then return ()

lambda-buffers-frontend/src/LambdaBuffers/Frontend/PPrint.hs

@@ -84,7 +84,7 @@ instance Pretty info => Pretty (TyRef info) where
   pretty (TyRef mayModAl tn _info) = maybe "" (\al -> pretty al <> ".") mayModAl <> pretty tn
 
 instance Pretty info => Pretty (Ty info) where
-  pretty (TyVar vn _info) = pretty vn
+  pretty (TyVar vn) = pretty vn
   pretty (TyRef' tr _info) = pretty tr
   pretty (TyApp tyF tyAs _info) = group $ encloseSep lparen rparen space (pretty <$> tyF : tyAs)
 

lambda-buffers-frontend/src/LambdaBuffers/Frontend/Parsec.hs

@@ -43,7 +43,7 @@ parseTyRef' = withSourceInfo . label' "type reference" $ do
   TyRef mayAlias <$> parseTyName
 
 parseTyVar :: Stream s m Char => Parser s m (Ty SourceInfo)
-parseTyVar = withSourceInfo . label' "type variable" $ TyVar <$> parseTyVarName
+parseTyVar = label' "type variable" $ TyVar <$> parseTyVarName
 
 parseTyRef :: Stream s m Char => Parser s m (Ty SourceInfo)
 parseTyRef = withSourceInfo . label' "type reference" $ TyRef' <$> parseTyRef'

lambda-buffers-frontend/src/LambdaBuffers/Frontend/Syntax.hs

@@ -42,7 +42,7 @@ data Import info = Import
   deriving stock (Eq, Ord, Show, Functor, Foldable, Traversable)
 
 data Ty info
-  = TyVar (VarName info) info
+  = TyVar (VarName info)
   | TyApp (Ty info) [Ty info] info
   | TyRef' (TyRef info) info
   deriving stock (Show, Eq, Ord, Functor, Foldable, Traversable)

lambda-buffers-frontend/src/LambdaBuffers/Frontend/ToProto.hs

@@ -92,11 +92,10 @@ toProduct (Product tys info) = do
       & ntuple . sourceInfo .~ toSourceInfo info
 
 toTy :: Ty SourceInfo -> ToProto P.Ty
-toTy (TyVar vn info) =
+toTy (TyVar vn) =
   return $
     defMessage
       & tyVar . varName .~ toVarName vn
-      & tyVar . sourceInfo .~ toSourceInfo info
 toTy (TyApp ty tys info) = do
   ty' <- toTy ty
   tys' <- for tys toTy