gerrit.simantics Code Review - simantics/platform.git/blob

   1 type Foo = Bar
   2 type Bar = Integer
   3 main = 1 :: Foo
   4 --
   5 1
   6 --
   7 type Bar = Integer
   8 type Foo = Bar
   9 main = 1 :: Foo
  10 --
  11 1
  12 --
  13 type Foo = Foo
  14 main = 1 :: Foo
  15 --
  16 1:1-1:15: Type alias has a self reference.
  17 --
  18 type Foo = Bar
  19 type Bar = Foo
  20 main = 1 :: Foo
  21 --
  22 1:1-1:15: Recursively defined type alias (Foo, Bar).