[1 of 9] Compiling Base ( Base.hs, build\Base.o )
Base.hs:59:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for `set_at':
Patterns of type `N', `a', `[a]' not matched:
p _ [] where p is not one of {0}
0 _ []
|
59 | set_at 0 z (x:xs) = z : xs
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^...
Base.hs:63:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for `insert_at':
Patterns of type `N', `a', `[a]' not matched:
p _ [] where p is not one of {0}
|
63 | insert_at 0 z xs = z : xs
| ^^^^^^^^^^^^^^^^^^^^^^^^^^...
Base.hs:67:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for `append_at':
Patterns of type `N', `[a]', `[a]' not matched:
p _ [] where p is not one of {0}
|
67 | append_at 0 zs xs = zs ++ xs
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
Base.hs:71:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for `remove_at':
Patterns of type `N', `[a]' not matched:
p [] where p is not one of {0}
0 []
|
71 | remove_at 0 (x:xs) = xs
| ^^^^^^^^^^^^^^^^^^^^^^^^...
Base.hs:88:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for `get_avail':
Patterns of type `[a]', `Set a' not matched: [] _
|
88 | get_avail (x:xs) s = if Set.member x s then get_avail xs s else x
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 9] Compiling Queue ( Queue.hs, build\Queue.o )
[6 of 9] Compiling Bimap ( Bimap.hs, build\Bimap.o )
Bimap.hs:58:20: error: [GHC-88464]
Variable not in scope:
map_alter'
:: a -> Map a (Set b) -> (Maybe (Set b) -> Set b) -> Map a (Set b)
|
58 | { _bimapl_1n = map_alter' a (_bimapl_1n mp) #
| ^^^^^^^^^^
Bimap.hs:69:20: error: [GHC-88464]
Variable not in scope:
map_alter'
:: a -> Map a (Set b) -> (Maybe (Set b) -> Set b) -> Map a (Set b)
|
69 | { _bimapl_nn = map_alter' a (_bimapl_nn mp) #
| ^^^^^^^^^^
Bimap.hs:71:20: error: [GHC-88464]
Variable not in scope:
map_alter'
:: b -> Map b (Set a) -> (Maybe (Set a) -> Set a) -> Map b (Set a)
|
71 | , _bimapr_nn = map_alter' b (_bimapr_nn mp) #
| ^^^^^^^^^^
Bimap.hs:117:26: error: [GHC-25897]
* Couldn't match expected type `()' with actual type `a'
`a' is a rigid type variable bound by
the type signature for:
bimap_get :: forall a b. Ord a => a -> Bimap a b -> Maybe b
at Bimap.hs:116:1-49
* In the first argument of `map_get', namely `a'
In the first argument of `(#)', namely `map_get a'
In the expression: map_get a # _bimapl mp
* Relevant bindings include
mp :: Bimap a b (bound at Bimap.hs:117:13)
a :: a (bound at Bimap.hs:117:11)
bimap_get :: a -> Bimap a b -> Maybe b (bound at Bimap.hs:117:1)
|
117 | bimap_get a mp = map_get a # _bimapl mp
| ^
Bimap.hs:120:27: error: [GHC-25897]
* Couldn't match expected type `()' with actual type `b'
`b' is a rigid type variable bound by
the type signature for:
bimap_get' :: forall b a. Ord b => b -> Bimap a b -> Maybe a
at Bimap.hs:119:1-50
* In the first argument of `map_get', namely `b'
In the first argument of `(#)', namely `map_get b'
In the expression: map_get b # _bimapr mp
* Relevant bindings include
mp :: Bimap a b (bound at Bimap.hs:120:14)
b :: b (bound at Bimap.hs:120:12)
bimap_get' :: b -> Bimap a b -> Maybe a (bound at Bimap.hs:120:1)
|
120 | bimap_get' b mp = map_get b # _bimapr mp
| ^
Bimap.hs:123:29: error: [GHC-25897]
* Couldn't match expected type `()' with actual type `a'
`a' is a rigid type variable bound by
the type signature for:
bimap_1n_get :: forall a b.
Ord a =>
a -> Bimap_1n a b -> Maybe (Set b)
at Bimap.hs:122:1-61
* In the first argument of `map_get', namely `a'
In the first argument of `(#)', namely `map_get a'
In the expression: map_get a # _bimapl_1n mp
* Relevant bindings include
mp :: Bimap_1n a b (bound at Bimap.hs:123:16)
a :: a (bound at Bimap.hs:123:14)
bimap_1n_get :: a -> Bimap_1n a b -> Maybe (Set b)
(bound at Bimap.hs:123:1)
|
123 | bimap_1n_get a mp = map_get a # _bimapl_1n mp
| ^
Bimap.hs:126:30: error: [GHC-25897]
* Couldn't match expected type `()' with actual type `b'
`b' is a rigid type variable bound by
the type signature for:
bimap_1n_get' :: forall b a. Ord b => b -> Bimap_1n a b -> Maybe a
at Bimap.hs:125:1-56
* In the first argument of `map_get', namely `b'
In the first argument of `(#)', namely `map_get b'
In the expression: map_get b # _bimapr_1n mp
* Relevant bindings include
mp :: Bimap_1n a b (bound at Bimap.hs:126:17)
b :: b (bound at Bimap.hs:126:15)
bimap_1n_get' :: b -> Bimap_1n a b -> Maybe a
(bound at Bimap.hs:126:1)
|
126 | bimap_1n_get' b mp = map_get b # _bimapr_1n mp
| ^
Bimap.hs:129:29: error: [GHC-25897]
* Couldn't match expected type `()' with actual type `a'
`a' is a rigid type variable bound by
the type signature for:
bimap_nn_get :: forall a b.
Ord a =>
a -> Bimap_nn a b -> Maybe (Set b)
at Bimap.hs:128:1-61
* In the first argument of `map_get', namely `a'
In the first argument of `(#)', namely `map_get a'
In the expression: map_get a # _bimapl_nn mp
* Relevant bindings include
mp :: Bimap_nn a b (bound at Bimap.hs:129:16)
a :: a (bound at Bimap.hs:129:14)
bimap_nn_get :: a -> Bimap_nn a b -> Maybe (Set b)
(bound at Bimap.hs:129:1)
|
129 | bimap_nn_get a mp = map_get a # _bimapl_nn mp
| ^
Bimap.hs:132:30: error: [GHC-25897]
* Couldn't match expected type `()' with actual type `b'
`b' is a rigid type variable bound by
the type signature for:
bimap_nn_get' :: forall b a.
Ord b =>
b -> Bimap_nn a b -> Maybe (Set a)
at Bimap.hs:131:1-62
* In the first argument of `map_get', namely `b'
In the first argument of `(#)', namely `map_get b'
In the expression: map_get b # _bimapr_nn mp
* Relevant bindings include
mp :: Bimap_nn a b (bound at Bimap.hs:132:17)
b :: b (bound at Bimap.hs:132:15)
bimap_nn_get' :: b -> Bimap_nn a b -> Maybe (Set a)
(bound at Bimap.hs:132:1)
|
132 | bimap_nn_get' b mp = map_get b # _bimapr_nn mp
| ^