Skip to content

Commit

Permalink
Updating: very very minorly
Browse files Browse the repository at this point in the history
  • Loading branch information
@githwxi
githwxi committed Jul 28, 2023
1 parent e763074 commit f4dcd7f
Show file tree
Hide file tree
Showing 5 changed files with 68 additions and 0 deletions.
16 changes: 16 additions & 0 deletions srcgen2/TEST/JS/test32_xatsopt.dats
View file
Original file line number Diff line number Diff line change
Expand Up @@ -323,6 +323,22 @@
"./../../DATS/tread23_errmsg.dats"
(* ****** ****** *)
#include
"./../../DATS/trans3a.dats"
#include
"./../../DATS/trans3a_myenv0.dats"
#include
"./../../DATS/trans3a_dynexp.dats"
#include
"./../../DATS/trans3a_decl00.dats"
(* ****** ****** *)
#include
"./../../DATS/tread33.dats"
#include
"./../../DATS/tread33_dynexp.dats"
#include
"./../../DATS/tread33_decl00.dats"
(* ****** ****** *)
#include
"./../../DATS/xatsopt.dats"
#include
"./../../DATS/xatsopt_utils0.dats"
Expand Down
16 changes: 16 additions & 0 deletions srcgen2/TEST/JS/test33_xatsopt.dats
View file
Original file line number Diff line number Diff line change
Expand Up @@ -323,6 +323,22 @@
"./../../DATS/tread23_errmsg.dats"
(* ****** ****** *)
#include
"./../../DATS/trans3a.dats"
#include
"./../../DATS/trans3a_myenv0.dats"
#include
"./../../DATS/trans3a_dynexp.dats"
#include
"./../../DATS/trans3a_decl00.dats"
(* ****** ****** *)
#include
"./../../DATS/tread33.dats"
#include
"./../../DATS/tread33_dynexp.dats"
#include
"./../../DATS/tread33_decl00.dats"
(* ****** ****** *)
#include
"./../../DATS/xatsopt.dats"
#include
"./../../DATS/xatsopt_utils0.dats"
Expand Down
16 changes: 16 additions & 0 deletions srcgen2/TEST/JS/test34_xatsopt.dats
View file
Original file line number Diff line number Diff line change
Expand Up @@ -323,6 +323,22 @@
"./../../DATS/tread23_errmsg.dats"
(* ****** ****** *)
#include
"./../../DATS/trans3a.dats"
#include
"./../../DATS/trans3a_myenv0.dats"
#include
"./../../DATS/trans3a_dynexp.dats"
#include
"./../../DATS/trans3a_decl00.dats"
(* ****** ****** *)
#include
"./../../DATS/tread33.dats"
#include
"./../../DATS/tread33_dynexp.dats"
#include
"./../../DATS/tread33_decl00.dats"
(* ****** ****** *)
#include
"./../../DATS/xatsopt.dats"
#include
"./../../DATS/xatsopt_utils0.dats"
Expand Down
18 changes: 18 additions & 0 deletions srcgen2/TEST/JS/test35_xatsopt.dats
View file
Original file line number Diff line number Diff line change
Expand Up @@ -301,6 +301,8 @@
"./../../DATS/dynexp3.dats"
#include
"./../../DATS/dynexp3_print0.dats"
#include
"./../../DATS/dynexp3_utils0.dats"
(* ****** ****** *)
#include
"./../../DATS/trans23.dats"
Expand All @@ -323,6 +325,22 @@
"./../../DATS/tread23_errmsg.dats"
(* ****** ****** *)
#include
"./../../DATS/trans3a.dats"
#include
"./../../DATS/trans3a_myenv0.dats"
#include
"./../../DATS/trans3a_dynexp.dats"
#include
"./../../DATS/trans3a_decl00.dats"
(* ****** ****** *)
#include
"./../../DATS/tread33.dats"
#include
"./../../DATS/tread33_dynexp.dats"
#include
"./../../DATS/tread33_decl00.dats"
(* ****** ****** *)
#include
"./../../DATS/xatsopt.dats"
#include
"./../../DATS/xatsopt_utils0.dats"
Expand Down
2 changes: 2 additions & 0 deletions srcgen2/TEST/JS/test36_xatsopt.dats
View file
Original file line number Diff line number Diff line change
Expand Up @@ -345,6 +345,8 @@
#include
"./../../DATS/tread33.dats"
#include
"./../../DATS/tread33_dynexp.dats"
#include
"./../../DATS/tread33_decl00.dats"
(* ****** ****** *)
#include
Expand Down

0 comments on commit f4dcd7f

Please sign in to comment.