Commit c23c7582 authored by Marc Coiffier's avatar Marc Coiffier
Browse files

Successful build (on Tue Apr 30 01:10:13 CEST 2019)

parent ecdb60e6
......@@ -172,8 +172,8 @@ instance (Show a,IsCapriconString str,MonadReader (Env str (Term str a)) m,Monad
substHyp h vh = do
ContextTerm dm vh' <- pullTerm (Just h) vh
first (\f cv@(ContextTerm d v) ->
if d <= dm then cv
else ContextTerm (d-1) (inc_depth ((d-1)-dm) $ f $ inc_depth (dm-d) v)) <$>
if d <= dm then trace "no" cv
else trace "yes" $ ContextTerm (d-1) (inc_depth ((d-1)-dm) $ f $ inc_depth (dm-d) v)) <$>
substHyp h vh'
insertHypBefore h h' cth' = do
ContextTerm dh th' <- pullTerm h cth'
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment