In the new version of Hawk the -m option uses the unqualified map function to map the user expression over the input. We should qualify that map or hint will evaluate it based on the user imports. I propose to import Representable both qualified and unqualified and change all the utilities functions with a qualified version like:
where listMap is just an alias for map over listing. Alternatively we could use fmap but I prefer fix the type of the map to list only for debugging purposes.
In the new version of
Hawk
the -m option uses the unqualified map function to map the user expression over the input. We should qualify that map orhint
will evaluate it based on the user imports. I propose to import Representable both qualified and unqualified and change all the utilities functions with a qualified version like:where
listMap
is just an alias for map over listing. Alternatively we could usefmap
but I prefer fix the type of themap
to list only for debugging purposes.