• simonpj's avatar
    [project @ 2002-03-14 15:27:15 by simonpj] · 1553c778
    simonpj authored
    ------------------------
    	Change
    		GlobalName --> ExternalName
    		LocalName  ->  InternalName
    	------------------------
    
    For a long time there's been terminological confusion between
    
    	GlobalName vs LocalName	 (property of a Name)
    	GlobalId vs LocalId	 (property of an Id)
    
    I've now changed the terminology for Name to be
    
    	ExternalName vs InternalName
    
    I've also added quite a bit of documentation in the Commentary.
    1553c778
HsDecls.lhs 30.8 KB