[Agda] how to include Data.List without conflict with agda-prelude

Mandy Martino tesleft at hotmail.com
Fri Jan 1 07:53:18 CET 2016


Hi ,
how to include Data.List without conflict with agda-prelude?
/home/martin/hilbertreborn/moso.agda:2,13-22Ambiguous module name. The module name Data.List could refer to anyof the following files:  /home/martin/hilbertreborn/agda-prelude/src/Data/List.agda  /home/martin/hilbertreborn/agda-stdlib-0.11/src/Data/List.agdawhen scope checking the declaration  open import Data.List
Regards,
Martin 		 	   		   		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160101/7eaa7997/attachment.html


More information about the Agda mailing list