[Types-sig] Interface files

[skaller]

Paul Prescod wrote:
> 
> skaller wrote:
> >
> > In other words, interface files should be regarded as an _artefact_
> > of the existing 'lack of syntax for defining a module'.
> > [Which Viper may correct :-]
> 
> If the normative spec. is in terms of interface files then we can deal
> with various situations through transformation TO interface files:

Yes, this is possible to some extent, but not totally:
first, the grammar needs to be compatible with existing
python to permit embedding in the first place, and secondly
_references_ to typedecls seem to require embedding,
even if the decls themselves are not embedded.

-- 
John Skaller, mailto:skaller@maxtal.com.au
10/1 Toxteth Rd Glebe NSW 2037 Australia
homepage: http://www.maxtal.com.au/~skaller
voice: 61-2-9660-0850