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 importing is broken in the grammar

bezirg opened this issue · comments

In ABS code:

module Example;
import A1.D;  //broken
import D from A1; // unqualified importing is fine

is related to AnyImport