Paste: report invalid type recursion

Author: kssreeram
Mode: text
Date: Mon, 16 Aug 2010 18:02:21
Plain Text |
record One {
    x : Int;
    two : Two;
}

variant Two = Int | Array[One, 10];

main() {
    One(10, Two(10));
}



$ clay test.clay 
###############################

main() {
    One(10, Two(10));
----^
}

###############################
../test.clay(10,4): error: invalid recursion in type: One

compilation context: 
  main()
  getExitCode()
  callMain(Static[main])

New Annotation

Summary:
Author:
Mode:
Body: