compiler/testcases/test47.tig

   1 /* This is legal.  The second type "a" simply hides the first one.
   2    Because of the intervening variable declaration, the two "a" types
   3    are not in the same  batch of mutually recursive types.
   4    See also test38 */
   5 let
   6         type a = int
   7         var b := 4
   8         type a = string
   9 in
  10         0
  11 end