Extending: editing the key bindings require importing Data.Map

This commit is contained in:
Andrea Rossato
2007-11-22 13:39:01 +00:00
parent 378a9ea8b3
commit 402054c581

View File

@@ -439,6 +439,12 @@ appropriate 'Data.Map.Map' from a list of key bindings using
needs to be joined to a 'Data.Map.Map' of existing bindings using
'Data.Map.union'.
Since we are going to need functions from the "Data.Map" module, it
must be imported first:
> import qualified Data.Map as M
For instance, if you have defined some additional key bindings like
these: