more typesig

3 files changed, 11 insertions, 4 deletions

diff --git a/src/LambdaCube/Compiler/DesugaredSource.hs b/src/LambdaCube/Compiler/DesugaredSource.hs
index fef5a1d5..d355b4b9 100644
--- a/src/LambdaCube/Compiler/DesugaredSource.hs
+++ b/src/LambdaCube/Compiler/DesugaredSource.hs
@@ -164,7 +164,7 @@ pattern SIName_ :: SI -> Maybe Fixity -> SName -> SIName
 pattern SIName_ si f n <- SIName__ _ si f n
   where SIName_ si f n =  SIName__ (fnameHash si n) si f n
 
-pattern SIName_ :: SI -> SName -> SIName
+pattern SIName :: SI -> SName -> SIName
 pattern SIName si n <- SIName_ si _ n
   where SIName si n =  SIName_ si Nothing n
 
@@ -220,8 +220,11 @@ data FNameTag
     | Fparens | FtypeAnn | Fundefined | Fotherwise | FprimIfThenElse | FfromTo | FconcatMap | FfromInt | Fproject | Fswizzscalar | Fswizzvector
 
     | FunsafeCoerce | FreflCstr | FhlistNilCase | FhlistConsCase
-    | FprimAddInt | FprimSubInt | FprimModInt | FprimSqrtFloat | FprimRound | FprimIntToFloat | FprimIntToNat | FprimCompareInt | FprimCompareFloat | FprimCompareChar | FprimCompareString
-    | FPrimGreaterThan | FPrimGreaterThanEqual | FPrimLessThan | FPrimLessThanEqual | FPrimEqualV | FPrimNotEqualV | FPrimEqual | FPrimNotEqual | FPrimSubS | FPrimSub | FPrimAddS | FPrimAdd | FPrimMulS | FPrimMul | FPrimDivS | FPrimDiv | FPrimModS | FPrimMod | FPrimNeg | FPrimAnd | FPrimOr | FPrimXor | FPrimNot
+    | FprimAddInt | FprimSubInt | FprimModInt | FprimSqrtFloat | FprimRound | FprimIntToFloat | FprimIntToNat
+    | FprimCompareInt | FprimCompareFloat | FprimCompareChar | FprimCompareString
+    | FPrimGreaterThan | FPrimGreaterThanEqual | FPrimLessThan | FPrimLessThanEqual | FPrimEqualV | FPrimNotEqualV | FPrimEqual | FPrimNotEqual
+    | FPrimSubS | FPrimSub | FPrimAddS | FPrimAdd | FPrimMulS | FPrimMul | FPrimDivS | FPrimDiv | FPrimModS | FPrimMod
+    | FPrimNeg | FPrimAnd | FPrimOr | FPrimXor | FPrimNot
 
     -- other
     | F_rhs | F_section
diff --git a/src/LambdaCube/Compiler/Parser.hs b/src/LambdaCube/Compiler/Parser.hs
index 8db4b855..69f1b7a4 100644
--- a/src/LambdaCube/Compiler/Parser.hs
+++ b/src/LambdaCube/Compiler/Parser.hs
@@ -76,6 +76,7 @@ instance PShow ParseWarning where
             addG x [] = x
             addG x xs = DOp "|" (Infix (-5)) x $ foldr1 (DOp "," (InfixR (-4))) xs
 
+trackSI :: SourceInfo a => BodyParser a -> BodyParser a
 trackSI p = do
     x <- p
     tell $ Right . TrackedCode <$> maybeToList (getRange $ sourceInfo x)
@@ -387,6 +388,7 @@ checkPattern ns = tell $ pure $ Left $
     [] -> Nothing
     xs -> Just $ MultiplePatternVars xs
 
+--postponedCheck :: _
 postponedCheck pr x = do
     tell [Left $ either (\(a, b) -> Just $ OperatorMismatch (pr a) (pr b)) (const Nothing) x]
     return $ either (const $ error "impossible @ Parser 725") id x
@@ -485,6 +487,7 @@ parseRHS tok = do
 
 parseDefs lhs = identation True parseDef >>= runCheck . compileStmt'_ lhs SRHS SRHS . concat
 
+--funAltDef :: BodyParser _ -> BodyParser _ -> BodyParser _
 funAltDef parseOpName parseName = do
     (n, (fee, tss)) <-
         case parseOpName of
@@ -512,6 +515,7 @@ parseExport =
         ExportModule <$ reserved "module" <*> moduleName
     <|> ExportId <$> varId
 
+importlist :: HeaderParser [SIName]
 importlist = parens $ commaSep upperLower
 
 parseExtensions :: HeaderParser [Extension]
diff --git a/src/LambdaCube/Compiler/Pretty.hs b/src/LambdaCube/Compiler/Pretty.hs
index a82f7ce6..05fdd096 100644
--- a/src/LambdaCube/Compiler/Pretty.hs
+++ b/src/LambdaCube/Compiler/Pretty.hs
@@ -28,7 +28,7 @@ import Debug.Trace
 
 import qualified Text.PrettyPrint.ANSI.Leijen as P
 
-import LambdaCube.Compiler.Utils
+import LambdaCube.Compiler.Utils(dropIndex, Void, elimVoid)
 
 -------------------------------------------------------------------------------- fixity