--- src/compiler/core.cm.orig Fri Dec 14 22:01:23 2001 +++ src/compiler/core.cm Thu Feb 28 02:43:48 2002 @@ -81,6 +81,26 @@ signature PICKMOD signature UNPICKMOD signature FLINT + + (* export of structures required to use FLINT directly -5- *) + structure Types + structure Translate + (* in 110.27 already exported above: structure FLINT *) + structure LtyKernel + structure PrimTyc + structure LtyDef + structure LtyExtern + structure PPFlint + structure LContract + (* currently unused?: structure FContract *) + structure Specialize + structure PrimOp + structure LambdaVar + structure ChkFlint + (* accessible via GenericVC: structure Symbol *) + structure Access + structure DebIndex + is TopLevel/environ/environ.sig