Updating: very very minorly

srcgen2/DATS/tread33_staexp.dats

@@ -0,0 +1,70 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                         Applied Type System                         *)
+(*                                                                     *)
+(***********************************************************************)
+
+(*
+** ATS/Xanadu - Unleashing the Potential of Types!
+** Copyright (C) 2023 Hongwei Xi, ATS Trustful Software, Inc.
+** All rights reserved
+**
+** ATS is free software;  you can  redistribute it and/or modify it under
+** the terms of  the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
+** Free Software Foundation; either version 3, or (at  your  option)  any
+** later version.
+** 
+** ATS is distributed in the hope that it will be useful, but WITHOUT ANY
+** WARRANTY; without  even  the  implied  warranty  of MERCHANTABILITY or
+** FITNESS FOR A PARTICULAR PURPOSE.  See the  GNU General Public License
+** for more details.
+** 
+** You  should  have  received  a  copy of the GNU General Public License
+** along  with  ATS;  see the  file COPYING.  If not, please write to the
+** Free Software Foundation,  51 Franklin Street, Fifth Floor, Boston, MA
+** 02110-1301, USA.
+*)
+
+(* ****** ****** *)
+//
+(*
+Author: Hongwei Xi
+(*
+Fri 28 Jul 2023 09:39:54 PM EDT
+*)
+Authoremail: gmhwxiATgmailDOTcom
+*)
+//
+(* ****** ****** *)
+#include
+"./../HATS/xatsopt_sats.hats"
+#include
+"./../HATS/xatsopt_dats.hats"
+(* ****** ****** *)
+#define
+ATS_PACKNAME
+"ATS3.XANADU.xatsopt-20220500"
+(* ****** ****** *)
+#staload "./../SATS/xbasics.sats"
+(* ****** ****** *)
+#staload "./../SATS/locinfo.sats"
+(* ****** ****** *)
+#staload "./../SATS/lexing0.sats"
+(* ****** ****** *)
+#staload "./../SATS/staexp2.sats"
+#staload "./../SATS/statyp2.sats"
+(* ****** ****** *)
+#staload "./../SATS/tread33.sats"
+(* ****** ****** *)
+//
+(* ****** ****** *)
+#symload node with s2exp_get_node
+#symload sort with s2exp_get_sort
+(* ****** ****** *)
+#symload node with s2typ_get_node
+#symload sort with s2typ_get_sort
+(* ****** ****** *)
+//
+(* ****** ****** *)
+
+(* end of [ATS3/XATSOPT_srcgen2_tread33_staexp.dats] *)

srcgen2/Makefile_xatsopt

@@ -709,6 +709,9 @@ all_dats:: \
 tread33_dats
 tread33_dats: ; $(XATSOPT) --dynamic DATS/tread33.dats
 all_dats:: \
+tread33_staexp_dats
+tread33_staexp_dats: ; $(XATSOPT) --dynamic DATS/tread33_staexp.dats
+all_dats:: \
 tread33_dynexp_dats
 tread33_dynexp_dats: ; $(XATSOPT) --dynamic DATS/tread33_dynexp.dats
 all_dats:: \