我已经编写了一个模块,并且为了运行导入模块的主要代码,需要具有语言扩展名{-# LANGUAGE OverloadedStrings #-}
,或者在编译时需要提供选项。
如果我{-# LANGUAGE OverloadedStrings #-}
在模块中包含 ,这是无法治愈的,用户仍然需要在她的代码中或编译时执行相同的操作。
有什么办法可以在实际模块中做“某事”,以便从最终用户那里解决这个问题,从而说“隐藏”所需的语言扩展?
我已经编写了一个模块,并且为了运行导入模块的主要代码,需要具有语言扩展名{-# LANGUAGE OverloadedStrings #-}
,或者在编译时需要提供选项。
如果我{-# LANGUAGE OverloadedStrings #-}
在模块中包含 ,这是无法治愈的,用户仍然需要在她的代码中或编译时执行相同的操作。
有什么办法可以在实际模块中做“某事”,以便从最终用户那里解决这个问题,从而说“隐藏”所需的语言扩展?