diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-02-29 22:16:35 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-29 22:16:35 +0100 |
commit | d8fb866c04b9221c9ef8e23f924db08045591cdd (patch) | |
tree | e5e24165f6dcf558d96af70ab8e194560f7819dc /src | |
parent | 9c354f86941fb9b9b1d50cadb24793f22712be45 (diff) |
fix haddock build
Diffstat (limited to 'src')
-rw-r--r-- | src/LambdaCube/Compiler/CoreToIR.hs | 2 | ||||
-rw-r--r-- | src/LambdaCube/Compiler/Parser.hs | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/LambdaCube/Compiler/CoreToIR.hs b/src/LambdaCube/Compiler/CoreToIR.hs index 5ecf93ab..155c05d6 100644 --- a/src/LambdaCube/Compiler/CoreToIR.hs +++ b/src/LambdaCube/Compiler/CoreToIR.hs | |||
@@ -906,7 +906,7 @@ mkEnv xs = {-trace_ ("mk " ++ show (length xs)) $ -} zipWith up [1..] xs | |||
906 | 906 | ||
907 | instance Up ExpTV where | 907 | instance Up ExpTV where |
908 | up_ n i (ExpTV x xt vs) = error "up @ExpTV" --ExpTV (up_ n i x) (up_ n i xt) (up_ n i <$> vs) | 908 | up_ n i (ExpTV x xt vs) = error "up @ExpTV" --ExpTV (up_ n i x) (up_ n i xt) (up_ n i <$> vs) |
909 | used i (ExpTV x xt vs) = used i x || used i xt -- || any (used i) vs{-?-} | 909 | used i (ExpTV x xt vs) = used i x || used i xt -- -|| any (used i) vs{-?-} |
910 | fold = error "fold @ExpTV" | 910 | fold = error "fold @ExpTV" |
911 | maxDB_ (ExpTV a b cs) = maxDB_ a <> maxDB_ b -- <> foldMap maxDB_ cs{-?-} | 911 | maxDB_ (ExpTV a b cs) = maxDB_ a <> maxDB_ b -- <> foldMap maxDB_ cs{-?-} |
912 | closedExp (ExpTV a b cs) = ExpTV (closedExp a) (closedExp b) cs | 912 | closedExp (ExpTV a b cs) = ExpTV (closedExp a) (closedExp b) cs |
diff --git a/src/LambdaCube/Compiler/Parser.hs b/src/LambdaCube/Compiler/Parser.hs index 996869cd..12cc6197 100644 --- a/src/LambdaCube/Compiler/Parser.hs +++ b/src/LambdaCube/Compiler/Parser.hs | |||
@@ -759,8 +759,8 @@ compileGuardTree ulend lend adts t = (\x -> traceD (" ! :" ++ ppShow x) x) $ g | |||
759 | guardNode v [w] e = case w of | 759 | guardNode v [w] e = case w of |
760 | PVar _ -> {-todo guardNode v (subst x v ws) $ -} varGuardNode 0 v e | 760 | PVar _ -> {-todo guardNode v (subst x v ws) $ -} varGuardNode 0 v e |
761 | PParens p -> guardNode v [p] e | 761 | PParens p -> guardNode v [p] e |
762 | ViewPat f (ParPat p) -> guardNode (f `SAppV` v) p {- $ guardNode v ws -} e | 762 | ViewPat f (ParPat p) -> guardNode (f `SAppV` v) p {- -$ guardNode v ws -} e |
763 | PCon (_, s) ps' -> GuardNode v s ps' {- $ guardNode v ws -} e | 763 | PCon (_, s) ps' -> GuardNode v s ps' {- -$ guardNode v ws -} e |
764 | 764 | ||
765 | varGuardNode v (SVar _ e) = substGT v e | 765 | varGuardNode v (SVar _ e) = substGT v e |
766 | 766 | ||
@@ -990,7 +990,7 @@ compileFunAlts compilegt ds xs = dsInfo >>= \ge -> case xs of | |||
990 | : as | 990 | : as |
991 | | (m, t) <- ms | 991 | | (m, t) <- ms |
992 | -- , let ts = fst $ getParamsS $ up1 t | 992 | -- , let ts = fst $ getParamsS $ up1 t |
993 | , let as = [ FunAlt m p $ Right {- $ SLam Hidden (Wildcard SType) $ up1 -} $ SLet m' e $ SVar mempty 0 | 993 | , let as = [ FunAlt m p $ Right {- -$ SLam Hidden (Wildcard SType) $ up1 -} $ SLet m' e $ SVar mempty 0 |
994 | | Instance n' i cstrs alts <- ds, n' == n | 994 | | Instance n' i cstrs alts <- ds, n' == n |
995 | , Let m' ~Nothing e <- alts, m' == m | 995 | , Let m' ~Nothing e <- alts, m' == m |
996 | , let p = zip ((,) Hidden <$> ps) i ++ [((Hidden, Wildcard SType), PVar (mempty, ""))] | 996 | , let p = zip ((,) Hidden <$> ps) i ++ [((Hidden, Wildcard SType), PVar (mempty, ""))] |