Removed dependent-open-union in favor of vinyl-plus

russellmcc · Jun 4, 2016 · a5c6af3 · a5c6af3
1 parent 13a79cd
commit a5c6af3
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 6 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,3 @@
-[submodule "dependent-open-union"]
-	path = dependent-open-union
-	url = https://github.com/ElvishJerricco/dependent-open-union.git
 [submodule "free"]
 	path = free
 	url = https://github.com/ekmett/free.git
diff --git a/dependent-open-union b/dependent-open-union
diff --git a/fraxl.cabal b/fraxl.cabal
@@ -27,7 +27,6 @@ library
                      , mtl
                      , dependent-sum
                      , dependent-map
-                     , dependent-open-union
                      , vinyl-plus
                      , type-aligned
   ghc-options:         -Wall

diff --git a/stack.yaml b/stack.yaml
@@ -3,7 +3,6 @@ extra-package-dbs: []
 packages:
 - '.'
 - free
-- dependent-open-union
 extra-deps:
 - text-1.2.2.1
 - vinyl-plus-0.1.1