src/testsuite/compiler/1872445.spad


1
2
3
4
5
6
7

-- Contributed by Luke Wagner
)abbrev domain TEST Test
Test(): with
    foo: Integer -> Integer
  == add
    Rep := Record(a: Integer, b: Test)
    foo i == i