Fix access for file and cabal files.
commit99b8194f0930a324d1d6ff28791a03b9bc604085
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateThu 18 Jun 2015, 08:24 (11 years ago)
parentff5b230
idris.cabal+1
@@ -123,6 +123,7 @@ Extra-source-files:
123123 libs/effects/Makefile
124124 libs/effects/effects.ipkg
125125 libs/effects/Effect/*.idr
126+ libs/effects/Effect/*.idr
126127 libs/effects/*.idr
127128
128129 test/Makefile
libs/effects/Effect/Logging/Level.idr+1
@@ -6,6 +6,7 @@
66||| Common aliases and definitions of Logging Levels.
77module Effect.Logging.Level
88
9+%access public
910-- ---------------------------------------------- [ Nat Derived Logging Levels ]
1011--
1112-- Several aliases have been defined to aide in semantic use of the