When I try to derive a domain from Union as follows:
Bug() : with stringify : % -> String == Union(Integer, Float, List(%)) add ...
... compiler gets confused. However this works well:
)abbrev domain BUG Bug Bug() : with stringify : % -> String == add Rep := Union(Integer, Float, List(%))
I could use the latter but I'd like the domain to behave as an union with extra methods attached - i.e. I'd expect default construction / coercion rules for unions to be applied to this domain.
Log in to post a comment.