Add import Prelude.Functor in Prelude/Vect.idr
This is imported transitively through Prelude.List, but really should be
explicit.
commitad040c1ac5c75f88f5669cb103e8007a3413a8b1
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateSun 28 Jul 2013, 19:24 (13 years ago)
parent02367f9
lib/Prelude/Vect.idr+1
@@ -1,6 +1,7 @@
11module Prelude.Vect
22
33import Prelude.Fin
4+import Prelude.Functor
45import Prelude.List
56import Prelude.Nat
67