abstools / habs-parser

The parser, part of the Haskell backend for ABS (habs)

Home Page:http://abs-models.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Qualified exporting not supported by the grammar

bezirg opened this issue · comments

ABS qualified exporting is not supported (and probably won't be)
because it can be achieved anyway by unqualified exporting.

export Module1.D;  // qualified exporting not supported
export D from Module1 // supported&equivalent unqualified exporting
``