When opening a module with implicit parameters locally the implicit parameters are instantiated.


  • The cause of the problem is that when opening a module under a context we have to create an auxiliary module abstracting over the context. In this process the implicit parameters are filled in by mistake.
Page last modified on June 04, 2007, at 12:56 PM
Powered by PmWiki