Idents.dcl 421 Bytes
Newer Older
Camil Staps's avatar
Camil Staps committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
definition module Idents

from StdClass import class Eq
from StdList import isMember, removeDup
from StdOverloaded import class ==

from Data.Set import :: Set

from syntax import :: ParsedDefinition

:: Idents =
	{ locals  :: Set String
	, globals :: Set String
	}

:: IdentContext
	= ICExpression
	| ICPattern

class idents t :: IdentContext t -> Idents

instance idents [t] | idents t
instance idents ParsedDefinition