Merge pull request #4132 from Melvar/deshadow-data-string
Rename `contrib:Data.String`, was shadowing `base:Data.String`
commit4fa3c29c2e42394c1c35081e468f0eceeb6d7383
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateWed 18 Oct 2017, 15:20 (9 years ago)
parentde51bb08a559a9
libs/contrib/Data/String.idr → libs/contrib/Data/String/Extra.idrrenamed+1−1
@@ -1,4 +1,4 @@
1−module Data.String
1+module Data.String.Extra
22
33infixl 5 +>
44infixr 5 <+
libs/contrib/contrib.ipkg+1
@@ -38,6 +38,7 @@ modules = CFFI
3838 , Data.SortedSet
3939 , Data.Storable
4040 , Data.Stream.Extra
41+ , Data.String.Extra
4142 , Data.ZZ
4243 , Decidable.Decidable
4344 , Decidable.Order