Re: Using domains for case insensitivity

Shachar Shemesh wrote:
> According to the docs, domains are not meant for that purpose, but
> for changing constraints of a type. Is it possible to define a domain
> that will have the same defaults and constraints as the base type,
> but will have different comparison functions? Will that provide me
> with what I need?

Domains constrain the allowed values of a data type and nothing more.  
If you were able to override operators, then you would create a new 
data type, thus losing a fundamental property of domains.  So this is 
not the route you want to pursue.