| Chris Lattner | e10988d | 2007-04-03 21:46:22 +0000 | [diff] [blame] | 1 | package Non_LValue is |
| 2 | type T (Length : Natural) is record | ||||
| 3 | A : String (1 .. Length); | ||||
| 4 | B : String (1 .. Length); | ||||
| 5 | end record; | ||||
| 6 | type T_Ptr is access all T; | ||||
| 7 | type U is record | ||||
| 8 | X : T_Ptr; | ||||
| 9 | end record; | ||||
| 10 | function A (Y : U) return String; | ||||
| 11 | end; | ||||