From d8fb866c04b9221c9ef8e23f924db08045591cdd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?P=C3=A9ter=20Divi=C3=A1nszky?= <divipp@gmail.com>
Date: Mon, 29 Feb 2016 22:16:35 +0100
Subject: [PATCH] fix haddock build

---
 src/LambdaCube/Compiler/CoreToIR.hs | 2 +-
 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
 
 instance Up ExpTV where
     up_ n i (ExpTV x xt vs) = error "up @ExpTV" --ExpTV (up_ n i x) (up_ n i xt) (up_ n i <$> vs)
-    used i (ExpTV x xt vs) = used i x || used i xt -- || any (used i) vs{-?-}
+    used i (ExpTV x xt vs) = used i x || used i xt -- -|| any (used i) vs{-?-}
     fold = error "fold @ExpTV"
     maxDB_ (ExpTV a b cs) = maxDB_ a <> maxDB_ b -- <> foldMap maxDB_ cs{-?-}
     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
     guardNode v [w] e = case w of
         PVar _ -> {-todo guardNode v (subst x v ws) $ -} varGuardNode 0 v e
         PParens p -> guardNode v [p] e
-        ViewPat f (ParPat p) -> guardNode (f `SAppV` v) p {- $ guardNode v ws -} e
-        PCon (_, s) ps' -> GuardNode v s ps' {- $ guardNode v ws -} e
+        ViewPat f (ParPat p) -> guardNode (f `SAppV` v) p {- -$ guardNode v ws -} e
+        PCon (_, s) ps' -> GuardNode v s ps' {- -$ guardNode v ws -} e
 
     varGuardNode v (SVar _ e) = substGT v e
 
@@ -990,7 +990,7 @@ compileFunAlts compilegt ds xs = dsInfo >>= \ge -> case xs of
             : as
             | (m, t) <- ms
 --            , let ts = fst $ getParamsS $ up1 t
-            , let as = [ FunAlt m p $ Right {- $ SLam Hidden (Wildcard SType) $ up1 -} $ SLet m' e $ SVar mempty 0
+            , let as = [ FunAlt m p $ Right {- -$ SLam Hidden (Wildcard SType) $ up1 -} $ SLet m' e $ SVar mempty 0
                       | Instance n' i cstrs alts <- ds, n' == n
                       , Let m' ~Nothing e <- alts, m' == m
                       , let p = zip ((,) Hidden <$> ps) i ++ [((Hidden, Wildcard SType), PVar (mempty, ""))]