Ability to hide from open modules

rupesh4514 / grammatical-framework

Automatically exported from code.google.com/p/grammatical-framework

0 stars 0 forks source link

Ability to hide from open modules #71

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

The same way you can hide stuff from extended module, it would be good to be 
able to hide from opened modules:

concrete Lang1 of Abstract = open Prelude - [nonExist] in {...}

Original issue reported on code.google.com by gregoire...@gmail.com on 22 May 2013 at 1:13