我从示例笔记本中了解到,我应该能够启用和禁用扩展,如下所示:
-- We can disable extensions.
:ext NoEmptyDataDecls
data Thing
<interactive>:1:1: error:
• ‘Thing’ has no constructors (EmptyDataDecls permits this)
• In the data declaration for ‘Thing’
-- And enable extensions.
:ext EmptyDataDecls
data Thing
但是,当我使用 OverloadedStrings 尝试此操作时,我看不到任何成功。您可以从下面看到 T.lines 正在寻找 String 而不是 Text。为什么?
我有什么误解或做错了什么?