src/testsuite/compiler/1872404.spad


1
2
3
4
5
6
7
8
9

-- Contributed by Luke Wagner
)abbrev domain TEST Test
Test() : with
    foo : INT -> INT
  == add
    Rep := Union(blah, INT)
    foo i ==
      i