Commit 5eeb6f25 authored by urbant's avatar urbant
Browse files

Updated progress file

parent 96db1432

ATS/PROGRESS_FILE.txt

+2 −2
Original line number Diff line number Diff line
@@ -2,8 +2,8 @@ This file is used for tracking progress of implementation of new test cases. 
The exact description of required updates is in /trunk/standards/4.7.1/part-1-changes.txt



3.1 Definitions                                                      (Tomas, implemented in 5.4)

5.4.1 Formal parameters                                              (Tomas, WIP)

5.4.1.1 Formal parameters of type value                              (Tomas, WIP)

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.2 Actual parameters                                              (Tomas, WIP)

6.1.1 Basic string types and values                                  ()

6.1.2.5 Pattern subtyping                                            ()