Resolving dependencies...
Downloading typalyze-0.0.3...
Configuring typalyze-0.0.3...
Building typalyze-0.0.3...
Preprocessing executable 'typalyze' for typalyze-0.0.3...
[1 of 2] Compiling SST              ( src/SST.hs, dist/build/typalyze/typalyze-tmp/SST.o )

src/SST.hs:66:3:
    Constructor `HsIf' should have 4 arguments, but has been given 3
    In the pattern: HsIf e1 e2 e3
    In a case alternative:
        HsIf e1 e2 e3 -> sstLHsExpr e1 ++ sstLHsExpr e2 ++ sstLHsExpr e3
    In the expression:
      case hsExpr of {
        HsVar id -> [SST s (idType id)]
        HsIPVar _ -> []
        HsOverLit _ -> []
        HsLit _ -> []
        HsLam (MatchGroup lms ty) -> concatMap sstLMatch lms
        HsApp e1 e2 -> sstLHsExpr e1 ++ sstLHsExpr e2
        OpApp e1 e2 _ e3 -> sstLHsExpr e1 ++ sstLHsExpr e2 ++ sstLHsExpr e3
        NegApp e _ -> sstLHsExpr e
        HsPar e -> sstLHsExpr e
        SectionL e1 e2 -> sstLHsExpr e1 ++ sstLHsExpr e2
        SectionR e1 e2 -> sstLHsExpr e1 ++ sstLHsExpr e2
        HsCase e (MatchGroup lms _)
          -> sstLHsExpr e ++ concatMap sstLMatch lms
        HsIf e1 e2 e3 -> sstLHsExpr e1 ++ sstLHsExpr e2 ++ sstLHsExpr e3
        HsLet lbinds e -> sstHsLocalBinds lbinds ++ sstLHsExpr e
        HsDo _ stmts e _ -> foldr sstLStmt (sstLHsExpr e) stmts
        ExplicitList _ es -> concatMap sstLHsExpr es
        ExplicitPArr _ es -> concatMap sstLHsExpr es
        ExplicitTuple es _ -> concatMap sstLHsExpr es
        RecordCon _ _ recbinds -> []
        RecordUpd e recbinds _ _ _ -> sstLHsExpr e
        ExprWithTySig e _ -> sstLHsExpr e
        ExprWithTySigOut e _ -> sstLHsExpr e
        ArithSeq _ _ -> []
        PArrSeq _ _ -> []
        HsSCC _ e -> sstLHsExpr e
        HsCoreAnn _ e -> sstLHsExpr e
        HsBracket _ -> []
        HsBracketOut _ _ -> []
        HsSpliceE _ -> []
        HsProc _ _ -> []
        HsArrApp e1 e2 _ _ _ -> sstLHsExpr e1 ++ sstLHsExpr e2
        HsArrForm e _ _ -> sstLHsExpr e
        HsTick _ _ e -> sstLHsExpr e
        HsBinTick _ _ e -> sstLHsExpr e
        HsTickPragma _ e -> sstLHsExpr e
        HsWrap _ e -> sstLHsExpr (L s e) }

src/SST.hs:96:3:
    Constructor `ExprStmt' should have 4 arguments, but has been given 3
    In the pattern: ExprStmt e _ _
    In a case alternative: ExprStmt e _ _ -> sstLHsExpr e ++ i
    In the expression:
      case stmt of {
        BindStmt (L s' pat) e _ _
          -> sstLHsExpr e ++ [SST s' (hsPatType pat)] ++ i
        ExprStmt e _ _ -> sstLHsExpr e ++ i
        LetStmt lbinds -> sstHsLocalBinds lbinds ++ i
        _ -> i }
Failed to install typalyze-0.0.3
cabal: Error: some packages failed to install:
typalyze-0.0.3 failed during the building phase. The exception was:
ExitFailure 1