Commit 2cda0974 authored by urbant's avatar urbant
Browse files

Updated progress file

parent 9e1862f8

ATS/PROGRESS_FILE.txt

+2 −1
Original line number Diff line number Diff line
@@ -3,7 +3,8 @@ The exact description of required updates is in /trunk/standards/4.7.1/part-1-ch 


3.1 Definitions                                                      (Tomas, implemented in 5.4)

5.4.1 Formal parameters                                              (Tomas, done: 32 new tests, 29 positive, 3 negative)

5.4.1.1 Formal parameters of type value                              (Tomas, done: 49 new tests, 18 positive, 31 negative)

5.4.1.1 Formal parameters of kind value                              (Tomas, done: 48 new tests, 18 positive, 30 negative)

5.4.1.2 Formal parameters of kind template                           (Tomas, done: 54 new tests, 34 positive, 18 negative)

5.4.2 Actual parameters                                              (Tomas, WIP)

6.1.1 Basic string types and values                                  ()

6.1.2.5 Pattern subtyping                                            ()