metaborg/dynsem

Sort aliases may not collide with existent sorts

Closed this issue · 0 comments

vvergu commented

Sort aliases may not collide with existent sorts

signature
  sorts A
  sort aliases
    A = Map(Int, Int)

the alias should be rejected.