fix compilation on Agda 2.3.0.1
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 26 Feb 2014 09:12:50 +0000 (10:12 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 26 Feb 2014 09:12:50 +0000 (10:12 +0100)
FinMap.agda

index b2db8f4..c8b078c 100644 (file)
@@ -38,7 +38,7 @@ fromAscList []             = empty
 fromAscList ((f , a) ∷ xs) = insert f a (fromAscList xs)
 
 fromFunc : {A : Set} {n : ℕ} → (Fin n → A) → FinMapMaybe n A
-fromFunc = tabulate ∘ _∘_ just
+fromFunc = tabulate ∘ _∘_ Maybe.just
 
 reshape : {n : ℕ} {A : Set} → FinMapMaybe n A → (l : ℕ) → FinMapMaybe l A
 reshape m        zero    = []