Minor changes

szynwelski · Jan 17, 2016 · 84cfc9f · 84cfc9f
1 parent 7b1bca1
commit 84cfc9f
Show file tree

Hide file tree

Showing 7 changed files with 3 additions and 238 deletions.
diff --git a/documentation.sh b/documentation.sh
@@ -1,4 +1,6 @@
 #!/bin/sh
 cabal haddock --hyperlink-source
 sed -i 's/file\:\/\/\/usr\/local\/haskell\/ghc\-7\.8\.3\-x86_64\/share\/doc\/ghc\/html\/libraries\/\(base\-4\.7\.0\.1\)/http:\/\/hackage.haskell.org\/package\/\1\/docs/g' dist/doc/html/NLambda/NLambda.html
+sed -i 's/file\:\/\/\/usr\/local\/haskell\/ghc\-7\.8\.3\-x86_64\/share\/doc\/ghc\/html\/libraries\/\(containers\-0\.5\.5\.1\)/http:\/\/hackage.haskell.org\/package\/\1\/docs/g' dist/doc/html/NLambda/NLambda.html
+sed -i 's/file\:\/\/\/usr\/local\/haskell\/ghc\-7\.8\.3\-x86_64\/lib\/\(mtl\-2\.1\.3\.1\)\/doc\/html/http:\/\/hackage.haskell.org\/package\/\1\/docs/g' dist/doc/html/NLambda/NLambda.html
 sed -i 's/Nominal.html/NLambda.html/g' dist/doc/html/NLambda/NLambda.html
diff --git a/src/Main b/src/Main
diff --git a/src/Main.hs b/src/Main.hs
diff --git a/src/Nominal/Conditional.hs b/src/Nominal/Conditional.hs
@@ -21,7 +21,7 @@ instance Conditional b => Conditional (a -> b) where
 instance (Conditional a) => Conditional [a] where
     cond c l1 l2 = if length l1 == length l2
                            then zipWith (cond c) l1 l2
-                           else ifSolve c l1 l2 (error "cond cannot be applied to lists of different sizes with unsolvable condition")
+                           else ifSolve c l1 l2 (error "cond cannot be applied to lists of different sizes with undetermined condition")
 
 instance Conditional () where
     cond c _ _ = ()

diff --git a/src/Nominal/TestFormula.hs b/src/Nominal/TestFormula.hs
diff --git a/src/Nominal/Util/UnionFind.hs b/src/Nominal/Util/UnionFind.hs
diff --git a/src/TODO b/src/TODO