Commit 1d2dc512 authored by urbant's avatar urbant
Browse files

Progress file update

parent a7c3674c

ATS/PROGRESS_FILE.txt

+2 −2
Original line number Diff line number Diff line
@@ -9,8 +9,8 @@ The exact description of required updates is in /trunk/standards/4.7.1/part-1-ch 
6.1.1 Basic string types and values                                  ()

6.1.2.5 Pattern subtyping                                            ()

6.1.2.6.2 Using length restriction with other constraints            ()

6.2.1.1 Referencing fields of a record type                          (Tomas, WIP)

6.2.3 Records and sets of single types                               (Tomas, WIP)

6.2.1.1 Referencing fields of a record type                          (Tomas, done: 16 new tests, 13 positive, 3 negative)

6.2.3 Records and sets of single types                               (Tomas, done: 24 new tests, 16 positive, 8 negative)

6.2.5.1 Referencing fields of a union type                           (Tomas, WIP)

6.2.7 Arrays                                                         (Tomas, WIP)

6.2.9 Communication port type                                        ()