/* ** ** The C code is generated by [ATS/Postiats-0-3-3] ** The starting compilation time is: 2017-2-19: 15h:44m ** */ /* ** include runtime header files */ #ifndef _ATS_CCOMP_HEADER_NONE_ #include "pats_ccomp_config.h" #include "pats_ccomp_basics.h" #include "pats_ccomp_typedefs.h" #include "pats_ccomp_instrset.h" #include "pats_ccomp_memalloc.h" #ifndef _ATS_CCOMP_EXCEPTION_NONE_ #include "pats_ccomp_memalloca.h" #include "pats_ccomp_exception.h" #endif // end of [_ATS_CCOMP_EXCEPTION_NONE_] #endif /* _ATS_CCOMP_HEADER_NONE_ */ /* ** include prelude cats files */ #ifndef _ATS_CCOMP_PRELUDE_NONE_ // #include "prelude/CATS/basics.cats" #include "prelude/CATS/integer.cats" #include "prelude/CATS/pointer.cats" #include "prelude/CATS/integer_long.cats" #include "prelude/CATS/integer_size.cats" #include "prelude/CATS/integer_short.cats" #include "prelude/CATS/bool.cats" #include "prelude/CATS/char.cats" #include "prelude/CATS/float.cats" #include "prelude/CATS/integer_ptr.cats" #include "prelude/CATS/integer_fixed.cats" #include "prelude/CATS/memory.cats" #include "prelude/CATS/string.cats" #include "prelude/CATS/strptr.cats" // #include "prelude/CATS/fprintf.cats" // #include "prelude/CATS/filebas.cats" // #include "prelude/CATS/list.cats" #include "prelude/CATS/option.cats" #include "prelude/CATS/array.cats" #include "prelude/CATS/arrayptr.cats" #include "prelude/CATS/arrayref.cats" #include "prelude/CATS/matrix.cats" #include "prelude/CATS/matrixptr.cats" // #endif /* _ATS_CCOMP_PRELUDE_NONE_ */ /* ** for user-supplied prelude */ #ifdef _ATS_CCOMP_PRELUDE_USER_ // #include _ATS_CCOMP_PRELUDE_USER_ // #endif /* _ATS_CCOMP_PRELUDE_USER_ */ /* ** for user2-supplied prelude */ #ifdef _ATS_CCOMP_PRELUDE_USER2_ // #include _ATS_CCOMP_PRELUDE_USER2_ // #endif /* _ATS_CCOMP_PRELUDE_USER2_ */ /* staload-prologues(beg) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats: 1528(line=44, offs=1) -- 1567(line=46, offs=27) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 1596(line=49, offs=1) -- 1635(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats: 1533(line=44, offs=1) -- 1572(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer_long.dats: 1602(line=49, offs=1) -- 1641(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer_size.dats: 1597(line=49, offs=1) -- 1636(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer_short.dats: 1603(line=49, offs=1) -- 1642(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/char.dats: 1610(line=48, offs=1) -- 1649(line=48, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/float.dats: 1636(line=50, offs=1) -- 1675(line=50, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/string.dats: 1637(line=51, offs=1) -- 1676(line=51, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/strptr.dats: 1609(line=48, offs=1) -- 1648(line=48, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/strptr.dats: 1671(line=52, offs=1) -- 1718(line=52, offs=48) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 1596(line=49, offs=1) -- 1635(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer_ptr.dats: 1601(line=49, offs=1) -- 1640(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer_fixed.dats: 1603(line=49, offs=1) -- 1642(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/memory.dats: 1410(line=38, offs=1) -- 1449(line=39, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/filebas.dats: 1613(line=49, offs=1) -- 1652(line=50, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/filebas.dats: 1675(line=54, offs=1) -- 1721(line=55, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 1596(line=49, offs=1) -- 1635(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/filebas.dats: 1744(line=59, offs=1) -- 1789(line=60, offs=38) */ /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/stdio.sats: 1390(line=36, offs=1) -- 1437(line=39, offs=3) */ #include \ "libats/libc/CATS/stdio.cats" /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/stdio.sats: 1950(line=69, offs=1) -- 1999(line=71, offs=34) */ /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/sys/types.sats: 1390(line=36, offs=1) -- 1441(line=39, offs=3) */ #include \ "libats/libc/CATS/sys/types.cats" /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/filebas.dats: 1871(line=66, offs=1) -- 1918(line=66, offs=48) */ /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/sys/stat.sats: 1390(line=36, offs=1) -- 1440(line=39, offs=3) */ #include \ "libats/libc/CATS/sys/stat.cats" /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/sys/stat.sats: 1756(line=58, offs=1) -- 1805(line=60, offs=34) */ /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/sys/types.sats: 1390(line=36, offs=1) -- 1441(line=39, offs=3) */ #include \ "libats/libc/CATS/sys/types.cats" /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/filebas.dats: 15413(line=857, offs=1) -- 15450(line=858, offs=30) */ /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/stdio.sats: 1390(line=36, offs=1) -- 1437(line=39, offs=3) */ #include \ "libats/libc/CATS/stdio.cats" /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/stdio.sats: 1950(line=69, offs=1) -- 1999(line=71, offs=34) */ /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/sys/types.sats: 1390(line=36, offs=1) -- 1441(line=39, offs=3) */ #include \ "libats/libc/CATS/sys/types.cats" /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/list.dats: 1529(line=44, offs=1) -- 1568(line=45, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/list.dats: 1569(line=46, offs=1) -- 1615(line=47, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/unsafe.dats: 1532(line=44, offs=1) -- 1566(line=44, offs=35) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/list_vt.dats: 1538(line=44, offs=1) -- 1577(line=45, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/list_vt.dats: 1578(line=46, offs=1) -- 1624(line=47, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/unsafe.dats: 1532(line=44, offs=1) -- 1566(line=44, offs=35) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/SHARE/list_vt_mergesort.dats: 1546(line=44, offs=1) -- 1585(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/SHARE/list_vt_quicksort.dats: 1546(line=44, offs=1) -- 1585(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 1534(line=44, offs=1) -- 1573(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 1574(line=45, offs=1) -- 1616(line=45, offs=43) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/SHARE/array_bsearch.dats: 1531(line=44, offs=1) -- 1570(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/SHARE/array_quicksort.dats: 1531(line=44, offs=1) -- 1570(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayptr.dats: 1532(line=44, offs=1) -- 1571(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats: 1532(line=44, offs=1) -- 1571(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/matrix.dats: 1535(line=44, offs=1) -- 1574(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/matrixptr.dats: 1538(line=44, offs=1) -- 1577(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/matrixref.dats: 1538(line=44, offs=1) -- 1577(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/stream.dats: 1523(line=44, offs=1) -- 1562(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/stream_vt.dats: 1523(line=44, offs=1) -- 1562(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/tostring.dats: 1528(line=44, offs=1) -- 1567(line=45, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/unsafe.dats: 1532(line=44, offs=1) -- 1566(line=44, offs=35) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/checkast.dats: 1531(line=44, offs=1) -- 1570(line=45, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/list0.dats: 1444(line=40, offs=1) -- 1483(line=41, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/list0.dats: 1506(line=45, offs=1) -- 1541(line=45, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/list0.dats: 1542(line=46, offs=1) -- 1577(line=46, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/option0.sats: 1524(line=41, offs=1) -- 1559(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/option0.dats: 1392(line=36, offs=1) -- 1431(line=37, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/option0.dats: 1454(line=41, offs=1) -- 1489(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/option0.dats: 1490(line=42, offs=1) -- 1527(line=42, offs=38) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/option0.sats: 1524(line=41, offs=1) -- 1559(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1525(line=41, offs=1) -- 1571(line=44, offs=3) */ #include \ "libats/ML/CATS/array0.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1610(line=48, offs=1) -- 1645(line=48, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/matrix0.sats: 1526(line=41, offs=1) -- 1561(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/array0.dats: 1394(line=36, offs=1) -- 1433(line=37, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/array0.dats: 1458(line=41, offs=1) -- 1493(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/array0.dats: 1494(line=42, offs=1) -- 1529(line=42, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/array0.dats: 1530(line=43, offs=1) -- 1566(line=43, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1525(line=41, offs=1) -- 1571(line=44, offs=3) */ #include \ "libats/ML/CATS/array0.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1610(line=48, offs=1) -- 1645(line=48, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/matrix0.dats: 1396(line=36, offs=1) -- 1435(line=37, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/matrix0.dats: 1458(line=41, offs=1) -- 1493(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/matrix0.dats: 1494(line=42, offs=1) -- 1531(line=42, offs=38) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/matrix0.sats: 1526(line=41, offs=1) -- 1561(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/string.sats: 1525(line=41, offs=1) -- 1560(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/strarr.sats: 1538(line=43, offs=1) -- 1574(line=43, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/strarr.sats: 1599(line=47, offs=1) -- 1649(line=51, offs=3) */ // #include "libats/ML/CATS/strarr.cats" // /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/string.dats: 1611(line=46, offs=1) -- 1650(line=47, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/string.dats: 2960(line=121, offs=1) -- 2995(line=121, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/string.dats: 2996(line=122, offs=1) -- 3031(line=122, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/string.dats: 3032(line=123, offs=1) -- 3068(line=123, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/string.sats: 1525(line=41, offs=1) -- 1560(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/strarr.dats: 1613(line=46, offs=1) -- 1652(line=47, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/strarr.dats: 1675(line=51, offs=1) -- 1710(line=51, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/strarr.dats: 1711(line=52, offs=1) -- 1747(line=52, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1525(line=41, offs=1) -- 1571(line=44, offs=3) */ #include \ "libats/ML/CATS/array0.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1610(line=48, offs=1) -- 1645(line=48, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/strarr.dats: 1748(line=53, offs=1) -- 1796(line=53, offs=49) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/array0.dats: 1394(line=36, offs=1) -- 1433(line=37, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/array0.dats: 1458(line=41, offs=1) -- 1493(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/array0.dats: 1494(line=42, offs=1) -- 1529(line=42, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/array0.dats: 1530(line=43, offs=1) -- 1566(line=43, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1525(line=41, offs=1) -- 1571(line=44, offs=3) */ #include \ "libats/ML/CATS/array0.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1610(line=48, offs=1) -- 1645(line=48, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/strarr.dats: 1819(line=57, offs=1) -- 1855(line=57, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/strarr.sats: 1538(line=43, offs=1) -- 1574(line=43, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/strarr.sats: 1599(line=47, offs=1) -- 1649(line=51, offs=3) */ // #include "libats/ML/CATS/strarr.cats" // /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/stream.sats: 1532(line=43, offs=1) -- 1567(line=43, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/stream_vt.sats: 1534(line=43, offs=1) -- 1569(line=44, offs=28) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/stream.dats: 1447(line=40, offs=1) -- 1486(line=41, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/stream.dats: 1509(line=45, offs=1) -- 1544(line=45, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/stream.dats: 1545(line=46, offs=1) -- 1581(line=46, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/stream.sats: 1532(line=43, offs=1) -- 1567(line=43, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/stream_vt.dats: 1447(line=40, offs=1) -- 1486(line=41, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/stream_vt.dats: 1509(line=45, offs=1) -- 1544(line=45, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/stream_vt.dats: 1545(line=46, offs=1) -- 1584(line=46, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/stream_vt.sats: 1534(line=43, offs=1) -- 1569(line=44, offs=28) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/gvalue.sats: 1534(line=42, offs=1) -- 1569(line=42, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 1449(line=41, offs=1) -- 1488(line=42, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 1513(line=46, offs=1) -- 1548(line=46, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 1552(line=48, offs=1) -- 1587(line=48, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 1588(line=49, offs=1) -- 1624(line=49, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1525(line=41, offs=1) -- 1571(line=44, offs=3) */ #include \ "libats/ML/CATS/array0.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1610(line=48, offs=1) -- 1645(line=48, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 1625(line=50, offs=1) -- 1663(line=50, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/dynarray.sats: 1529(line=41, offs=1) -- 1564(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 1664(line=51, offs=1) -- 1704(line=51, offs=41) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/hashtblref.sats: 1524(line=43, offs=1) -- 1559(line=43, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 1708(line=53, offs=1) -- 1744(line=53, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/gvalue.sats: 1534(line=42, offs=1) -- 1569(line=42, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 1771(line=57, offs=1) -- 1809(line=57, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats: 1528(line=44, offs=1) -- 1567(line=46, offs=27) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 1813(line=59, offs=1) -- 1852(line=59, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 1596(line=49, offs=1) -- 1635(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 1853(line=60, offs=1) -- 1892(line=60, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats: 1533(line=44, offs=1) -- 1572(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 1896(line=62, offs=1) -- 1940(line=62, offs=45) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer_long.dats: 1602(line=49, offs=1) -- 1641(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 1941(line=63, offs=1) -- 1985(line=63, offs=45) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer_size.dats: 1597(line=49, offs=1) -- 1636(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 1989(line=65, offs=1) -- 2027(line=65, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/string.dats: 1637(line=51, offs=1) -- 1676(line=51, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2031(line=67, offs=1) -- 2072(line=67, offs=42) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2076(line=69, offs=1) -- 2112(line=69, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/list.dats: 1529(line=44, offs=1) -- 1568(line=45, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/list.dats: 1569(line=46, offs=1) -- 1615(line=47, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/unsafe.dats: 1532(line=44, offs=1) -- 1566(line=44, offs=35) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2113(line=70, offs=1) -- 2152(line=70, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/list_vt.dats: 1538(line=44, offs=1) -- 1577(line=45, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/list_vt.dats: 1578(line=46, offs=1) -- 1624(line=47, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/unsafe.dats: 1532(line=44, offs=1) -- 1566(line=44, offs=35) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/SHARE/list_vt_mergesort.dats: 1546(line=44, offs=1) -- 1585(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/SHARE/list_vt_quicksort.dats: 1546(line=44, offs=1) -- 1585(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2156(line=72, offs=1) -- 2194(line=72, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2195(line=73, offs=1) -- 2236(line=73, offs=42) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2240(line=75, offs=1) -- 2277(line=75, offs=38) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 1534(line=44, offs=1) -- 1573(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 1574(line=45, offs=1) -- 1616(line=45, offs=43) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/SHARE/array_bsearch.dats: 1531(line=44, offs=1) -- 1570(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/SHARE/array_quicksort.dats: 1531(line=44, offs=1) -- 1570(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2278(line=76, offs=1) -- 2318(line=76, offs=41) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayptr.dats: 1532(line=44, offs=1) -- 1571(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2319(line=77, offs=1) -- 2359(line=77, offs=41) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats: 1532(line=44, offs=1) -- 1571(line=44, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2363(line=79, offs=1) -- 2401(line=79, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2402(line=80, offs=1) -- 2441(line=80, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2445(line=82, offs=1) -- 2489(line=82, offs=45) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/unsafe.dats: 1532(line=44, offs=1) -- 1566(line=44, offs=35) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2516(line=86, offs=1) -- 2560(line=86, offs=45) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/qlist.dats: 1404(line=36, offs=1) -- 1443(line=37, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/qlist.dats: 1466(line=41, offs=1) -- 1498(line=41, offs=33) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/qlist.sats: 1605(line=53, offs=1) -- 1645(line=55, offs=3) */ #include "libats/CATS/qlist.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2564(line=88, offs=1) -- 2611(line=88, offs=48) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/dynarray.dats: 1399(line=36, offs=1) -- 1438(line=37, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/dynarray.dats: 1461(line=41, offs=1) -- 1496(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/dynarray.sats: 1465(line=42, offs=1) -- 1510(line=45, offs=3) */ #include \ "libats/CATS/dynarray.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2615(line=90, offs=1) -- 2661(line=90, offs=47) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/hashfun.dats: 1354(line=35, offs=1) -- 1393(line=36, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/hashfun.dats: 1416(line=40, offs=1) -- 1450(line=40, offs=35) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/hashfun.sats: 1354(line=35, offs=1) -- 1396(line=37, offs=3) */ #include "libats/CATS/hashfun.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2662(line=91, offs=1) -- 2712(line=91, offs=51) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/linmap_list.dats: 1539(line=41, offs=1) -- 1578(line=42, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/linmap_list.dats: 1601(line=46, offs=1) -- 1639(line=46, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/SHARE/linmap.hats: 4640(line=237, offs=1) -- 4676(line=238, offs=25) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/qlist.sats: 1605(line=53, offs=1) -- 1645(line=55, offs=3) */ #include "libats/CATS/qlist.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2713(line=92, offs=1) -- 2765(line=92, offs=53) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/hashtbl_chain.dats: 1604(line=42, offs=1) -- 1643(line=43, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/hashtbl_chain.dats: 1666(line=47, offs=1) -- 1700(line=47, offs=35) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/hashfun.sats: 1354(line=35, offs=1) -- 1396(line=37, offs=3) */ #include "libats/CATS/hashfun.cats" /* /home/hwxi/Research/ATS-Postiats/libats/DATS/hashtbl_chain.dats: 1723(line=51, offs=1) -- 1763(line=51, offs=41) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/SHARE/hashtbl.hats: 5502(line=294, offs=1) -- 5538(line=294, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/qlist.sats: 1605(line=53, offs=1) -- 1645(line=55, offs=3) */ #include "libats/CATS/qlist.cats" /* /home/hwxi/Research/ATS-Postiats/libats/DATS/hashtbl_chain.dats: 2924(line=127, offs=1) -- 2967(line=128, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2769(line=94, offs=1) -- 2816(line=94, offs=48) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/list0.dats: 1444(line=40, offs=1) -- 1483(line=41, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/list0.dats: 1506(line=45, offs=1) -- 1541(line=45, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/list0.dats: 1542(line=46, offs=1) -- 1577(line=46, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2817(line=95, offs=1) -- 2865(line=95, offs=49) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/array0.dats: 1394(line=36, offs=1) -- 1433(line=37, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/array0.dats: 1458(line=41, offs=1) -- 1493(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/array0.dats: 1494(line=42, offs=1) -- 1529(line=42, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/array0.dats: 1530(line=43, offs=1) -- 1566(line=43, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1525(line=41, offs=1) -- 1571(line=44, offs=3) */ #include \ "libats/ML/CATS/array0.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1610(line=48, offs=1) -- 1645(line=48, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2866(line=96, offs=1) -- 2916(line=96, offs=51) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/dynarray.dats: 1396(line=36, offs=1) -- 1435(line=37, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/dynarray.dats: 1460(line=41, offs=1) -- 1500(line=42, offs=33) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/dynarray.sats: 1465(line=42, offs=1) -- 1510(line=45, offs=3) */ #include \ "libats/CATS/dynarray.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/dynarray.dats: 1525(line=46, offs=1) -- 1560(line=46, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/dynarray.dats: 1561(line=47, offs=1) -- 1596(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/dynarray.dats: 1619(line=51, offs=1) -- 1657(line=51, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/dynarray.sats: 1529(line=41, offs=1) -- 1564(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/gvalue.dats: 2917(line=97, offs=1) -- 2969(line=97, offs=53) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/hashtblref.dats: 1394(line=36, offs=1) -- 1433(line=37, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/hashtblref.dats: 1458(line=41, offs=1) -- 1503(line=42, offs=33) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/hashtblref.dats: 1528(line=46, offs=1) -- 1563(line=46, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/hashtblref.dats: 1586(line=50, offs=1) -- 1621(line=50, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/hashtblref.dats: 1644(line=54, offs=1) -- 1678(line=54, offs=35) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/hashfun.sats: 1354(line=35, offs=1) -- 1396(line=37, offs=3) */ #include "libats/CATS/hashfun.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/hashtblref.dats: 1679(line=55, offs=1) -- 1719(line=55, offs=41) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/hashtblref.sats: 1524(line=43, offs=1) -- 1559(line=43, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/filebas.sats: 1525(line=41, offs=1) -- 1560(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/intrange.sats: 1629(line=47, offs=1) -- 1664(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/filebas.dats: 1472(line=40, offs=1) -- 1511(line=41, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/filebas.dats: 1534(line=45, offs=1) -- 1581(line=46, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 1596(line=49, offs=1) -- 1635(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/filebas.dats: 1582(line=47, offs=1) -- 1634(line=48, offs=45) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer_size.dats: 1597(line=49, offs=1) -- 1636(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/filebas.dats: 1657(line=52, offs=1) -- 1704(line=52, offs=48) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/filebas.dats: 1613(line=49, offs=1) -- 1652(line=50, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/filebas.dats: 1675(line=54, offs=1) -- 1721(line=55, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 1596(line=49, offs=1) -- 1635(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/filebas.dats: 1744(line=59, offs=1) -- 1789(line=60, offs=38) */ /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/stdio.sats: 1390(line=36, offs=1) -- 1437(line=39, offs=3) */ #include \ "libats/libc/CATS/stdio.cats" /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/stdio.sats: 1950(line=69, offs=1) -- 1999(line=71, offs=34) */ /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/sys/types.sats: 1390(line=36, offs=1) -- 1441(line=39, offs=3) */ #include \ "libats/libc/CATS/sys/types.cats" /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/filebas.dats: 1871(line=66, offs=1) -- 1918(line=66, offs=48) */ /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/sys/stat.sats: 1390(line=36, offs=1) -- 1440(line=39, offs=3) */ #include \ "libats/libc/CATS/sys/stat.cats" /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/sys/stat.sats: 1756(line=58, offs=1) -- 1805(line=60, offs=34) */ /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/sys/types.sats: 1390(line=36, offs=1) -- 1441(line=39, offs=3) */ #include \ "libats/libc/CATS/sys/types.cats" /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/filebas.dats: 15413(line=857, offs=1) -- 15450(line=858, offs=30) */ /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/stdio.sats: 1390(line=36, offs=1) -- 1437(line=39, offs=3) */ #include \ "libats/libc/CATS/stdio.cats" /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/stdio.sats: 1950(line=69, offs=1) -- 1999(line=71, offs=34) */ /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/sys/types.sats: 1390(line=36, offs=1) -- 1441(line=39, offs=3) */ #include \ "libats/libc/CATS/sys/types.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/filebas.dats: 2234(line=78, offs=1) -- 2269(line=78, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/filebas.dats: 2270(line=79, offs=1) -- 2305(line=79, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/filebas.dats: 2306(line=80, offs=1) -- 2343(line=80, offs=38) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/option0.sats: 1524(line=41, offs=1) -- 1559(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/filebas.dats: 2366(line=84, offs=1) -- 2403(line=84, offs=38) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/filebas.sats: 1525(line=41, offs=1) -- 1560(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/filebas.dats: 2957(line=114, offs=1) -- 3003(line=114, offs=47) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/strptr.dats: 1609(line=48, offs=1) -- 1648(line=48, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/strptr.dats: 1671(line=52, offs=1) -- 1718(line=52, offs=48) */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 1596(line=49, offs=1) -- 1635(line=49, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/intrange.dats: 1397(line=36, offs=1) -- 1432(line=36, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/intrange.dats: 1455(line=40, offs=1) -- 1490(line=40, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/intrange.dats: 1491(line=41, offs=1) -- 1527(line=41, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1525(line=41, offs=1) -- 1571(line=44, offs=3) */ #include \ "libats/ML/CATS/array0.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/array0.sats: 1610(line=48, offs=1) -- 1645(line=48, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/intrange.dats: 1528(line=42, offs=1) -- 1566(line=42, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/intrange.sats: 1629(line=47, offs=1) -- 1664(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/stdlib.sats: 1522(line=41, offs=1) -- 1557(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/stdlib.dats: 1394(line=36, offs=1) -- 1433(line=38, offs=27) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/stdlib.dats: 1437(line=40, offs=1) -- 1484(line=42, offs=31) */ /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/stdlib.sats: 1389(line=36, offs=1) -- 1443(line=41, offs=3) */ // #include \ "libats/libc/CATS/stdlib.cats" // /* /home/hwxi/Research/ATS-Postiats/libats/libc/SATS/stdlib.sats: 1810(line=62, offs=1) -- 1857(line=64, offs=31) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/stdlib.dats: 1509(line=46, offs=1) -- 1544(line=46, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/stdlib.dats: 1567(line=50, offs=1) -- 1603(line=50, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/stdlib.sats: 1522(line=41, offs=1) -- 1557(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/funmap.sats: 1524(line=43, offs=1) -- 1559(line=43, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/funset.sats: 1524(line=41, offs=1) -- 1559(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/funmap.dats: 1485(line=41, offs=1) -- 1531(line=42, offs=34) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/funmap.dats: 1556(line=46, offs=1) -- 1591(line=46, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/funmap.dats: 1614(line=50, offs=1) -- 1650(line=50, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/funmap.sats: 1524(line=43, offs=1) -- 1559(line=43, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/funmap_avltree.dats: 1534(line=43, offs=1) -- 1573(line=43, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/funmap_avltree.dats: 1596(line=47, offs=1) -- 1637(line=47, offs=42) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/SHARE/funmap.hats: 3938(line=188, offs=1) -- 3974(line=188, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/qlist.sats: 1605(line=53, offs=1) -- 1645(line=55, offs=3) */ #include "libats/CATS/qlist.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/funset.dats: 1484(line=40, offs=1) -- 1523(line=41, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/funset.dats: 1550(line=45, offs=1) -- 1596(line=47, offs=34) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/funset.dats: 1621(line=51, offs=1) -- 1656(line=51, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/funset.dats: 1679(line=55, offs=1) -- 1714(line=55, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/funset.dats: 1737(line=59, offs=1) -- 1773(line=59, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/funset.sats: 1524(line=41, offs=1) -- 1559(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/funset_avltree.dats: 1417(line=37, offs=1) -- 1456(line=37, offs=40) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/funset_avltree.dats: 1479(line=41, offs=1) -- 1520(line=41, offs=42) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/SHARE/funset.hats: 5364(line=289, offs=1) -- 5400(line=290, offs=25) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/qlist.sats: 1605(line=53, offs=1) -- 1645(line=55, offs=3) */ #include "libats/CATS/qlist.cats" /* /home/hwxi/Research/ATS-Postiats/libats/DATS/dynarray.dats: 1399(line=36, offs=1) -- 1438(line=37, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/dynarray.dats: 1461(line=41, offs=1) -- 1496(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/dynarray.sats: 1465(line=42, offs=1) -- 1510(line=45, offs=3) */ #include \ "libats/CATS/dynarray.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/dynarray.sats: 1529(line=41, offs=1) -- 1564(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/dynarray.dats: 1396(line=36, offs=1) -- 1435(line=37, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/dynarray.dats: 1460(line=41, offs=1) -- 1500(line=42, offs=33) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/dynarray.sats: 1465(line=42, offs=1) -- 1510(line=45, offs=3) */ #include \ "libats/CATS/dynarray.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/dynarray.dats: 1525(line=46, offs=1) -- 1560(line=46, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/dynarray.dats: 1561(line=47, offs=1) -- 1596(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/dynarray.dats: 1619(line=51, offs=1) -- 1657(line=51, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/dynarray.sats: 1529(line=41, offs=1) -- 1564(line=41, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/qlistref.dats: 1447(line=40, offs=1) -- 1486(line=41, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/qlistref.dats: 1511(line=45, offs=1) -- 1543(line=45, offs=33) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/qlist.sats: 1605(line=53, offs=1) -- 1645(line=55, offs=3) */ #include "libats/CATS/qlist.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/qlistref.dats: 1547(line=47, offs=1) -- 1582(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/qlistref.dats: 1583(line=48, offs=1) -- 1621(line=48, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/slistref.dats: 1452(line=41, offs=1) -- 1491(line=42, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/slistref.dats: 1516(line=46, offs=1) -- 1551(line=46, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/slistref.dats: 1552(line=47, offs=1) -- 1590(line=47, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/qlist.dats: 1404(line=36, offs=1) -- 1443(line=37, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/qlist.dats: 1466(line=41, offs=1) -- 1498(line=41, offs=33) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/qlist.sats: 1605(line=53, offs=1) -- 1645(line=55, offs=3) */ #include "libats/CATS/qlist.cats" /* /home/hwxi/Research/ATS-Postiats/libats/DATS/hashfun.dats: 1354(line=35, offs=1) -- 1393(line=36, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/hashfun.dats: 1416(line=40, offs=1) -- 1450(line=40, offs=35) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/hashfun.sats: 1354(line=35, offs=1) -- 1396(line=37, offs=3) */ #include "libats/CATS/hashfun.cats" /* /home/hwxi/Research/ATS-Postiats/libats/DATS/linmap_list.dats: 1539(line=41, offs=1) -- 1578(line=42, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/linmap_list.dats: 1601(line=46, offs=1) -- 1639(line=46, offs=39) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/SHARE/linmap.hats: 4640(line=237, offs=1) -- 4676(line=238, offs=25) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/qlist.sats: 1605(line=53, offs=1) -- 1645(line=55, offs=3) */ #include "libats/CATS/qlist.cats" /* /home/hwxi/Research/ATS-Postiats/libats/DATS/hashtbl_chain.dats: 1604(line=42, offs=1) -- 1643(line=43, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/hashtbl_chain.dats: 1666(line=47, offs=1) -- 1700(line=47, offs=35) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/hashfun.sats: 1354(line=35, offs=1) -- 1396(line=37, offs=3) */ #include "libats/CATS/hashfun.cats" /* /home/hwxi/Research/ATS-Postiats/libats/DATS/hashtbl_chain.dats: 1723(line=51, offs=1) -- 1763(line=51, offs=41) */ /* /home/hwxi/Research/ATS-Postiats/libats/DATS/SHARE/hashtbl.hats: 5502(line=294, offs=1) -- 5538(line=294, offs=37) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/qlist.sats: 1605(line=53, offs=1) -- 1645(line=55, offs=3) */ #include "libats/CATS/qlist.cats" /* /home/hwxi/Research/ATS-Postiats/libats/DATS/hashtbl_chain.dats: 2924(line=127, offs=1) -- 2967(line=128, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/hashtblref.sats: 1524(line=43, offs=1) -- 1559(line=43, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/hashtblref.dats: 1394(line=36, offs=1) -- 1433(line=37, offs=32) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/hashtblref.dats: 1458(line=41, offs=1) -- 1503(line=42, offs=33) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/hashtblref.dats: 1528(line=46, offs=1) -- 1563(line=46, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/hashtblref.dats: 1586(line=50, offs=1) -- 1621(line=50, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/list0.sats: 1665(line=47, offs=1) -- 1700(line=47, offs=36) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/hashtblref.dats: 1644(line=54, offs=1) -- 1678(line=54, offs=35) */ /* /home/hwxi/Research/ATS-Postiats/libats/SATS/hashfun.sats: 1354(line=35, offs=1) -- 1396(line=37, offs=3) */ #include "libats/CATS/hashfun.cats" /* /home/hwxi/Research/ATS-Postiats/libats/ML/DATS/hashtblref.dats: 1679(line=55, offs=1) -- 1719(line=55, offs=41) */ /* /home/hwxi/Research/ATS-Postiats/libats/ML/SATS/hashtblref.sats: 1524(line=43, offs=1) -- 1559(line=43, offs=36) */ /* staload-prologues(end) */ /* typedefs-for-tyrecs-and-tysums(beg) */ /* typedefs-for-tyrecs-and-tysums(end) */ /* dynconlst-declaration(beg) */ /* dynconlst-declaration(end) */ /* dyncstlst-declaration(beg) */ ATSdyncst_mac(atspre_arrayref_make_arrpsz) ATSdyncst_mac(atspre_fprint_string) ATSdyncst_mac(atspre_FILE_stdout) ATSdyncst_mac(atspre_g1int2uint_int_size) ATSdyncst_mac(atspre_g1uint_gt_size) ATSdyncst_mac(atspre_g0int2int_int_int) ATSdyncst_mac(atspre_g0int_gt_int) ATSdyncst_mac(atspre_g0int_add_int) ATSdyncst_mac(atspre_fprint_int) ATSdyncst_mac(atspre_add_ptr1_bsz) ATSdyncst_mac(atspre_g1uint_pred_size) ATSdyncst_mac(atspre_g1uint_sub_size) ATSdyncst_mac(atspre_fprint_newline) ATSdyncst_extfun(_057_home_057_hwxi_057_Research_057_ATS_055_Postiats_057_libats_057_BUCS320_057_MergeSort_057_TEST_057_testlib_056_dats__MergeSort_array_int, (atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_int)), atsvoid_t0ype) ; ATSdyncst_mac(atspre_fprint_double) ATSdyncst_extfun(_057_home_057_hwxi_057_Research_057_ATS_055_Postiats_057_libats_057_BUCS320_057_MergeSort_057_TEST_057_testlib_056_dats__MergeSort_array_double, (atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_int)), atsvoid_t0ype) ; /* dyncstlst-declaration(end) */ /* dynvalist-implementation(beg) */ /* dynvalist-implementation(end) */ /* exnconlst-declaration(beg) */ #ifndef _ATS_CCOMP_EXCEPTION_NONE_ ATSextern() atsvoid_t0ype the_atsexncon_initize ( atstype_exnconptr d2c, atstype_string exnmsg ) ; #endif // end of [_ATS_CCOMP_EXCEPTION_NONE_] /* exnconlst-declaration(end) */ /* assumelst-declaration(beg) */ #ifndef _ATS_CCOMP_ASSUME_CHECK_NONE_ #endif // #ifndef(_ATS_CCOMP_ASSUME_CHECK_NONE_) /* assumelst-declaration(end) */ /* extypelst-declaration(beg) */ /* extypelst-declaration(end) */ #if(0) ATSextern() atsvoid_t0ype mainats_void_0() ; #endif // end of [QUALIFIED] #if(0) #if(0) ATSextern() atsvoid_t0ype ATSLIB_056_prelude__fprint_arrayref__1(atstkind_type(atstype_ptrk), atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_size)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_arrayref__1__1(atstkind_type(atstype_ptrk), atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_size)) ; #if(0) #if(0) ATSextern() atsvoid_t0ype ATSLIB_056_prelude__fprint_array_size__3(atstkind_type(atstype_ptrk), atsrefarg1_type(atstyarr_type(atstyvar_type(a))), atstkind_t0ype(atstype_size)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] #if(0) #if(0) ATSextern() atsvoid_t0ype ATSLIB_056_prelude__array_foreach__fwork__4(atstkind_type(atstype_ptrk), atsrefarg1_type(atstyvar_type(a)), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_array_size__3__1(atstkind_type(atstype_ptrk), atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_int))), atstkind_t0ype(atstype_size)) ; #if(0) #if(0) ATSextern() atstkind_t0ype(atstype_size) ATSLIB_056_prelude__array_foreach_env__6(atsrefarg1_type(atstyarr_type(atstyvar_type(a))), atstkind_t0ype(atstype_size), atsrefarg1_type(atstyvar_type(env))) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] #if(0) ATSstatic() atstkind_t0ype(atstype_size) loop_7__7(atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_size), atsrefarg1_type(atstyvar_type(env))) ; #endif // end of [TEMPLATE] ATSstatic() atstkind_t0ype(atstype_size) ATSLIB_056_prelude__array_foreach_env__6__1(atstkind_type(atstype_ptrk), atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_int))), atstkind_t0ype(atstype_size), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atstkind_t0ype(atstype_size) loop_7__7__1(atstkind_type(atstype_ptrk), atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_size), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; #if(0) #if(0) ATSextern() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1uint_int__10(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1uint_int__10__1(atstkind_t0ype(atstype_size), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSextern() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__array_foreach__cont__14(atsrefarg1_type(atstyvar_type(a)), atsrefarg1_type(atstyvar_type(env))) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__array_foreach__cont__14__1(atsrefarg1_type(atstkind_t0ype(atstype_int)), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__array_foreach__fwork__4__1(atstkind_type(atstype_ptrk), atsrefarg1_type(atstkind_t0ype(atstype_int)), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; #if(0) #if(0) ATSextern() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__17(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__17__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSextern() atsvoid_t0ype ATSLIB_056_prelude__fprint_array__sep__21(atstkind_type(atstype_ptrk)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_array__sep__21__1(atstkind_type(atstype_ptrk)) ; #if(0) #if(0) ATSextern() atsvoid_t0ype ATSLIB_056_prelude__fprint_ref__24(atstkind_type(atstype_ptrk), atsrefarg1_type(atstyvar_type(a))) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_ref__24__1(atstkind_type(atstype_ptrk), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; #if(0) #if(0) ATSextern() atsvoid_t0ype ATSLIB_056_prelude__fprint_val__26(atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_val__26__1(atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSextern() atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr1_succ__28(atstkind_type(atstype_ptrk)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr1_succ__28__1(atstkind_type(atstype_ptrk)) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_arrayref__1__2(atstkind_type(atstype_ptrk), atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_size)) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_array_size__3__2(atstkind_type(atstype_ptrk), atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_int))), atstkind_t0ype(atstype_size)) ; ATSstatic() atstkind_t0ype(atstype_size) ATSLIB_056_prelude__array_foreach_env__6__2(atstkind_type(atstype_ptrk), atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_int))), atstkind_t0ype(atstype_size), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atstkind_t0ype(atstype_size) loop_7__7__2(atstkind_type(atstype_ptrk), atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_size), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1uint_int__10__2(atstkind_t0ype(atstype_size), atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__array_foreach__cont__14__2(atsrefarg1_type(atstkind_t0ype(atstype_int)), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__array_foreach__fwork__4__2(atstkind_type(atstype_ptrk), atsrefarg1_type(atstkind_t0ype(atstype_int)), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__17__2(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_array__sep__21__2(atstkind_type(atstype_ptrk)) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_ref__24__2(atstkind_type(atstype_ptrk), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_val__26__2(atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr1_succ__28__2(atstkind_type(atstype_ptrk)) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_arrayref__1__3(atstkind_type(atstype_ptrk), atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_size)) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_array_size__3__3(atstkind_type(atstype_ptrk), atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_double))), atstkind_t0ype(atstype_size)) ; ATSstatic() atstkind_t0ype(atstype_size) ATSLIB_056_prelude__array_foreach_env__6__3(atstkind_type(atstype_ptrk), atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_double))), atstkind_t0ype(atstype_size), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atstkind_t0ype(atstype_size) loop_7__7__3(atstkind_type(atstype_ptrk), atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_size), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1uint_int__10__3(atstkind_t0ype(atstype_size), atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__array_foreach__cont__14__3(atsrefarg1_type(atstkind_t0ype(atstype_double)), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__array_foreach__fwork__4__3(atstkind_type(atstype_ptrk), atsrefarg1_type(atstkind_t0ype(atstype_double)), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__17__3(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_array__sep__21__3(atstkind_type(atstype_ptrk)) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_ref__24__3(atstkind_type(atstype_ptrk), atsrefarg1_type(atstkind_t0ype(atstype_double))) ; ATSstatic() atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr1_succ__28__3(atstkind_type(atstype_ptrk)) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_arrayref__1__4(atstkind_type(atstype_ptrk), atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_size)) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_array_size__3__4(atstkind_type(atstype_ptrk), atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_double))), atstkind_t0ype(atstype_size)) ; ATSstatic() atstkind_t0ype(atstype_size) ATSLIB_056_prelude__array_foreach_env__6__4(atstkind_type(atstype_ptrk), atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_double))), atstkind_t0ype(atstype_size), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atstkind_t0ype(atstype_size) loop_7__7__4(atstkind_type(atstype_ptrk), atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_size), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1uint_int__10__4(atstkind_t0ype(atstype_size), atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__array_foreach__cont__14__4(atsrefarg1_type(atstkind_t0ype(atstype_double)), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__array_foreach__fwork__4__4(atstkind_type(atstype_ptrk), atsrefarg1_type(atstkind_t0ype(atstype_double)), atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__17__4(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_array__sep__21__4(atstkind_type(atstype_ptrk)) ; ATSstatic() atsvoid_t0ype ATSLIB_056_prelude__fprint_ref__24__4(atstkind_type(atstype_ptrk), atsrefarg1_type(atstkind_t0ype(atstype_double))) ; ATSstatic() atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr1_succ__28__4(atstkind_type(atstype_ptrk)) ; /* /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 278(line=22, offs=6) -- 1275(line=86, offs=2) */ /* local: global: mainats_void_0$0$0(level=0) local: global: */ ATSextern() atsvoid_t0ype mainats_void_0() { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret0) ; ATStmpdec(tmp1, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp2, atstype_arrpsz) ; ATStmpdec(tmp3, atstype_arrptr) ; // ATStmpdec_void(tmp4) ; // ATStmpdec_void(tmp5) ; ATStmpdec(tmp62, atstkind_t0ype(atstype_size)) ; // ATStmpdec_void(tmp63) ; // ATStmpdec_void(tmp64) ; // ATStmpdec_void(tmp65) ; // ATStmpdec_void(tmp66) ; ATStmpdec(tmp95, atstkind_t0ype(atstype_size)) ; // ATStmpdec_void(tmp96) ; ATStmpdec(tmp97, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp98, atstype_arrpsz) ; ATStmpdec(tmp99, atstype_arrptr) ; // ATStmpdec_void(tmp100) ; // ATStmpdec_void(tmp101) ; ATStmpdec(tmp129, atstkind_t0ype(atstype_size)) ; // ATStmpdec_void(tmp130) ; // ATStmpdec_void(tmp131) ; // ATStmpdec_void(tmp132) ; // ATStmpdec_void(tmp133) ; ATStmpdec(tmp161, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 273(line=22, offs=1) -- 1275(line=86, offs=2) */ ATSINSflab(__patsflab_main_void_0): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 283(line=23, offs=1) -- 1275(line=86, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 309(line=29, offs=1) -- 356(line=32, offs=2) */ /* ATSINStmpdec(tmp2) ; */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 309(line=29, offs=1) -- 356(line=32, offs=2) */ ATSINSstore_arrpsz_asz(tmp2, 10) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 309(line=29, offs=1) -- 356(line=32, offs=2) */ ATSINSstore_arrpsz_ptr(tmp2, atstkind_t0ype(atstype_int), 10) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 309(line=29, offs=1) -- 356(line=32, offs=2) */ ATSINSmove_arrpsz_ptr(tmp3, tmp2) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 326(line=31, offs=3) -- 327(line=31, offs=4) */ ATSINSpmove(tmp3, atstkind_t0ype(atstype_int), ATSPMVi0nt(8)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 326(line=31, offs=3) -- 327(line=31, offs=4) */ ATSINSupdate_ptrinc(tmp3, atstkind_t0ype(atstype_int)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 329(line=31, offs=6) -- 330(line=31, offs=7) */ ATSINSpmove(tmp3, atstkind_t0ype(atstype_int), ATSPMVi0nt(3)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 329(line=31, offs=6) -- 330(line=31, offs=7) */ ATSINSupdate_ptrinc(tmp3, atstkind_t0ype(atstype_int)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 332(line=31, offs=9) -- 333(line=31, offs=10) */ ATSINSpmove(tmp3, atstkind_t0ype(atstype_int), ATSPMVi0nt(2)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 332(line=31, offs=9) -- 333(line=31, offs=10) */ ATSINSupdate_ptrinc(tmp3, atstkind_t0ype(atstype_int)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 335(line=31, offs=12) -- 336(line=31, offs=13) */ ATSINSpmove(tmp3, atstkind_t0ype(atstype_int), ATSPMVi0nt(4)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 335(line=31, offs=12) -- 336(line=31, offs=13) */ ATSINSupdate_ptrinc(tmp3, atstkind_t0ype(atstype_int)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 338(line=31, offs=15) -- 339(line=31, offs=16) */ ATSINSpmove(tmp3, atstkind_t0ype(atstype_int), ATSPMVi0nt(6)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 338(line=31, offs=15) -- 339(line=31, offs=16) */ ATSINSupdate_ptrinc(tmp3, atstkind_t0ype(atstype_int)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 341(line=31, offs=18) -- 342(line=31, offs=19) */ ATSINSpmove(tmp3, atstkind_t0ype(atstype_int), ATSPMVi0nt(5)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 341(line=31, offs=18) -- 342(line=31, offs=19) */ ATSINSupdate_ptrinc(tmp3, atstkind_t0ype(atstype_int)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 344(line=31, offs=21) -- 345(line=31, offs=22) */ ATSINSpmove(tmp3, atstkind_t0ype(atstype_int), ATSPMVi0nt(1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 344(line=31, offs=21) -- 345(line=31, offs=22) */ ATSINSupdate_ptrinc(tmp3, atstkind_t0ype(atstype_int)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 347(line=31, offs=24) -- 348(line=31, offs=25) */ ATSINSpmove(tmp3, atstkind_t0ype(atstype_int), ATSPMVi0nt(7)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 347(line=31, offs=24) -- 348(line=31, offs=25) */ ATSINSupdate_ptrinc(tmp3, atstkind_t0ype(atstype_int)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 350(line=31, offs=27) -- 351(line=31, offs=28) */ ATSINSpmove(tmp3, atstkind_t0ype(atstype_int), ATSPMVi0nt(0)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 350(line=31, offs=27) -- 351(line=31, offs=28) */ ATSINSupdate_ptrinc(tmp3, atstkind_t0ype(atstype_int)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 353(line=31, offs=30) -- 354(line=31, offs=31) */ ATSINSpmove(tmp3, atstkind_t0ype(atstype_int), ATSPMVi0nt(9)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 298(line=27, offs=1) -- 358(line=33, offs=2) */ ATSINSmove(tmp1, atspre_arrayref_make_arrpsz(tmp2)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 390(line=36, offs=1) -- 419(line=36, offs=30) */ ATSINSmove_void(tmp4, atspre_fprint_string(atspre_FILE_stdout, ATSPMVstring("xs0 = "))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 462(line=38, offs=34) -- 470(line=38, offs=42) */ ATSINSmove(tmp62, atspre_g1int2uint_int_size(ATSPMVi0nt(10))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 429(line=38, offs=1) -- 471(line=38, offs=43) */ ATSINSmove_void(tmp5, ATSLIB_056_prelude__fprint_arrayref__1__1(atspre_FILE_stdout, tmp1, tmp62)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 505(line=40, offs=18) -- 530(line=40, offs=43) */ ATSINSmove_void(tmp63, atspre_fprint_newline(atspre_FILE_stdout)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 544(line=43, offs=1) -- 581(line=43, offs=38) */ ATSINSmove_void(tmp64, _057_home_057_hwxi_057_Research_057_ATS_055_Postiats_057_libats_057_BUCS320_057_MergeSort_057_TEST_057_testlib_056_dats__MergeSort_array_int(tmp1, ATSPMVi0nt(10))) ; /* (*nothing*) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 611(line=48, offs=1) -- 640(line=48, offs=30) */ ATSINSmove_void(tmp65, atspre_fprint_string(atspre_FILE_stdout, ATSPMVstring("xs1 = "))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 683(line=50, offs=34) -- 691(line=50, offs=42) */ ATSINSmove(tmp95, atspre_g1int2uint_int_size(ATSPMVi0nt(10))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 650(line=50, offs=1) -- 692(line=50, offs=43) */ ATSINSmove_void(tmp66, ATSLIB_056_prelude__fprint_arrayref__1__2(atspre_FILE_stdout, tmp1, tmp95)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 726(line=52, offs=18) -- 751(line=52, offs=43) */ ATSINSmove_void(tmp96, atspre_fprint_newline(atspre_FILE_stdout)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 800(line=60, offs=1) -- 871(line=64, offs=2) */ /* ATSINStmpdec(tmp98) ; */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 800(line=60, offs=1) -- 871(line=64, offs=2) */ ATSINSstore_arrpsz_asz(tmp98, 10) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 800(line=60, offs=1) -- 871(line=64, offs=2) */ ATSINSstore_arrpsz_ptr(tmp98, atstkind_t0ype(atstype_double), 10) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 800(line=60, offs=1) -- 871(line=64, offs=2) */ ATSINSmove_arrpsz_ptr(tmp99, tmp98) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 820(line=62, offs=3) -- 823(line=62, offs=6) */ ATSINSpmove(tmp99, atstkind_t0ype(atstype_double), ATSPMVf0loat(8.8)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 820(line=62, offs=3) -- 823(line=62, offs=6) */ ATSINSupdate_ptrinc(tmp99, atstkind_t0ype(atstype_double)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 825(line=62, offs=8) -- 828(line=62, offs=11) */ ATSINSpmove(tmp99, atstkind_t0ype(atstype_double), ATSPMVf0loat(3.3)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 825(line=62, offs=8) -- 828(line=62, offs=11) */ ATSINSupdate_ptrinc(tmp99, atstkind_t0ype(atstype_double)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 830(line=62, offs=13) -- 833(line=62, offs=16) */ ATSINSpmove(tmp99, atstkind_t0ype(atstype_double), ATSPMVf0loat(2.2)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 830(line=62, offs=13) -- 833(line=62, offs=16) */ ATSINSupdate_ptrinc(tmp99, atstkind_t0ype(atstype_double)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 835(line=62, offs=18) -- 838(line=62, offs=21) */ ATSINSpmove(tmp99, atstkind_t0ype(atstype_double), ATSPMVf0loat(4.4)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 835(line=62, offs=18) -- 838(line=62, offs=21) */ ATSINSupdate_ptrinc(tmp99, atstkind_t0ype(atstype_double)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 840(line=62, offs=23) -- 843(line=62, offs=26) */ ATSINSpmove(tmp99, atstkind_t0ype(atstype_double), ATSPMVf0loat(6.6)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 840(line=62, offs=23) -- 843(line=62, offs=26) */ ATSINSupdate_ptrinc(tmp99, atstkind_t0ype(atstype_double)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 846(line=63, offs=3) -- 849(line=63, offs=6) */ ATSINSpmove(tmp99, atstkind_t0ype(atstype_double), ATSPMVf0loat(5.5)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 846(line=63, offs=3) -- 849(line=63, offs=6) */ ATSINSupdate_ptrinc(tmp99, atstkind_t0ype(atstype_double)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 851(line=63, offs=8) -- 854(line=63, offs=11) */ ATSINSpmove(tmp99, atstkind_t0ype(atstype_double), ATSPMVf0loat(1.1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 851(line=63, offs=8) -- 854(line=63, offs=11) */ ATSINSupdate_ptrinc(tmp99, atstkind_t0ype(atstype_double)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 856(line=63, offs=13) -- 859(line=63, offs=16) */ ATSINSpmove(tmp99, atstkind_t0ype(atstype_double), ATSPMVf0loat(7.7)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 856(line=63, offs=13) -- 859(line=63, offs=16) */ ATSINSupdate_ptrinc(tmp99, atstkind_t0ype(atstype_double)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 861(line=63, offs=18) -- 864(line=63, offs=21) */ ATSINSpmove(tmp99, atstkind_t0ype(atstype_double), ATSPMVf0loat(0.0)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 861(line=63, offs=18) -- 864(line=63, offs=21) */ ATSINSupdate_ptrinc(tmp99, atstkind_t0ype(atstype_double)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 866(line=63, offs=23) -- 869(line=63, offs=26) */ ATSINSpmove(tmp99, atstkind_t0ype(atstype_double), ATSPMVf0loat(9.9)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 789(line=58, offs=1) -- 873(line=65, offs=2) */ ATSINSmove(tmp97, atspre_arrayref_make_arrpsz(tmp98)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 905(line=68, offs=1) -- 934(line=68, offs=30) */ ATSINSmove_void(tmp100, atspre_fprint_string(atspre_FILE_stdout, ATSPMVstring("xs0 = "))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 977(line=70, offs=34) -- 985(line=70, offs=42) */ ATSINSmove(tmp129, atspre_g1int2uint_int_size(ATSPMVi0nt(10))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 944(line=70, offs=1) -- 986(line=70, offs=43) */ ATSINSmove_void(tmp101, ATSLIB_056_prelude__fprint_arrayref__1__3(atspre_FILE_stdout, tmp97, tmp129)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 1020(line=72, offs=18) -- 1045(line=72, offs=43) */ ATSINSmove_void(tmp130, atspre_fprint_newline(atspre_FILE_stdout)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 1059(line=75, offs=1) -- 1099(line=75, offs=41) */ ATSINSmove_void(tmp131, _057_home_057_hwxi_057_Research_057_ATS_055_Postiats_057_libats_057_BUCS320_057_MergeSort_057_TEST_057_testlib_056_dats__MergeSort_array_double(tmp97, ATSPMVi0nt(10))) ; /* (*nothing*) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 1129(line=80, offs=1) -- 1158(line=80, offs=30) */ ATSINSmove_void(tmp132, atspre_fprint_string(atspre_FILE_stdout, ATSPMVstring("xs1 = "))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 1201(line=82, offs=34) -- 1209(line=82, offs=42) */ ATSINSmove(tmp161, atspre_g1int2uint_int_size(ATSPMVi0nt(10))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 1168(line=82, offs=1) -- 1210(line=82, offs=43) */ ATSINSmove_void(tmp133, ATSLIB_056_prelude__fprint_arrayref__1__4(atspre_FILE_stdout, tmp97, tmp161)) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 1244(line=84, offs=18) -- 1269(line=84, offs=43) */ ATSINSmove_void(tmpret0, atspre_fprint_newline(atspre_FILE_stdout)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/libats/BUCS320/MergeSort/TEST/test02.dats: 283(line=23, offs=1) -- 1275(line=86, offs=2) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret0) ; } /* end of [mainats_void_0] */ #if(0) /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats: 4038(line=176, offs=3) -- 4159(line=182, offs=4) */ /* local: global: fprint_arrayref$1$0(level=0) local: global: */ ATSextern() /* imparg = a(7825) tmparg = S2Evar(a(7825)) tmpsub = None() */ atsvoid_t0ype ATSLIB_056_prelude__fprint_arrayref__1(atstkind_type(atstype_ptrk) arg0, atstkind_type(atstype_ptrk) arg1, atstkind_t0ype(atstype_size) arg2) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret6) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4020(line=175, offs=1) -- 4159(line=182, offs=4) */ ATSINSflab(__patsflab_fprint_arrayref): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4052(line=176, offs=17) -- 4159(line=182, offs=4) */ /* letpush(beg) */ /* (*nothing*) */ /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4126(line=181, offs=17) -- 4154(line=181, offs=45) */ ATSINSmove_void(tmpret6, PMVtmpltcst(fprint_array_size)(arg0, ATSPMVrefarg1(ATSPMVcastfn(arrayref_get_viewptr, atstkind_type(atstype_ptrk), arg1)), arg2)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4052(line=176, offs=17) -- 4159(line=182, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret6) ; } /* end of [ATSLIB_056_prelude__fprint_arrayref__1] */ #endif // end of [TEMPLATE] /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats: 4038(line=176, offs=3) -- 4159(line=182, offs=4) */ /* local: global: fprint_arrayref$1$1(level=1) local: global: */ ATSstatic() /* imparg = a(7825) tmparg = S2Evar(a(7825)) tmpsub = Some(a(7825) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atsvoid_t0ype ATSLIB_056_prelude__fprint_arrayref__1__1(atstkind_type(atstype_ptrk) arg0, atstkind_type(atstype_ptrk) arg1, atstkind_t0ype(atstype_size) arg2) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret6__1) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4020(line=175, offs=1) -- 4159(line=182, offs=4) */ ATSINSflab(__patsflab_fprint_arrayref): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4052(line=176, offs=17) -- 4159(line=182, offs=4) */ /* letpush(beg) */ /* (*nothing*) */ /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4126(line=181, offs=17) -- 4154(line=181, offs=45) */ ATSINSmove_void(tmpret6__1, ATSLIB_056_prelude__fprint_array_size__3__1(arg0, ATSPMVrefarg1(ATSPMVcastfn(arrayref_get_viewptr, atstkind_type(atstype_ptrk), arg1)), arg2)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4052(line=176, offs=17) -- 4159(line=182, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret6__1) ; } /* end of [ATSLIB_056_prelude__fprint_arrayref__1__1] */ #if(0) /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6152(line=305, offs=3) -- 6502(line=324, offs=4) */ /* local: global: fprint_array_size$3$0(level=0) local: global: */ ATSextern() /* imparg = a(7473) tmparg = S2Evar(a(7473)) tmpsub = None() */ atsvoid_t0ype ATSLIB_056_prelude__fprint_array_size__3(atstkind_type(atstype_ptrk) arg0, atsrefarg1_type(atstyarr_type(atstyvar_type(a))) arg1, atstkind_t0ype(atstype_size) arg2) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret8) ; ATStmpdec(tmpref14, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp15, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6132(line=304, offs=1) -- 6502(line=324, offs=4) */ ATSINSflab(__patsflab_fprint_array_size): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6168(line=305, offs=19) -- 6502(line=324, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6412(line=319, offs=5) -- 6415(line=319, offs=8) */ /* ATSINStmpdec(tmpref14) ; */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6424(line=319, offs=17) -- 6425(line=319, offs=18) */ ATSINSmove(tmpref14, ATSPMVi0nt(0)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6439(line=320, offs=14) -- 6479(line=320, offs=54) */ ATSINSmove(tmp15, PMVtmpltcst(array_foreach_env)(ATSPMVrefarg1(arg1), arg2, ATSPMVrefarg1(ATSPMVptrof(tmpref14)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6483(line=322, offs=1) -- 6502(line=324, offs=4) */ ATSINSmove_void(tmpret8, ATSPMVempty()) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6168(line=305, offs=19) -- 6502(line=324, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret8) ; } /* end of [ATSLIB_056_prelude__fprint_array_size__3] */ #endif // end of [TEMPLATE] #if(0) /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6238(line=311, offs=3) -- 6372(line=317, offs=4) */ /* local: global: array_foreach$fwork$4$0(level=1) local: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) global: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) */ ATSextern() /* imparg = tmparg = S2Evar(a(7473)); S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int)) tmpsub = None() */ atsvoid_t0ype ATSLIB_056_prelude__array_foreach__fwork__4(atstkind_type(atstype_ptrk) env0, atsrefarg1_type(atstyvar_type(a)) arg0, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg1) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret9) ; ATStmpdec(tmp10, atstkind_t0ype(atstype_int)) ; // ATStmpdec_void(tmp11) ; ATStmpdec(tmp12, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp13, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6207(line=310, offs=1) -- 6372(line=317, offs=4) */ ATSINSflab(__patsflab_array_foreach__fwork): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6249(line=311, offs=14) -- 6372(line=317, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6263(line=312, offs=11) -- 6266(line=312, offs=14) */ ATSINSmove(tmp10, ATSderef(arg1, atstkind_t0ype(atstype_int))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6281(line=313, offs=15) -- 6286(line=313, offs=20) */ ATSINSmove(tmp12, PMVtmpltcst(gt_g0int_int)(tmp10, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6278(line=313, offs=12) -- 6316(line=313, offs=50) */ ATSif( tmp12 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6292(line=313, offs=26) -- 6315(line=313, offs=49) */ ATSINSmove_void(tmp11, PMVtmpltcst(fprint_array$sep<>)(env0)) ; } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6315(line=313, offs=49) -- 6315(line=313, offs=49) */ ATSINSmove_void(tmp11, ATSPMVempty()) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6335(line=314, offs=19) -- 6340(line=314, offs=24) */ ATSINSmove(tmp13, PMVtmpltcst(g0int_add)(tmp10, ATSPMVi0nt(1))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6328(line=314, offs=12) -- 6340(line=314, offs=24) */ ATSINSstore(ATSderef(arg1, atstkind_t0ype(atstype_int)), tmp13) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6346(line=316, offs=3) -- 6368(line=316, offs=25) */ ATSINSmove_void(tmpret9, PMVtmpltcst(fprint_ref)(env0, ATSPMVrefarg1(arg0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6249(line=311, offs=14) -- 6372(line=317, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret9) ; } /* end of [ATSLIB_056_prelude__array_foreach__fwork__4] */ #endif // end of [TEMPLATE] /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6152(line=305, offs=3) -- 6502(line=324, offs=4) */ /* local: global: fprint_array_size$3$1(level=2) local: global: */ ATSstatic() /* imparg = a(7473) tmparg = S2Evar(a(7473)) tmpsub = Some(a(7473) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atsvoid_t0ype ATSLIB_056_prelude__fprint_array_size__3__1(atstkind_type(atstype_ptrk) arg0, atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_int))) arg1, atstkind_t0ype(atstype_size) arg2) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret8__1) ; ATStmpdec(tmpref14__1, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp15__1, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6132(line=304, offs=1) -- 6502(line=324, offs=4) */ ATSINSflab(__patsflab_fprint_array_size): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6168(line=305, offs=19) -- 6502(line=324, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6412(line=319, offs=5) -- 6415(line=319, offs=8) */ /* ATSINStmpdec(tmpref14) ; */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6424(line=319, offs=17) -- 6425(line=319, offs=18) */ ATSINSmove(tmpref14__1, ATSPMVi0nt(0)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6439(line=320, offs=14) -- 6479(line=320, offs=54) */ ATSINSmove(tmp15__1, ATSLIB_056_prelude__array_foreach_env__6__1(arg0, ATSPMVrefarg1(arg1), arg2, ATSPMVrefarg1(ATSPMVptrof(tmpref14__1)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6483(line=322, offs=1) -- 6502(line=324, offs=4) */ ATSINSmove_void(tmpret8__1, ATSPMVempty()) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6168(line=305, offs=19) -- 6502(line=324, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret8__1) ; } /* end of [ATSLIB_056_prelude__fprint_array_size__3__1] */ #if(0) /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 9906(line=503, offs=7) -- 10773(line=557, offs=4) */ /* local: global: array_foreach_env$6$0(level=0) local: global: */ ATSextern() /* imparg = a(7507), env(7508) tmparg = S2Evar(a(7507)); S2Evar(env(7508)) tmpsub = None() */ atstkind_t0ype(atstype_size) ATSLIB_056_prelude__array_foreach_env__6(atsrefarg1_type(atstyarr_type(atstyvar_type(a))) arg0, atstkind_t0ype(atstype_size) arg1, atsrefarg1_type(atstyvar_type(env)) arg2) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret19, atstkind_t0ype(atstype_size)) ; ATStmpdec(tmp26, atsrefarg1_type(atstyarr_type(atstyvar_type(a)))) ; ATStmpdec(tmp27, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9882(line=502, offs=1) -- 10773(line=557, offs=4) */ ATSINSflab(__patsflab_array_foreach_env): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9922(line=503, offs=23) -- 10773(line=557, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10696(line=551, offs=5) -- 10698(line=551, offs=7) */ ATSINSmove(tmp26, arg0) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10722(line=553, offs=10) -- 10752(line=553, offs=40) */ ATSINSmove(tmp27, ATSfunclo_fun(PMVd2vfunlab(d2v=loop$2694(1), flab=loop_7$0(level=1)), (atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_size), atsrefarg1_type(atstyvar_type(env))), atstkind_t0ype(atstype_size))(tmp26, arg1, ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10761(line=556, offs=3) -- 10769(line=556, offs=11) */ ATSINSmove(tmpret19, PMVtmpltcst(g1uint_sub)(arg1, tmp27)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9922(line=503, offs=23) -- 10773(line=557, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret19) ; } /* end of [ATSLIB_056_prelude__array_foreach_env__6] */ #endif // end of [TEMPLATE] #if(0) /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 9967(line=508, offs=1) -- 10671(line=549, offs=4) */ /* local: loop_7$0(level=1) global: loop_7$0(level=1) local: global: */ ATSstatic() atstkind_t0ype(atstype_size) loop_7__7(atstkind_type(atstype_ptrk) arg0, atstkind_t0ype(atstype_size) arg1, atsrefarg1_type(atstyvar_type(env)) arg2) { /* tmpvardeclst(beg) */ ATStmpdec(apy0, atstkind_type(atstype_ptrk)) ; ATStmpdec(apy1, atstkind_t0ype(atstype_size)) ; ATStmpdec(apy2, atsrefarg1_type(atstyvar_type(env))) ; ATStmpdec(tmpret20, atstkind_t0ype(atstype_size)) ; ATStmpdec(tmp21, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp22, atstkind_t0ype(atstype_bool)) ; // ATStmpdec_void(tmp23) ; ATStmpdec(tmp24, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp25, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9967(line=508, offs=1) -- 10671(line=549, offs=4) */ ATSINSflab(__patsflab_loop_7): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10159(line=524, offs=2) -- 10165(line=524, offs=8) */ ATSINSmove(tmp21, PMVtmpltcst(gt_g1uint_int)(arg1, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10155(line=523, offs=1) -- 10644(line=547, offs=12) */ ATSif( tmp21 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10172(line=525, offs=6) -- 10636(line=547, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10244(line=531, offs=5) -- 10281(line=531, offs=42) */ ATSINSmove(tmp22, PMVtmpltcst(array_foreach$cont)(ATSPMVrefarg1(arg0), ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10305(line=534, offs=3) -- 10614(line=546, offs=6) */ ATSif( tmp22 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10318(line=534, offs=16) -- 10547(line=544, offs=6) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10341(line=536, offs=7) -- 10378(line=536, offs=44) */ ATSINSmove_void(tmp23, PMVtmpltcst(array_foreach$fwork)(ATSPMVrefarg1(arg0), ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10430(line=539, offs=18) -- 10445(line=539, offs=33) */ ATSINSmove(tmp24, PMVtmpltcst(ptr1_succ)(arg0)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10448(line=539, offs=36) -- 10455(line=539, offs=43) */ ATSINSmove(tmp25, PMVtmpltcst(g1uint_pred)(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10419(line=539, offs=7) -- 10462(line=539, offs=50) */ ATStailcal_beg() ATSINSmove_tlcal(apy0, tmp24) ; ATSINSmove_tlcal(apy1, tmp25) ; ATSINSmove_tlcal(apy2, ATSPMVrefarg1(arg2)) ; ATSINSargmove_tlcal(arg0, apy0) ; ATSINSargmove_tlcal(arg1, apy1) ; ATSINSargmove_tlcal(arg2, apy2) ; ATSINSfgoto(__patsflab_loop_7) ; ATStailcal_end() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10318(line=534, offs=16) -- 10547(line=544, offs=6) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10605(line=545, offs=49) -- 10607(line=545, offs=51) */ ATSINSmove(tmpret20, arg1) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10172(line=525, offs=6) -- 10636(line=547, offs=4) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10642(line=547, offs=10) -- 10644(line=547, offs=12) */ ATSINSmove(tmpret20, arg1) ; } /* ATSendif */ ATSfunbody_end() ATSreturn(tmpret20) ; } /* end of [loop_7__7] */ #endif // end of [TEMPLATE] /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 9906(line=503, offs=7) -- 10773(line=557, offs=4) */ /* local: global: array_foreach_env$6$1(level=3) local: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) global: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) */ ATSstatic() /* imparg = a(7507), env(7508) tmparg = S2Evar(a(7507)); S2Evar(env(7508)) tmpsub = Some(a(7507) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int)); env(7508) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atstkind_t0ype(atstype_size) ATSLIB_056_prelude__array_foreach_env__6__1(atstkind_type(atstype_ptrk) env0, atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_int))) arg0, atstkind_t0ype(atstype_size) arg1, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg2) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret19__1, atstkind_t0ype(atstype_size)) ; ATStmpdec(tmp26__1, atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_int)))) ; ATStmpdec(tmp27__1, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9882(line=502, offs=1) -- 10773(line=557, offs=4) */ ATSINSflab(__patsflab_array_foreach_env): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9922(line=503, offs=23) -- 10773(line=557, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10696(line=551, offs=5) -- 10698(line=551, offs=7) */ ATSINSmove(tmp26__1, arg0) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10722(line=553, offs=10) -- 10752(line=553, offs=40) */ ATSINSmove(tmp27__1, loop_7__7__1(env0, tmp26__1, arg1, ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10761(line=556, offs=3) -- 10769(line=556, offs=11) */ ATSINSmove(tmpret19__1, atspre_g1uint_sub_size(arg1, tmp27__1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9922(line=503, offs=23) -- 10773(line=557, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret19__1) ; } /* end of [ATSLIB_056_prelude__array_foreach_env__6__1] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 9967(line=508, offs=1) -- 10671(line=549, offs=4) */ /* local: loop_7$1(level=4) global: loop_7$1(level=4) local: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) global: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) */ ATSstatic() atstkind_t0ype(atstype_size) loop_7__7__1(atstkind_type(atstype_ptrk) env0, atstkind_type(atstype_ptrk) arg0, atstkind_t0ype(atstype_size) arg1, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg2) { /* tmpvardeclst(beg) */ ATStmpdec(apy0, atstkind_type(atstype_ptrk)) ; ATStmpdec(apy1, atstkind_t0ype(atstype_size)) ; ATStmpdec(apy2, atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATStmpdec(tmpret20__1, atstkind_t0ype(atstype_size)) ; ATStmpdec(tmp21__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp22__1, atstkind_t0ype(atstype_bool)) ; // ATStmpdec_void(tmp23__1) ; ATStmpdec(tmp24__1, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp25__1, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9967(line=508, offs=1) -- 10671(line=549, offs=4) */ ATSINSflab(__patsflab_loop_7): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10159(line=524, offs=2) -- 10165(line=524, offs=8) */ ATSINSmove(tmp21__1, ATSLIB_056_prelude__gt_g1uint_int__10__1(arg1, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10155(line=523, offs=1) -- 10644(line=547, offs=12) */ ATSif( tmp21__1 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10172(line=525, offs=6) -- 10636(line=547, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10244(line=531, offs=5) -- 10281(line=531, offs=42) */ ATSINSmove(tmp22__1, ATSLIB_056_prelude__array_foreach__cont__14__1(ATSPMVrefarg1(arg0), ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10305(line=534, offs=3) -- 10614(line=546, offs=6) */ ATSif( tmp22__1 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10318(line=534, offs=16) -- 10547(line=544, offs=6) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10341(line=536, offs=7) -- 10378(line=536, offs=44) */ ATSINSmove_void(tmp23__1, ATSLIB_056_prelude__array_foreach__fwork__4__1(env0, ATSPMVrefarg1(arg0), ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10430(line=539, offs=18) -- 10445(line=539, offs=33) */ ATSINSmove(tmp24__1, ATSLIB_056_prelude__ptr1_succ__28__1(arg0)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10448(line=539, offs=36) -- 10455(line=539, offs=43) */ ATSINSmove(tmp25__1, atspre_g1uint_pred_size(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10419(line=539, offs=7) -- 10462(line=539, offs=50) */ ATStailcal_beg() ATSINSmove_tlcal(apy0, tmp24__1) ; ATSINSmove_tlcal(apy1, tmp25__1) ; ATSINSmove_tlcal(apy2, ATSPMVrefarg1(arg2)) ; ATSINSargmove_tlcal(arg0, apy0) ; ATSINSargmove_tlcal(arg1, apy1) ; ATSINSargmove_tlcal(arg2, apy2) ; ATSINSfgoto(__patsflab_loop_7) ; ATStailcal_end() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10318(line=534, offs=16) -- 10547(line=544, offs=6) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10605(line=545, offs=49) -- 10607(line=545, offs=51) */ ATSINSmove(tmpret20__1, arg1) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10172(line=525, offs=6) -- 10636(line=547, offs=4) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10642(line=547, offs=10) -- 10644(line=547, offs=12) */ ATSINSmove(tmpret20__1, arg1) ; } /* ATSendif */ ATSfunbody_end() ATSreturn(tmpret20__1) ; } /* end of [loop_7__7__1] */ #if(0) /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 13524(line=707, offs=3) -- 13565(line=707, offs=44) */ /* local: global: gt_g1uint_int$10$0(level=0) local: global: */ ATSextern() /* imparg = tk(4672) tmparg = S2Evar(tk(4672)) tmpsub = None() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1uint_int__10(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret37, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp38, atstkind_t0ype(atstyvar_type(tk))) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13508(line=706, offs=1) -- 13565(line=707, offs=44) */ ATSINSflab(__patsflab_gt_g1uint_int): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13551(line=707, offs=30) -- 13563(line=707, offs=42) */ ATSINSmove(tmp38, PMVtmpltcst(g1int2uint)(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13533(line=707, offs=12) -- 13565(line=707, offs=44) */ ATSINSmove(tmpret37, PMVtmpltcst(g1uint_gt)(arg0, tmp38)) ; ATSfunbody_end() ATSreturn(tmpret37) ; } /* end of [ATSLIB_056_prelude__gt_g1uint_int__10] */ #endif // end of [TEMPLATE] /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 13524(line=707, offs=3) -- 13565(line=707, offs=44) */ /* local: global: gt_g1uint_int$10$1(level=5) local: global: */ ATSstatic() /* imparg = tk(4672) tmparg = S2Evar(tk(4672)) tmpsub = Some(tk(4672) -> S2Eextkind(atstype_size)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1uint_int__10__1(atstkind_t0ype(atstype_size) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret37__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp38__1, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13508(line=706, offs=1) -- 13565(line=707, offs=44) */ ATSINSflab(__patsflab_gt_g1uint_int): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13551(line=707, offs=30) -- 13563(line=707, offs=42) */ ATSINSmove(tmp38__1, atspre_g1int2uint_int_size(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13533(line=707, offs=12) -- 13565(line=707, offs=44) */ ATSINSmove(tmpret37__1, atspre_g1uint_gt_size(arg0, tmp38__1)) ; ATSfunbody_end() ATSreturn(tmpret37__1) ; } /* end of [ATSLIB_056_prelude__gt_g1uint_int__10__1] */ #if(0) /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 10873(line=563, offs=20) -- 10888(line=563, offs=35) */ /* local: global: array_foreach$cont$14$0(level=0) local: global: */ ATSextern() /* imparg = a(7513), env(7514) tmparg = S2Evar(a(7513)); S2Evar(env(7514)) tmpsub = None() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__array_foreach__cont__14(atsrefarg1_type(atstyvar_type(a)) arg0, atsrefarg1_type(atstyvar_type(env)) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret41, atstkind_t0ype(atstype_bool)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10854(line=563, offs=1) -- 10888(line=563, offs=35) */ ATSINSflab(__patsflab_array_foreach__cont): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10884(line=563, offs=31) -- 10888(line=563, offs=35) */ ATSINSmove(tmpret41, ATSPMVbool_true()) ; ATSfunbody_end() ATSreturn(tmpret41) ; } /* end of [ATSLIB_056_prelude__array_foreach__cont__14] */ #endif // end of [TEMPLATE] /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 10873(line=563, offs=20) -- 10888(line=563, offs=35) */ /* local: global: array_foreach$cont$14$1(level=5) local: global: */ ATSstatic() /* imparg = a(7513), env(7514) tmparg = S2Evar(a(7513)); S2Evar(env(7514)) tmpsub = Some(a(7513) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int)); env(7514) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__array_foreach__cont__14__1(atsrefarg1_type(atstkind_t0ype(atstype_int)) arg0, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret41__1, atstkind_t0ype(atstype_bool)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10854(line=563, offs=1) -- 10888(line=563, offs=35) */ ATSINSflab(__patsflab_array_foreach__cont): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10884(line=563, offs=31) -- 10888(line=563, offs=35) */ ATSINSmove(tmpret41__1, ATSPMVbool_true()) ; ATSfunbody_end() ATSreturn(tmpret41__1) ; } /* end of [ATSLIB_056_prelude__array_foreach__cont__14__1] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6238(line=311, offs=3) -- 6372(line=317, offs=4) */ /* local: global: array_foreach$fwork$4$1(level=5) local: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) global: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) */ ATSstatic() /* imparg = tmparg = S2Evar(a(7473)); S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int)) tmpsub = Some(a(7473) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atsvoid_t0ype ATSLIB_056_prelude__array_foreach__fwork__4__1(atstkind_type(atstype_ptrk) env0, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg0, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg1) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret9__1) ; ATStmpdec(tmp10__1, atstkind_t0ype(atstype_int)) ; // ATStmpdec_void(tmp11__1) ; ATStmpdec(tmp12__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp13__1, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6207(line=310, offs=1) -- 6372(line=317, offs=4) */ ATSINSflab(__patsflab_array_foreach__fwork): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6249(line=311, offs=14) -- 6372(line=317, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6263(line=312, offs=11) -- 6266(line=312, offs=14) */ ATSINSmove(tmp10__1, ATSderef(arg1, atstkind_t0ype(atstype_int))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6281(line=313, offs=15) -- 6286(line=313, offs=20) */ ATSINSmove(tmp12__1, ATSLIB_056_prelude__gt_g0int_int__17__1(tmp10__1, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6278(line=313, offs=12) -- 6316(line=313, offs=50) */ ATSif( tmp12__1 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6292(line=313, offs=26) -- 6315(line=313, offs=49) */ ATSINSmove_void(tmp11__1, ATSLIB_056_prelude__fprint_array__sep__21__1(env0)) ; } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6315(line=313, offs=49) -- 6315(line=313, offs=49) */ ATSINSmove_void(tmp11__1, ATSPMVempty()) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6335(line=314, offs=19) -- 6340(line=314, offs=24) */ ATSINSmove(tmp13__1, atspre_g0int_add_int(tmp10__1, ATSPMVi0nt(1))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6328(line=314, offs=12) -- 6340(line=314, offs=24) */ ATSINSstore(ATSderef(arg1, atstkind_t0ype(atstype_int)), tmp13__1) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6346(line=316, offs=3) -- 6368(line=316, offs=25) */ ATSINSmove_void(tmpret9__1, ATSLIB_056_prelude__fprint_ref__24__1(env0, ATSPMVrefarg1(arg0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6249(line=311, offs=14) -- 6372(line=317, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret9__1) ; } /* end of [ATSLIB_056_prelude__array_foreach__fwork__4__1] */ #if(0) /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 11834(line=611, offs=3) -- 11873(line=611, offs=42) */ /* local: global: gt_g0int_int$17$0(level=0) local: global: */ ATSextern() /* imparg = tk(4634) tmparg = S2Evar(tk(4634)) tmpsub = None() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__17(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret48, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp49, atstkind_t0ype(atstyvar_type(tk))) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11819(line=610, offs=1) -- 11873(line=611, offs=42) */ ATSINSflab(__patsflab_gt_g0int_int): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11860(line=611, offs=29) -- 11871(line=611, offs=40) */ ATSINSmove(tmp49, PMVtmpltcst(g0int2int)(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11843(line=611, offs=12) -- 11873(line=611, offs=42) */ ATSINSmove(tmpret48, PMVtmpltcst(g0int_gt)(arg0, tmp49)) ; ATSfunbody_end() ATSreturn(tmpret48) ; } /* end of [ATSLIB_056_prelude__gt_g0int_int__17] */ #endif // end of [TEMPLATE] /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 11834(line=611, offs=3) -- 11873(line=611, offs=42) */ /* local: global: gt_g0int_int$17$1(level=6) local: global: */ ATSstatic() /* imparg = tk(4634) tmparg = S2Evar(tk(4634)) tmpsub = Some(tk(4634) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__17__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret48__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp49__1, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11819(line=610, offs=1) -- 11873(line=611, offs=42) */ ATSINSflab(__patsflab_gt_g0int_int): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11860(line=611, offs=29) -- 11871(line=611, offs=40) */ ATSINSmove(tmp49__1, atspre_g0int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11843(line=611, offs=12) -- 11873(line=611, offs=42) */ ATSINSmove(tmpret48__1, atspre_g0int_gt_int(arg0, tmp49__1)) ; ATSfunbody_end() ATSreturn(tmpret48__1) ; } /* end of [ATSLIB_056_prelude__gt_g0int_int__17__1] */ #if(0) /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6584(line=329, offs=18) -- 6610(line=329, offs=44) */ /* local: global: fprint_array$sep$21$0(level=0) local: global: */ ATSextern() /* imparg = tmparg = tmpsub = None() */ atsvoid_t0ype ATSLIB_056_prelude__fprint_array__sep__21(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret52) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6567(line=329, offs=1) -- 6610(line=329, offs=44) */ ATSINSflab(__patsflab_fprint_array__sep): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6592(line=329, offs=26) -- 6610(line=329, offs=44) */ ATSINSmove_void(tmpret52, atspre_fprint_string(arg0, ATSPMVstring(", "))) ; ATSfunbody_end() ATSreturn_void(tmpret52) ; } /* end of [ATSLIB_056_prelude__fprint_array__sep__21] */ #endif // end of [TEMPLATE] /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6584(line=329, offs=18) -- 6610(line=329, offs=44) */ /* local: global: fprint_array$sep$21$1(level=6) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atsvoid_t0ype ATSLIB_056_prelude__fprint_array__sep__21__1(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret52__1) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6567(line=329, offs=1) -- 6610(line=329, offs=44) */ ATSINSflab(__patsflab_fprint_array__sep): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6592(line=329, offs=26) -- 6610(line=329, offs=44) */ ATSINSmove_void(tmpret52__1, atspre_fprint_string(arg0, ATSPMVstring(", "))) ; ATSfunbody_end() ATSreturn_void(tmpret52__1) ; } /* end of [ATSLIB_056_prelude__fprint_array__sep__21__1] */ #if(0) /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats: 5419(line=286, offs=15) -- 5452(line=286, offs=48) */ /* local: global: fprint_ref$24$0(level=0) local: global: */ ATSextern() /* imparg = a(4436) tmparg = S2Evar(a(4436)) tmpsub = None() */ atsvoid_t0ype ATSLIB_056_prelude__fprint_ref__24(atstkind_type(atstype_ptrk) arg0, atsrefarg1_type(atstyvar_type(a)) arg1) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret54) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats({$PATSPRE}/DATS/basics.dats): 5405(line=286, offs=1) -- 5452(line=286, offs=48) */ ATSINSflab(__patsflab_fprint_ref): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats({$PATSPRE}/DATS/basics.dats): 5430(line=286, offs=26) -- 5452(line=286, offs=48) */ ATSINSmove_void(tmpret54, PMVtmpltcst(fprint_val)(arg0, ATSderef(arg1, atstyvar_type(a)))) ; ATSfunbody_end() ATSreturn_void(tmpret54) ; } /* end of [ATSLIB_056_prelude__fprint_ref__24] */ #endif // end of [TEMPLATE] /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats: 5419(line=286, offs=15) -- 5452(line=286, offs=48) */ /* local: global: fprint_ref$24$1(level=6) local: global: */ ATSstatic() /* imparg = a(4436) tmparg = S2Evar(a(4436)) tmpsub = Some(a(4436) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atsvoid_t0ype ATSLIB_056_prelude__fprint_ref__24__1(atstkind_type(atstype_ptrk) arg0, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg1) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret54__1) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats({$PATSPRE}/DATS/basics.dats): 5405(line=286, offs=1) -- 5452(line=286, offs=48) */ ATSINSflab(__patsflab_fprint_ref): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats({$PATSPRE}/DATS/basics.dats): 5430(line=286, offs=26) -- 5452(line=286, offs=48) */ ATSINSmove_void(tmpret54__1, ATSLIB_056_prelude__fprint_val__26__1(arg0, ATSderef(arg1, atstkind_t0ype(atstype_int)))) ; ATSfunbody_end() ATSreturn_void(tmpret54__1) ; } /* end of [ATSLIB_056_prelude__fprint_ref__24__1] */ #if(0) /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 3009(line=115, offs=17) -- 3039(line=115, offs=47) */ /* local: global: fprint_val$26$0(level=0) local: global: */ ATSextern() /* imparg = tmparg = S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int)) tmpsub = None() */ atsvoid_t0ype ATSLIB_056_prelude__fprint_val__26(atstkind_type(atstype_ptrk) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret56) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 2993(line=115, offs=1) -- 3039(line=115, offs=47) */ ATSINSflab(__patsflab_fprint_val): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 3020(line=115, offs=28) -- 3039(line=115, offs=47) */ ATSINSmove_void(tmpret56, atspre_fprint_int(arg0, arg1)) ; ATSfunbody_end() ATSreturn_void(tmpret56) ; } /* end of [ATSLIB_056_prelude__fprint_val__26] */ #endif // end of [TEMPLATE] /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 3009(line=115, offs=17) -- 3039(line=115, offs=47) */ /* local: global: fprint_val$26$1(level=7) local: global: */ ATSstatic() /* imparg = tmparg = S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int)) tmpsub = Some() */ atsvoid_t0ype ATSLIB_056_prelude__fprint_val__26__1(atstkind_type(atstype_ptrk) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret56__1) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 2993(line=115, offs=1) -- 3039(line=115, offs=47) */ ATSINSflab(__patsflab_fprint_val): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 3020(line=115, offs=28) -- 3039(line=115, offs=47) */ ATSINSmove_void(tmpret56__1, atspre_fprint_int(arg0, arg1)) ; ATSfunbody_end() ATSreturn_void(tmpret56__1) ; } /* end of [ATSLIB_056_prelude__fprint_val__26__1] */ #if(0) /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats: 2331(line=91, offs=13) -- 2391(line=93, offs=46) */ /* local: global: ptr1_succ$28$0(level=0) local: global: */ ATSextern() /* imparg = a(4700) tmparg = S2Evar(a(4700)) tmpsub = None() */ atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr1_succ__28(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret58, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp59, atstkind_type(atstype_ptrk)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2319(line=91, offs=1) -- 2391(line=93, offs=46) */ ATSINSflab(__patsflab_ptr1_succ): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2365(line=93, offs=20) -- 2390(line=93, offs=45) */ ATSINSmove(tmp59, atspre_add_ptr1_bsz(arg0, ATSPMVsizeof(atstyvar_type(a)))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2337(line=92, offs=1) -- 2391(line=93, offs=46) */ ATSINSmove(tmpret58, ATSPMVcastfn(cast, atstkind_type(atstype_ptrk), tmp59)) ; ATSfunbody_end() ATSreturn(tmpret58) ; } /* end of [ATSLIB_056_prelude__ptr1_succ__28] */ #endif // end of [TEMPLATE] /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats: 2331(line=91, offs=13) -- 2391(line=93, offs=46) */ /* local: global: ptr1_succ$28$1(level=5) local: global: */ ATSstatic() /* imparg = a(4700) tmparg = S2Evar(a(4700)) tmpsub = Some(a(4700) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr1_succ__28__1(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret58__1, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp59__1, atstkind_type(atstype_ptrk)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2319(line=91, offs=1) -- 2391(line=93, offs=46) */ ATSINSflab(__patsflab_ptr1_succ): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2365(line=93, offs=20) -- 2390(line=93, offs=45) */ ATSINSmove(tmp59__1, atspre_add_ptr1_bsz(arg0, ATSPMVsizeof(atstkind_t0ype(atstype_int)))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2337(line=92, offs=1) -- 2391(line=93, offs=46) */ ATSINSmove(tmpret58__1, ATSPMVcastfn(cast, atstkind_type(atstype_ptrk), tmp59__1)) ; ATSfunbody_end() ATSreturn(tmpret58__1) ; } /* end of [ATSLIB_056_prelude__ptr1_succ__28__1] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats: 4038(line=176, offs=3) -- 4159(line=182, offs=4) */ /* local: global: fprint_arrayref$1$2(level=1) local: global: */ ATSstatic() /* imparg = a(7825) tmparg = S2Evar(a(7825)) tmpsub = Some(a(7825) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atsvoid_t0ype ATSLIB_056_prelude__fprint_arrayref__1__2(atstkind_type(atstype_ptrk) arg0, atstkind_type(atstype_ptrk) arg1, atstkind_t0ype(atstype_size) arg2) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret6__2) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4020(line=175, offs=1) -- 4159(line=182, offs=4) */ ATSINSflab(__patsflab_fprint_arrayref): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4052(line=176, offs=17) -- 4159(line=182, offs=4) */ /* letpush(beg) */ /* (*nothing*) */ /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4126(line=181, offs=17) -- 4154(line=181, offs=45) */ ATSINSmove_void(tmpret6__2, ATSLIB_056_prelude__fprint_array_size__3__2(arg0, ATSPMVrefarg1(ATSPMVcastfn(arrayref_get_viewptr, atstkind_type(atstype_ptrk), arg1)), arg2)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4052(line=176, offs=17) -- 4159(line=182, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret6__2) ; } /* end of [ATSLIB_056_prelude__fprint_arrayref__1__2] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6152(line=305, offs=3) -- 6502(line=324, offs=4) */ /* local: global: fprint_array_size$3$2(level=2) local: global: */ ATSstatic() /* imparg = a(7473) tmparg = S2Evar(a(7473)) tmpsub = Some(a(7473) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atsvoid_t0ype ATSLIB_056_prelude__fprint_array_size__3__2(atstkind_type(atstype_ptrk) arg0, atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_int))) arg1, atstkind_t0ype(atstype_size) arg2) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret8__2) ; ATStmpdec(tmpref14__2, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp15__2, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6132(line=304, offs=1) -- 6502(line=324, offs=4) */ ATSINSflab(__patsflab_fprint_array_size): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6168(line=305, offs=19) -- 6502(line=324, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6412(line=319, offs=5) -- 6415(line=319, offs=8) */ /* ATSINStmpdec(tmpref14) ; */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6424(line=319, offs=17) -- 6425(line=319, offs=18) */ ATSINSmove(tmpref14__2, ATSPMVi0nt(0)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6439(line=320, offs=14) -- 6479(line=320, offs=54) */ ATSINSmove(tmp15__2, ATSLIB_056_prelude__array_foreach_env__6__2(arg0, ATSPMVrefarg1(arg1), arg2, ATSPMVrefarg1(ATSPMVptrof(tmpref14__2)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6483(line=322, offs=1) -- 6502(line=324, offs=4) */ ATSINSmove_void(tmpret8__2, ATSPMVempty()) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6168(line=305, offs=19) -- 6502(line=324, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret8__2) ; } /* end of [ATSLIB_056_prelude__fprint_array_size__3__2] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 9906(line=503, offs=7) -- 10773(line=557, offs=4) */ /* local: global: array_foreach_env$6$2(level=3) local: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) global: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) */ ATSstatic() /* imparg = a(7507), env(7508) tmparg = S2Evar(a(7507)); S2Evar(env(7508)) tmpsub = Some(a(7507) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int)); env(7508) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atstkind_t0ype(atstype_size) ATSLIB_056_prelude__array_foreach_env__6__2(atstkind_type(atstype_ptrk) env0, atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_int))) arg0, atstkind_t0ype(atstype_size) arg1, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg2) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret19__2, atstkind_t0ype(atstype_size)) ; ATStmpdec(tmp26__2, atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_int)))) ; ATStmpdec(tmp27__2, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9882(line=502, offs=1) -- 10773(line=557, offs=4) */ ATSINSflab(__patsflab_array_foreach_env): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9922(line=503, offs=23) -- 10773(line=557, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10696(line=551, offs=5) -- 10698(line=551, offs=7) */ ATSINSmove(tmp26__2, arg0) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10722(line=553, offs=10) -- 10752(line=553, offs=40) */ ATSINSmove(tmp27__2, loop_7__7__2(env0, tmp26__2, arg1, ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10761(line=556, offs=3) -- 10769(line=556, offs=11) */ ATSINSmove(tmpret19__2, atspre_g1uint_sub_size(arg1, tmp27__2)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9922(line=503, offs=23) -- 10773(line=557, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret19__2) ; } /* end of [ATSLIB_056_prelude__array_foreach_env__6__2] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 9967(line=508, offs=1) -- 10671(line=549, offs=4) */ /* local: loop_7$2(level=4) global: loop_7$2(level=4) local: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) global: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) */ ATSstatic() atstkind_t0ype(atstype_size) loop_7__7__2(atstkind_type(atstype_ptrk) env0, atstkind_type(atstype_ptrk) arg0, atstkind_t0ype(atstype_size) arg1, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg2) { /* tmpvardeclst(beg) */ ATStmpdec(apy0, atstkind_type(atstype_ptrk)) ; ATStmpdec(apy1, atstkind_t0ype(atstype_size)) ; ATStmpdec(apy2, atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATStmpdec(tmpret20__2, atstkind_t0ype(atstype_size)) ; ATStmpdec(tmp21__2, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp22__2, atstkind_t0ype(atstype_bool)) ; // ATStmpdec_void(tmp23__2) ; ATStmpdec(tmp24__2, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp25__2, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9967(line=508, offs=1) -- 10671(line=549, offs=4) */ ATSINSflab(__patsflab_loop_7): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10159(line=524, offs=2) -- 10165(line=524, offs=8) */ ATSINSmove(tmp21__2, ATSLIB_056_prelude__gt_g1uint_int__10__2(arg1, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10155(line=523, offs=1) -- 10644(line=547, offs=12) */ ATSif( tmp21__2 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10172(line=525, offs=6) -- 10636(line=547, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10244(line=531, offs=5) -- 10281(line=531, offs=42) */ ATSINSmove(tmp22__2, ATSLIB_056_prelude__array_foreach__cont__14__2(ATSPMVrefarg1(arg0), ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10305(line=534, offs=3) -- 10614(line=546, offs=6) */ ATSif( tmp22__2 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10318(line=534, offs=16) -- 10547(line=544, offs=6) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10341(line=536, offs=7) -- 10378(line=536, offs=44) */ ATSINSmove_void(tmp23__2, ATSLIB_056_prelude__array_foreach__fwork__4__2(env0, ATSPMVrefarg1(arg0), ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10430(line=539, offs=18) -- 10445(line=539, offs=33) */ ATSINSmove(tmp24__2, ATSLIB_056_prelude__ptr1_succ__28__2(arg0)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10448(line=539, offs=36) -- 10455(line=539, offs=43) */ ATSINSmove(tmp25__2, atspre_g1uint_pred_size(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10419(line=539, offs=7) -- 10462(line=539, offs=50) */ ATStailcal_beg() ATSINSmove_tlcal(apy0, tmp24__2) ; ATSINSmove_tlcal(apy1, tmp25__2) ; ATSINSmove_tlcal(apy2, ATSPMVrefarg1(arg2)) ; ATSINSargmove_tlcal(arg0, apy0) ; ATSINSargmove_tlcal(arg1, apy1) ; ATSINSargmove_tlcal(arg2, apy2) ; ATSINSfgoto(__patsflab_loop_7) ; ATStailcal_end() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10318(line=534, offs=16) -- 10547(line=544, offs=6) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10605(line=545, offs=49) -- 10607(line=545, offs=51) */ ATSINSmove(tmpret20__2, arg1) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10172(line=525, offs=6) -- 10636(line=547, offs=4) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10642(line=547, offs=10) -- 10644(line=547, offs=12) */ ATSINSmove(tmpret20__2, arg1) ; } /* ATSendif */ ATSfunbody_end() ATSreturn(tmpret20__2) ; } /* end of [loop_7__7__2] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 13524(line=707, offs=3) -- 13565(line=707, offs=44) */ /* local: global: gt_g1uint_int$10$2(level=5) local: global: */ ATSstatic() /* imparg = tk(4672) tmparg = S2Evar(tk(4672)) tmpsub = Some(tk(4672) -> S2Eextkind(atstype_size)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1uint_int__10__2(atstkind_t0ype(atstype_size) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret37__2, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp38__2, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13508(line=706, offs=1) -- 13565(line=707, offs=44) */ ATSINSflab(__patsflab_gt_g1uint_int): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13551(line=707, offs=30) -- 13563(line=707, offs=42) */ ATSINSmove(tmp38__2, atspre_g1int2uint_int_size(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13533(line=707, offs=12) -- 13565(line=707, offs=44) */ ATSINSmove(tmpret37__2, atspre_g1uint_gt_size(arg0, tmp38__2)) ; ATSfunbody_end() ATSreturn(tmpret37__2) ; } /* end of [ATSLIB_056_prelude__gt_g1uint_int__10__2] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 10873(line=563, offs=20) -- 10888(line=563, offs=35) */ /* local: global: array_foreach$cont$14$2(level=5) local: global: */ ATSstatic() /* imparg = a(7513), env(7514) tmparg = S2Evar(a(7513)); S2Evar(env(7514)) tmpsub = Some(a(7513) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int)); env(7514) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__array_foreach__cont__14__2(atsrefarg1_type(atstkind_t0ype(atstype_int)) arg0, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret41__2, atstkind_t0ype(atstype_bool)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10854(line=563, offs=1) -- 10888(line=563, offs=35) */ ATSINSflab(__patsflab_array_foreach__cont): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10884(line=563, offs=31) -- 10888(line=563, offs=35) */ ATSINSmove(tmpret41__2, ATSPMVbool_true()) ; ATSfunbody_end() ATSreturn(tmpret41__2) ; } /* end of [ATSLIB_056_prelude__array_foreach__cont__14__2] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6238(line=311, offs=3) -- 6372(line=317, offs=4) */ /* local: global: array_foreach$fwork$4$2(level=5) local: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) global: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) */ ATSstatic() /* imparg = tmparg = S2Evar(a(7473)); S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int)) tmpsub = Some(a(7473) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atsvoid_t0ype ATSLIB_056_prelude__array_foreach__fwork__4__2(atstkind_type(atstype_ptrk) env0, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg0, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg1) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret9__2) ; ATStmpdec(tmp10__2, atstkind_t0ype(atstype_int)) ; // ATStmpdec_void(tmp11__2) ; ATStmpdec(tmp12__2, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp13__2, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6207(line=310, offs=1) -- 6372(line=317, offs=4) */ ATSINSflab(__patsflab_array_foreach__fwork): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6249(line=311, offs=14) -- 6372(line=317, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6263(line=312, offs=11) -- 6266(line=312, offs=14) */ ATSINSmove(tmp10__2, ATSderef(arg1, atstkind_t0ype(atstype_int))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6281(line=313, offs=15) -- 6286(line=313, offs=20) */ ATSINSmove(tmp12__2, ATSLIB_056_prelude__gt_g0int_int__17__2(tmp10__2, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6278(line=313, offs=12) -- 6316(line=313, offs=50) */ ATSif( tmp12__2 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6292(line=313, offs=26) -- 6315(line=313, offs=49) */ ATSINSmove_void(tmp11__2, ATSLIB_056_prelude__fprint_array__sep__21__2(env0)) ; } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6315(line=313, offs=49) -- 6315(line=313, offs=49) */ ATSINSmove_void(tmp11__2, ATSPMVempty()) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6335(line=314, offs=19) -- 6340(line=314, offs=24) */ ATSINSmove(tmp13__2, atspre_g0int_add_int(tmp10__2, ATSPMVi0nt(1))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6328(line=314, offs=12) -- 6340(line=314, offs=24) */ ATSINSstore(ATSderef(arg1, atstkind_t0ype(atstype_int)), tmp13__2) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6346(line=316, offs=3) -- 6368(line=316, offs=25) */ ATSINSmove_void(tmpret9__2, ATSLIB_056_prelude__fprint_ref__24__2(env0, ATSPMVrefarg1(arg0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6249(line=311, offs=14) -- 6372(line=317, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret9__2) ; } /* end of [ATSLIB_056_prelude__array_foreach__fwork__4__2] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 11834(line=611, offs=3) -- 11873(line=611, offs=42) */ /* local: global: gt_g0int_int$17$2(level=6) local: global: */ ATSstatic() /* imparg = tk(4634) tmparg = S2Evar(tk(4634)) tmpsub = Some(tk(4634) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__17__2(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret48__2, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp49__2, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11819(line=610, offs=1) -- 11873(line=611, offs=42) */ ATSINSflab(__patsflab_gt_g0int_int): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11860(line=611, offs=29) -- 11871(line=611, offs=40) */ ATSINSmove(tmp49__2, atspre_g0int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11843(line=611, offs=12) -- 11873(line=611, offs=42) */ ATSINSmove(tmpret48__2, atspre_g0int_gt_int(arg0, tmp49__2)) ; ATSfunbody_end() ATSreturn(tmpret48__2) ; } /* end of [ATSLIB_056_prelude__gt_g0int_int__17__2] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6584(line=329, offs=18) -- 6610(line=329, offs=44) */ /* local: global: fprint_array$sep$21$2(level=6) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atsvoid_t0ype ATSLIB_056_prelude__fprint_array__sep__21__2(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret52__2) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6567(line=329, offs=1) -- 6610(line=329, offs=44) */ ATSINSflab(__patsflab_fprint_array__sep): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6592(line=329, offs=26) -- 6610(line=329, offs=44) */ ATSINSmove_void(tmpret52__2, atspre_fprint_string(arg0, ATSPMVstring(", "))) ; ATSfunbody_end() ATSreturn_void(tmpret52__2) ; } /* end of [ATSLIB_056_prelude__fprint_array__sep__21__2] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats: 5419(line=286, offs=15) -- 5452(line=286, offs=48) */ /* local: global: fprint_ref$24$2(level=6) local: global: */ ATSstatic() /* imparg = a(4436) tmparg = S2Evar(a(4436)) tmpsub = Some(a(4436) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atsvoid_t0ype ATSLIB_056_prelude__fprint_ref__24__2(atstkind_type(atstype_ptrk) arg0, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg1) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret54__2) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats({$PATSPRE}/DATS/basics.dats): 5405(line=286, offs=1) -- 5452(line=286, offs=48) */ ATSINSflab(__patsflab_fprint_ref): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats({$PATSPRE}/DATS/basics.dats): 5430(line=286, offs=26) -- 5452(line=286, offs=48) */ ATSINSmove_void(tmpret54__2, ATSLIB_056_prelude__fprint_val__26__2(arg0, ATSderef(arg1, atstkind_t0ype(atstype_int)))) ; ATSfunbody_end() ATSreturn_void(tmpret54__2) ; } /* end of [ATSLIB_056_prelude__fprint_ref__24__2] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 3009(line=115, offs=17) -- 3039(line=115, offs=47) */ /* local: global: fprint_val$26$2(level=7) local: global: */ ATSstatic() /* imparg = tmparg = S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int)) tmpsub = Some() */ atsvoid_t0ype ATSLIB_056_prelude__fprint_val__26__2(atstkind_type(atstype_ptrk) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret56__2) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 2993(line=115, offs=1) -- 3039(line=115, offs=47) */ ATSINSflab(__patsflab_fprint_val): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 3020(line=115, offs=28) -- 3039(line=115, offs=47) */ ATSINSmove_void(tmpret56__2, atspre_fprint_int(arg0, arg1)) ; ATSfunbody_end() ATSreturn_void(tmpret56__2) ; } /* end of [ATSLIB_056_prelude__fprint_val__26__2] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats: 2331(line=91, offs=13) -- 2391(line=93, offs=46) */ /* local: global: ptr1_succ$28$2(level=5) local: global: */ ATSstatic() /* imparg = a(4700) tmparg = S2Evar(a(4700)) tmpsub = Some(a(4700) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr1_succ__28__2(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret58__2, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp59__2, atstkind_type(atstype_ptrk)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2319(line=91, offs=1) -- 2391(line=93, offs=46) */ ATSINSflab(__patsflab_ptr1_succ): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2365(line=93, offs=20) -- 2390(line=93, offs=45) */ ATSINSmove(tmp59__2, atspre_add_ptr1_bsz(arg0, ATSPMVsizeof(atstkind_t0ype(atstype_int)))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2337(line=92, offs=1) -- 2391(line=93, offs=46) */ ATSINSmove(tmpret58__2, ATSPMVcastfn(cast, atstkind_type(atstype_ptrk), tmp59__2)) ; ATSfunbody_end() ATSreturn(tmpret58__2) ; } /* end of [ATSLIB_056_prelude__ptr1_succ__28__2] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats: 4038(line=176, offs=3) -- 4159(line=182, offs=4) */ /* local: global: fprint_arrayref$1$3(level=1) local: global: */ ATSstatic() /* imparg = a(7825) tmparg = S2Evar(a(7825)) tmpsub = Some(a(7825) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double))) */ atsvoid_t0ype ATSLIB_056_prelude__fprint_arrayref__1__3(atstkind_type(atstype_ptrk) arg0, atstkind_type(atstype_ptrk) arg1, atstkind_t0ype(atstype_size) arg2) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret6__3) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4020(line=175, offs=1) -- 4159(line=182, offs=4) */ ATSINSflab(__patsflab_fprint_arrayref): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4052(line=176, offs=17) -- 4159(line=182, offs=4) */ /* letpush(beg) */ /* (*nothing*) */ /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4126(line=181, offs=17) -- 4154(line=181, offs=45) */ ATSINSmove_void(tmpret6__3, ATSLIB_056_prelude__fprint_array_size__3__3(arg0, ATSPMVrefarg1(ATSPMVcastfn(arrayref_get_viewptr, atstkind_type(atstype_ptrk), arg1)), arg2)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4052(line=176, offs=17) -- 4159(line=182, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret6__3) ; } /* end of [ATSLIB_056_prelude__fprint_arrayref__1__3] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6152(line=305, offs=3) -- 6502(line=324, offs=4) */ /* local: global: fprint_array_size$3$3(level=2) local: global: */ ATSstatic() /* imparg = a(7473) tmparg = S2Evar(a(7473)) tmpsub = Some(a(7473) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double))) */ atsvoid_t0ype ATSLIB_056_prelude__fprint_array_size__3__3(atstkind_type(atstype_ptrk) arg0, atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_double))) arg1, atstkind_t0ype(atstype_size) arg2) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret8__3) ; ATStmpdec(tmpref14__3, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp15__3, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6132(line=304, offs=1) -- 6502(line=324, offs=4) */ ATSINSflab(__patsflab_fprint_array_size): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6168(line=305, offs=19) -- 6502(line=324, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6412(line=319, offs=5) -- 6415(line=319, offs=8) */ /* ATSINStmpdec(tmpref14) ; */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6424(line=319, offs=17) -- 6425(line=319, offs=18) */ ATSINSmove(tmpref14__3, ATSPMVi0nt(0)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6439(line=320, offs=14) -- 6479(line=320, offs=54) */ ATSINSmove(tmp15__3, ATSLIB_056_prelude__array_foreach_env__6__3(arg0, ATSPMVrefarg1(arg1), arg2, ATSPMVrefarg1(ATSPMVptrof(tmpref14__3)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6483(line=322, offs=1) -- 6502(line=324, offs=4) */ ATSINSmove_void(tmpret8__3, ATSPMVempty()) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6168(line=305, offs=19) -- 6502(line=324, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret8__3) ; } /* end of [ATSLIB_056_prelude__fprint_array_size__3__3] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 9906(line=503, offs=7) -- 10773(line=557, offs=4) */ /* local: global: array_foreach_env$6$3(level=3) local: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) global: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) */ ATSstatic() /* imparg = a(7507), env(7508) tmparg = S2Evar(a(7507)); S2Evar(env(7508)) tmpsub = Some(a(7507) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double)); env(7508) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atstkind_t0ype(atstype_size) ATSLIB_056_prelude__array_foreach_env__6__3(atstkind_type(atstype_ptrk) env0, atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_double))) arg0, atstkind_t0ype(atstype_size) arg1, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg2) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret19__3, atstkind_t0ype(atstype_size)) ; ATStmpdec(tmp26__3, atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_double)))) ; ATStmpdec(tmp27__3, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9882(line=502, offs=1) -- 10773(line=557, offs=4) */ ATSINSflab(__patsflab_array_foreach_env): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9922(line=503, offs=23) -- 10773(line=557, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10696(line=551, offs=5) -- 10698(line=551, offs=7) */ ATSINSmove(tmp26__3, arg0) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10722(line=553, offs=10) -- 10752(line=553, offs=40) */ ATSINSmove(tmp27__3, loop_7__7__3(env0, tmp26__3, arg1, ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10761(line=556, offs=3) -- 10769(line=556, offs=11) */ ATSINSmove(tmpret19__3, atspre_g1uint_sub_size(arg1, tmp27__3)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9922(line=503, offs=23) -- 10773(line=557, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret19__3) ; } /* end of [ATSLIB_056_prelude__array_foreach_env__6__3] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 9967(line=508, offs=1) -- 10671(line=549, offs=4) */ /* local: loop_7$3(level=4) global: loop_7$3(level=4) local: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) global: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) */ ATSstatic() atstkind_t0ype(atstype_size) loop_7__7__3(atstkind_type(atstype_ptrk) env0, atstkind_type(atstype_ptrk) arg0, atstkind_t0ype(atstype_size) arg1, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg2) { /* tmpvardeclst(beg) */ ATStmpdec(apy0, atstkind_type(atstype_ptrk)) ; ATStmpdec(apy1, atstkind_t0ype(atstype_size)) ; ATStmpdec(apy2, atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATStmpdec(tmpret20__3, atstkind_t0ype(atstype_size)) ; ATStmpdec(tmp21__3, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp22__3, atstkind_t0ype(atstype_bool)) ; // ATStmpdec_void(tmp23__3) ; ATStmpdec(tmp24__3, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp25__3, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9967(line=508, offs=1) -- 10671(line=549, offs=4) */ ATSINSflab(__patsflab_loop_7): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10159(line=524, offs=2) -- 10165(line=524, offs=8) */ ATSINSmove(tmp21__3, ATSLIB_056_prelude__gt_g1uint_int__10__3(arg1, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10155(line=523, offs=1) -- 10644(line=547, offs=12) */ ATSif( tmp21__3 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10172(line=525, offs=6) -- 10636(line=547, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10244(line=531, offs=5) -- 10281(line=531, offs=42) */ ATSINSmove(tmp22__3, ATSLIB_056_prelude__array_foreach__cont__14__3(ATSPMVrefarg1(arg0), ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10305(line=534, offs=3) -- 10614(line=546, offs=6) */ ATSif( tmp22__3 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10318(line=534, offs=16) -- 10547(line=544, offs=6) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10341(line=536, offs=7) -- 10378(line=536, offs=44) */ ATSINSmove_void(tmp23__3, ATSLIB_056_prelude__array_foreach__fwork__4__3(env0, ATSPMVrefarg1(arg0), ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10430(line=539, offs=18) -- 10445(line=539, offs=33) */ ATSINSmove(tmp24__3, ATSLIB_056_prelude__ptr1_succ__28__3(arg0)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10448(line=539, offs=36) -- 10455(line=539, offs=43) */ ATSINSmove(tmp25__3, atspre_g1uint_pred_size(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10419(line=539, offs=7) -- 10462(line=539, offs=50) */ ATStailcal_beg() ATSINSmove_tlcal(apy0, tmp24__3) ; ATSINSmove_tlcal(apy1, tmp25__3) ; ATSINSmove_tlcal(apy2, ATSPMVrefarg1(arg2)) ; ATSINSargmove_tlcal(arg0, apy0) ; ATSINSargmove_tlcal(arg1, apy1) ; ATSINSargmove_tlcal(arg2, apy2) ; ATSINSfgoto(__patsflab_loop_7) ; ATStailcal_end() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10318(line=534, offs=16) -- 10547(line=544, offs=6) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10605(line=545, offs=49) -- 10607(line=545, offs=51) */ ATSINSmove(tmpret20__3, arg1) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10172(line=525, offs=6) -- 10636(line=547, offs=4) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10642(line=547, offs=10) -- 10644(line=547, offs=12) */ ATSINSmove(tmpret20__3, arg1) ; } /* ATSendif */ ATSfunbody_end() ATSreturn(tmpret20__3) ; } /* end of [loop_7__7__3] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 13524(line=707, offs=3) -- 13565(line=707, offs=44) */ /* local: global: gt_g1uint_int$10$3(level=5) local: global: */ ATSstatic() /* imparg = tk(4672) tmparg = S2Evar(tk(4672)) tmpsub = Some(tk(4672) -> S2Eextkind(atstype_size)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1uint_int__10__3(atstkind_t0ype(atstype_size) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret37__3, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp38__3, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13508(line=706, offs=1) -- 13565(line=707, offs=44) */ ATSINSflab(__patsflab_gt_g1uint_int): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13551(line=707, offs=30) -- 13563(line=707, offs=42) */ ATSINSmove(tmp38__3, atspre_g1int2uint_int_size(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13533(line=707, offs=12) -- 13565(line=707, offs=44) */ ATSINSmove(tmpret37__3, atspre_g1uint_gt_size(arg0, tmp38__3)) ; ATSfunbody_end() ATSreturn(tmpret37__3) ; } /* end of [ATSLIB_056_prelude__gt_g1uint_int__10__3] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 10873(line=563, offs=20) -- 10888(line=563, offs=35) */ /* local: global: array_foreach$cont$14$3(level=5) local: global: */ ATSstatic() /* imparg = a(7513), env(7514) tmparg = S2Evar(a(7513)); S2Evar(env(7514)) tmpsub = Some(a(7513) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double)); env(7514) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__array_foreach__cont__14__3(atsrefarg1_type(atstkind_t0ype(atstype_double)) arg0, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret41__3, atstkind_t0ype(atstype_bool)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10854(line=563, offs=1) -- 10888(line=563, offs=35) */ ATSINSflab(__patsflab_array_foreach__cont): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10884(line=563, offs=31) -- 10888(line=563, offs=35) */ ATSINSmove(tmpret41__3, ATSPMVbool_true()) ; ATSfunbody_end() ATSreturn(tmpret41__3) ; } /* end of [ATSLIB_056_prelude__array_foreach__cont__14__3] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6238(line=311, offs=3) -- 6372(line=317, offs=4) */ /* local: global: array_foreach$fwork$4$3(level=5) local: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) global: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) */ ATSstatic() /* imparg = tmparg = S2Evar(a(7473)); S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int)) tmpsub = Some(a(7473) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double))) */ atsvoid_t0ype ATSLIB_056_prelude__array_foreach__fwork__4__3(atstkind_type(atstype_ptrk) env0, atsrefarg1_type(atstkind_t0ype(atstype_double)) arg0, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg1) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret9__3) ; ATStmpdec(tmp10__3, atstkind_t0ype(atstype_int)) ; // ATStmpdec_void(tmp11__3) ; ATStmpdec(tmp12__3, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp13__3, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6207(line=310, offs=1) -- 6372(line=317, offs=4) */ ATSINSflab(__patsflab_array_foreach__fwork): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6249(line=311, offs=14) -- 6372(line=317, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6263(line=312, offs=11) -- 6266(line=312, offs=14) */ ATSINSmove(tmp10__3, ATSderef(arg1, atstkind_t0ype(atstype_int))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6281(line=313, offs=15) -- 6286(line=313, offs=20) */ ATSINSmove(tmp12__3, ATSLIB_056_prelude__gt_g0int_int__17__3(tmp10__3, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6278(line=313, offs=12) -- 6316(line=313, offs=50) */ ATSif( tmp12__3 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6292(line=313, offs=26) -- 6315(line=313, offs=49) */ ATSINSmove_void(tmp11__3, ATSLIB_056_prelude__fprint_array__sep__21__3(env0)) ; } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6315(line=313, offs=49) -- 6315(line=313, offs=49) */ ATSINSmove_void(tmp11__3, ATSPMVempty()) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6335(line=314, offs=19) -- 6340(line=314, offs=24) */ ATSINSmove(tmp13__3, atspre_g0int_add_int(tmp10__3, ATSPMVi0nt(1))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6328(line=314, offs=12) -- 6340(line=314, offs=24) */ ATSINSstore(ATSderef(arg1, atstkind_t0ype(atstype_int)), tmp13__3) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6346(line=316, offs=3) -- 6368(line=316, offs=25) */ ATSINSmove_void(tmpret9__3, ATSLIB_056_prelude__fprint_ref__24__3(env0, ATSPMVrefarg1(arg0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6249(line=311, offs=14) -- 6372(line=317, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret9__3) ; } /* end of [ATSLIB_056_prelude__array_foreach__fwork__4__3] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 11834(line=611, offs=3) -- 11873(line=611, offs=42) */ /* local: global: gt_g0int_int$17$3(level=6) local: global: */ ATSstatic() /* imparg = tk(4634) tmparg = S2Evar(tk(4634)) tmpsub = Some(tk(4634) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__17__3(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret48__3, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp49__3, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11819(line=610, offs=1) -- 11873(line=611, offs=42) */ ATSINSflab(__patsflab_gt_g0int_int): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11860(line=611, offs=29) -- 11871(line=611, offs=40) */ ATSINSmove(tmp49__3, atspre_g0int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11843(line=611, offs=12) -- 11873(line=611, offs=42) */ ATSINSmove(tmpret48__3, atspre_g0int_gt_int(arg0, tmp49__3)) ; ATSfunbody_end() ATSreturn(tmpret48__3) ; } /* end of [ATSLIB_056_prelude__gt_g0int_int__17__3] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6584(line=329, offs=18) -- 6610(line=329, offs=44) */ /* local: global: fprint_array$sep$21$3(level=6) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atsvoid_t0ype ATSLIB_056_prelude__fprint_array__sep__21__3(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret52__3) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6567(line=329, offs=1) -- 6610(line=329, offs=44) */ ATSINSflab(__patsflab_fprint_array__sep): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6592(line=329, offs=26) -- 6610(line=329, offs=44) */ ATSINSmove_void(tmpret52__3, atspre_fprint_string(arg0, ATSPMVstring(", "))) ; ATSfunbody_end() ATSreturn_void(tmpret52__3) ; } /* end of [ATSLIB_056_prelude__fprint_array__sep__21__3] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats: 5419(line=286, offs=15) -- 5452(line=286, offs=48) */ /* local: global: fprint_ref$24$3(level=6) local: global: */ ATSstatic() /* imparg = a(4436) tmparg = S2Evar(a(4436)) tmpsub = Some(a(4436) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double))) */ atsvoid_t0ype ATSLIB_056_prelude__fprint_ref__24__3(atstkind_type(atstype_ptrk) arg0, atsrefarg1_type(atstkind_t0ype(atstype_double)) arg1) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret54__3) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats({$PATSPRE}/DATS/basics.dats): 5405(line=286, offs=1) -- 5452(line=286, offs=48) */ ATSINSflab(__patsflab_fprint_ref): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats({$PATSPRE}/DATS/basics.dats): 5430(line=286, offs=26) -- 5452(line=286, offs=48) */ ATSINSmove_void(tmpret54__3, atspre_fprint_double(arg0, ATSderef(arg1, atstkind_t0ype(atstype_double)))) ; ATSfunbody_end() ATSreturn_void(tmpret54__3) ; } /* end of [ATSLIB_056_prelude__fprint_ref__24__3] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats: 2331(line=91, offs=13) -- 2391(line=93, offs=46) */ /* local: global: ptr1_succ$28$3(level=5) local: global: */ ATSstatic() /* imparg = a(4700) tmparg = S2Evar(a(4700)) tmpsub = Some(a(4700) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double))) */ atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr1_succ__28__3(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret58__3, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp59__3, atstkind_type(atstype_ptrk)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2319(line=91, offs=1) -- 2391(line=93, offs=46) */ ATSINSflab(__patsflab_ptr1_succ): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2365(line=93, offs=20) -- 2390(line=93, offs=45) */ ATSINSmove(tmp59__3, atspre_add_ptr1_bsz(arg0, ATSPMVsizeof(atstkind_t0ype(atstype_double)))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2337(line=92, offs=1) -- 2391(line=93, offs=46) */ ATSINSmove(tmpret58__3, ATSPMVcastfn(cast, atstkind_type(atstype_ptrk), tmp59__3)) ; ATSfunbody_end() ATSreturn(tmpret58__3) ; } /* end of [ATSLIB_056_prelude__ptr1_succ__28__3] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats: 4038(line=176, offs=3) -- 4159(line=182, offs=4) */ /* local: global: fprint_arrayref$1$4(level=1) local: global: */ ATSstatic() /* imparg = a(7825) tmparg = S2Evar(a(7825)) tmpsub = Some(a(7825) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double))) */ atsvoid_t0ype ATSLIB_056_prelude__fprint_arrayref__1__4(atstkind_type(atstype_ptrk) arg0, atstkind_type(atstype_ptrk) arg1, atstkind_t0ype(atstype_size) arg2) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret6__4) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4020(line=175, offs=1) -- 4159(line=182, offs=4) */ ATSINSflab(__patsflab_fprint_arrayref): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4052(line=176, offs=17) -- 4159(line=182, offs=4) */ /* letpush(beg) */ /* (*nothing*) */ /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4126(line=181, offs=17) -- 4154(line=181, offs=45) */ ATSINSmove_void(tmpret6__4, ATSLIB_056_prelude__fprint_array_size__3__4(arg0, ATSPMVrefarg1(ATSPMVcastfn(arrayref_get_viewptr, atstkind_type(atstype_ptrk), arg1)), arg2)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/arrayref.dats({$PATSPRE}/DATS/arrayref.dats): 4052(line=176, offs=17) -- 4159(line=182, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret6__4) ; } /* end of [ATSLIB_056_prelude__fprint_arrayref__1__4] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6152(line=305, offs=3) -- 6502(line=324, offs=4) */ /* local: global: fprint_array_size$3$4(level=2) local: global: */ ATSstatic() /* imparg = a(7473) tmparg = S2Evar(a(7473)) tmpsub = Some(a(7473) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double))) */ atsvoid_t0ype ATSLIB_056_prelude__fprint_array_size__3__4(atstkind_type(atstype_ptrk) arg0, atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_double))) arg1, atstkind_t0ype(atstype_size) arg2) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret8__4) ; ATStmpdec(tmpref14__4, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp15__4, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6132(line=304, offs=1) -- 6502(line=324, offs=4) */ ATSINSflab(__patsflab_fprint_array_size): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6168(line=305, offs=19) -- 6502(line=324, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6412(line=319, offs=5) -- 6415(line=319, offs=8) */ /* ATSINStmpdec(tmpref14) ; */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6424(line=319, offs=17) -- 6425(line=319, offs=18) */ ATSINSmove(tmpref14__4, ATSPMVi0nt(0)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6439(line=320, offs=14) -- 6479(line=320, offs=54) */ ATSINSmove(tmp15__4, ATSLIB_056_prelude__array_foreach_env__6__4(arg0, ATSPMVrefarg1(arg1), arg2, ATSPMVrefarg1(ATSPMVptrof(tmpref14__4)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6483(line=322, offs=1) -- 6502(line=324, offs=4) */ ATSINSmove_void(tmpret8__4, ATSPMVempty()) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6168(line=305, offs=19) -- 6502(line=324, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret8__4) ; } /* end of [ATSLIB_056_prelude__fprint_array_size__3__4] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 9906(line=503, offs=7) -- 10773(line=557, offs=4) */ /* local: global: array_foreach_env$6$4(level=3) local: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) global: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) */ ATSstatic() /* imparg = a(7507), env(7508) tmparg = S2Evar(a(7507)); S2Evar(env(7508)) tmpsub = Some(a(7507) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double)); env(7508) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atstkind_t0ype(atstype_size) ATSLIB_056_prelude__array_foreach_env__6__4(atstkind_type(atstype_ptrk) env0, atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_double))) arg0, atstkind_t0ype(atstype_size) arg1, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg2) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret19__4, atstkind_t0ype(atstype_size)) ; ATStmpdec(tmp26__4, atsrefarg1_type(atstyarr_type(atstkind_t0ype(atstype_double)))) ; ATStmpdec(tmp27__4, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9882(line=502, offs=1) -- 10773(line=557, offs=4) */ ATSINSflab(__patsflab_array_foreach_env): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9922(line=503, offs=23) -- 10773(line=557, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10696(line=551, offs=5) -- 10698(line=551, offs=7) */ ATSINSmove(tmp26__4, arg0) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10722(line=553, offs=10) -- 10752(line=553, offs=40) */ ATSINSmove(tmp27__4, loop_7__7__4(env0, tmp26__4, arg1, ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10761(line=556, offs=3) -- 10769(line=556, offs=11) */ ATSINSmove(tmpret19__4, atspre_g1uint_sub_size(arg1, tmp27__4)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9922(line=503, offs=23) -- 10773(line=557, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret19__4) ; } /* end of [ATSLIB_056_prelude__array_foreach_env__6__4] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 9967(line=508, offs=1) -- 10671(line=549, offs=4) */ /* local: loop_7$4(level=4) global: loop_7$4(level=4) local: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) global: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) */ ATSstatic() atstkind_t0ype(atstype_size) loop_7__7__4(atstkind_type(atstype_ptrk) env0, atstkind_type(atstype_ptrk) arg0, atstkind_t0ype(atstype_size) arg1, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg2) { /* tmpvardeclst(beg) */ ATStmpdec(apy0, atstkind_type(atstype_ptrk)) ; ATStmpdec(apy1, atstkind_t0ype(atstype_size)) ; ATStmpdec(apy2, atsrefarg1_type(atstkind_t0ype(atstype_int))) ; ATStmpdec(tmpret20__4, atstkind_t0ype(atstype_size)) ; ATStmpdec(tmp21__4, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp22__4, atstkind_t0ype(atstype_bool)) ; // ATStmpdec_void(tmp23__4) ; ATStmpdec(tmp24__4, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp25__4, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 9967(line=508, offs=1) -- 10671(line=549, offs=4) */ ATSINSflab(__patsflab_loop_7): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10159(line=524, offs=2) -- 10165(line=524, offs=8) */ ATSINSmove(tmp21__4, ATSLIB_056_prelude__gt_g1uint_int__10__4(arg1, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10155(line=523, offs=1) -- 10644(line=547, offs=12) */ ATSif( tmp21__4 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10172(line=525, offs=6) -- 10636(line=547, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10244(line=531, offs=5) -- 10281(line=531, offs=42) */ ATSINSmove(tmp22__4, ATSLIB_056_prelude__array_foreach__cont__14__4(ATSPMVrefarg1(arg0), ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10305(line=534, offs=3) -- 10614(line=546, offs=6) */ ATSif( tmp22__4 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10318(line=534, offs=16) -- 10547(line=544, offs=6) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10341(line=536, offs=7) -- 10378(line=536, offs=44) */ ATSINSmove_void(tmp23__4, ATSLIB_056_prelude__array_foreach__fwork__4__4(env0, ATSPMVrefarg1(arg0), ATSPMVrefarg1(arg2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10430(line=539, offs=18) -- 10445(line=539, offs=33) */ ATSINSmove(tmp24__4, ATSLIB_056_prelude__ptr1_succ__28__4(arg0)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10448(line=539, offs=36) -- 10455(line=539, offs=43) */ ATSINSmove(tmp25__4, atspre_g1uint_pred_size(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10419(line=539, offs=7) -- 10462(line=539, offs=50) */ ATStailcal_beg() ATSINSmove_tlcal(apy0, tmp24__4) ; ATSINSmove_tlcal(apy1, tmp25__4) ; ATSINSmove_tlcal(apy2, ATSPMVrefarg1(arg2)) ; ATSINSargmove_tlcal(arg0, apy0) ; ATSINSargmove_tlcal(arg1, apy1) ; ATSINSargmove_tlcal(arg2, apy2) ; ATSINSfgoto(__patsflab_loop_7) ; ATStailcal_end() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10318(line=534, offs=16) -- 10547(line=544, offs=6) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10605(line=545, offs=49) -- 10607(line=545, offs=51) */ ATSINSmove(tmpret20__4, arg1) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10172(line=525, offs=6) -- 10636(line=547, offs=4) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10642(line=547, offs=10) -- 10644(line=547, offs=12) */ ATSINSmove(tmpret20__4, arg1) ; } /* ATSendif */ ATSfunbody_end() ATSreturn(tmpret20__4) ; } /* end of [loop_7__7__4] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 13524(line=707, offs=3) -- 13565(line=707, offs=44) */ /* local: global: gt_g1uint_int$10$4(level=5) local: global: */ ATSstatic() /* imparg = tk(4672) tmparg = S2Evar(tk(4672)) tmpsub = Some(tk(4672) -> S2Eextkind(atstype_size)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1uint_int__10__4(atstkind_t0ype(atstype_size) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret37__4, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp38__4, atstkind_t0ype(atstype_size)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13508(line=706, offs=1) -- 13565(line=707, offs=44) */ ATSINSflab(__patsflab_gt_g1uint_int): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13551(line=707, offs=30) -- 13563(line=707, offs=42) */ ATSINSmove(tmp38__4, atspre_g1int2uint_int_size(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 13533(line=707, offs=12) -- 13565(line=707, offs=44) */ ATSINSmove(tmpret37__4, atspre_g1uint_gt_size(arg0, tmp38__4)) ; ATSfunbody_end() ATSreturn(tmpret37__4) ; } /* end of [ATSLIB_056_prelude__gt_g1uint_int__10__4] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 10873(line=563, offs=20) -- 10888(line=563, offs=35) */ /* local: global: array_foreach$cont$14$4(level=5) local: global: */ ATSstatic() /* imparg = a(7513), env(7514) tmparg = S2Evar(a(7513)); S2Evar(env(7514)) tmpsub = Some(a(7513) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double)); env(7514) -> S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int))) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__array_foreach__cont__14__4(atsrefarg1_type(atstkind_t0ype(atstype_double)) arg0, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret41__4, atstkind_t0ype(atstype_bool)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10854(line=563, offs=1) -- 10888(line=563, offs=35) */ ATSINSflab(__patsflab_array_foreach__cont): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 10884(line=563, offs=31) -- 10888(line=563, offs=35) */ ATSINSmove(tmpret41__4, ATSPMVbool_true()) ; ATSfunbody_end() ATSreturn(tmpret41__4) ; } /* end of [ATSLIB_056_prelude__array_foreach__cont__14__4] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6238(line=311, offs=3) -- 6372(line=317, offs=4) */ /* local: global: array_foreach$fwork$4$4(level=5) local: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) global: out$2639(1)(HSEapp(HSEcst(atstkind_type); HSEs2exp(S2Eextkind(atstype_ptrk)))) */ ATSstatic() /* imparg = tmparg = S2Evar(a(7473)); S2Eapp(S2Ecst(g0int_t0ype); S2Eextkind(atstype_int)) tmpsub = Some(a(7473) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double))) */ atsvoid_t0ype ATSLIB_056_prelude__array_foreach__fwork__4__4(atstkind_type(atstype_ptrk) env0, atsrefarg1_type(atstkind_t0ype(atstype_double)) arg0, atsrefarg1_type(atstkind_t0ype(atstype_int)) arg1) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret9__4) ; ATStmpdec(tmp10__4, atstkind_t0ype(atstype_int)) ; // ATStmpdec_void(tmp11__4) ; ATStmpdec(tmp12__4, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp13__4, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6207(line=310, offs=1) -- 6372(line=317, offs=4) */ ATSINSflab(__patsflab_array_foreach__fwork): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6249(line=311, offs=14) -- 6372(line=317, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6263(line=312, offs=11) -- 6266(line=312, offs=14) */ ATSINSmove(tmp10__4, ATSderef(arg1, atstkind_t0ype(atstype_int))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6281(line=313, offs=15) -- 6286(line=313, offs=20) */ ATSINSmove(tmp12__4, ATSLIB_056_prelude__gt_g0int_int__17__4(tmp10__4, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6278(line=313, offs=12) -- 6316(line=313, offs=50) */ ATSif( tmp12__4 ) ATSthen() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6292(line=313, offs=26) -- 6315(line=313, offs=49) */ ATSINSmove_void(tmp11__4, ATSLIB_056_prelude__fprint_array__sep__21__4(env0)) ; } ATSelse() { /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6315(line=313, offs=49) -- 6315(line=313, offs=49) */ ATSINSmove_void(tmp11__4, ATSPMVempty()) ; } /* ATSendif */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6335(line=314, offs=19) -- 6340(line=314, offs=24) */ ATSINSmove(tmp13__4, atspre_g0int_add_int(tmp10__4, ATSPMVi0nt(1))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6328(line=314, offs=12) -- 6340(line=314, offs=24) */ ATSINSstore(ATSderef(arg1, atstkind_t0ype(atstype_int)), tmp13__4) ; /* letpush(end) */ /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6346(line=316, offs=3) -- 6368(line=316, offs=25) */ ATSINSmove_void(tmpret9__4, ATSLIB_056_prelude__fprint_ref__24__4(env0, ATSPMVrefarg1(arg0))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6249(line=311, offs=14) -- 6372(line=317, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret9__4) ; } /* end of [ATSLIB_056_prelude__array_foreach__fwork__4__4] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats: 11834(line=611, offs=3) -- 11873(line=611, offs=42) */ /* local: global: gt_g0int_int$17$4(level=6) local: global: */ ATSstatic() /* imparg = tk(4634) tmparg = S2Evar(tk(4634)) tmpsub = Some(tk(4634) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__17__4(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret48__4, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp49__4, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11819(line=610, offs=1) -- 11873(line=611, offs=42) */ ATSINSflab(__patsflab_gt_g0int_int): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11860(line=611, offs=29) -- 11871(line=611, offs=40) */ ATSINSmove(tmp49__4, atspre_g0int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11843(line=611, offs=12) -- 11873(line=611, offs=42) */ ATSINSmove(tmpret48__4, atspre_g0int_gt_int(arg0, tmp49__4)) ; ATSfunbody_end() ATSreturn(tmpret48__4) ; } /* end of [ATSLIB_056_prelude__gt_g0int_int__17__4] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats: 6584(line=329, offs=18) -- 6610(line=329, offs=44) */ /* local: global: fprint_array$sep$21$4(level=6) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atsvoid_t0ype ATSLIB_056_prelude__fprint_array__sep__21__4(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret52__4) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6567(line=329, offs=1) -- 6610(line=329, offs=44) */ ATSINSflab(__patsflab_fprint_array__sep): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/array.dats({$PATSPRE}/DATS/array.dats): 6592(line=329, offs=26) -- 6610(line=329, offs=44) */ ATSINSmove_void(tmpret52__4, atspre_fprint_string(arg0, ATSPMVstring(", "))) ; ATSfunbody_end() ATSreturn_void(tmpret52__4) ; } /* end of [ATSLIB_056_prelude__fprint_array__sep__21__4] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats: 5419(line=286, offs=15) -- 5452(line=286, offs=48) */ /* local: global: fprint_ref$24$4(level=6) local: global: */ ATSstatic() /* imparg = a(4436) tmparg = S2Evar(a(4436)) tmpsub = Some(a(4436) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double))) */ atsvoid_t0ype ATSLIB_056_prelude__fprint_ref__24__4(atstkind_type(atstype_ptrk) arg0, atsrefarg1_type(atstkind_t0ype(atstype_double)) arg1) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret54__4) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats({$PATSPRE}/DATS/basics.dats): 5405(line=286, offs=1) -- 5452(line=286, offs=48) */ ATSINSflab(__patsflab_fprint_ref): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/basics.dats({$PATSPRE}/DATS/basics.dats): 5430(line=286, offs=26) -- 5452(line=286, offs=48) */ ATSINSmove_void(tmpret54__4, atspre_fprint_double(arg0, ATSderef(arg1, atstkind_t0ype(atstype_double)))) ; ATSfunbody_end() ATSreturn_void(tmpret54__4) ; } /* end of [ATSLIB_056_prelude__fprint_ref__24__4] */ /* /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats: 2331(line=91, offs=13) -- 2391(line=93, offs=46) */ /* local: global: ptr1_succ$28$4(level=5) local: global: */ ATSstatic() /* imparg = a(4700) tmparg = S2Evar(a(4700)) tmpsub = Some(a(4700) -> S2Eapp(S2Ecst(g0float_t0ype); S2Eextkind(atstype_double))) */ atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr1_succ__28__4(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret58__4, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp59__4, atstkind_type(atstype_ptrk)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2319(line=91, offs=1) -- 2391(line=93, offs=46) */ ATSINSflab(__patsflab_ptr1_succ): /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2365(line=93, offs=20) -- 2390(line=93, offs=45) */ ATSINSmove(tmp59__4, atspre_add_ptr1_bsz(arg0, ATSPMVsizeof(atstkind_t0ype(atstype_double)))) ; /* emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 2337(line=92, offs=1) -- 2391(line=93, offs=46) */ ATSINSmove(tmpret58__4, ATSPMVcastfn(cast, atstkind_type(atstype_ptrk), tmp59__4)) ; ATSfunbody_end() ATSreturn(tmpret58__4) ; } /* end of [ATSLIB_056_prelude__ptr1_succ__28__4] */ /* ** for initialization(dynloading) */ ATSdynloadflag_minit(_057_home_057_hwxi_057_Research_057_ATS_055_Postiats_057_libats_057_BUCS320_057_MergeSort_057_TEST_057_test02_056_dats__dynloadflag) ; ATSextern() atsvoid_t0ype _057_home_057_hwxi_057_Research_057_ATS_055_Postiats_057_libats_057_BUCS320_057_MergeSort_057_TEST_057_test02_056_dats__dynload() { ATSfunbody_beg() ATSdynload(/*void*/) ATSdynloadflag_sta( _057_home_057_hwxi_057_Research_057_ATS_055_Postiats_057_libats_057_BUCS320_057_MergeSort_057_TEST_057_test02_056_dats__dynloadflag ) ; ATSif( ATSCKiseqz( _057_home_057_hwxi_057_Research_057_ATS_055_Postiats_057_libats_057_BUCS320_057_MergeSort_057_TEST_057_test02_056_dats__dynloadflag ) ) ATSthen() { ATSdynloadset(_057_home_057_hwxi_057_Research_057_ATS_055_Postiats_057_libats_057_BUCS320_057_MergeSort_057_TEST_057_test02_056_dats__dynloadflag) ; /* dynexnlst-initize(beg) */ /* dynexnlst-initize(end) */ } /* ATSendif */ ATSfunbody_end() ATSreturn_void(tmpret_void) ; } /* end of [*_dynload] */ /* ** the ATS runtime */ #ifndef _ATS_CCOMP_RUNTIME_NONE_ #include "pats_ccomp_runtime.c" #include "pats_ccomp_runtime_memalloc.c" #ifndef _ATS_CCOMP_EXCEPTION_NONE_ #include "pats_ccomp_runtime2_dats.c" #ifndef _ATS_CCOMP_RUNTIME_TRYWITH_NONE_ #include "pats_ccomp_runtime_trywith.c" #endif /* _ATS_CCOMP_RUNTIME_TRYWITH_NONE_ */ #endif // end of [_ATS_CCOMP_EXCEPTION_NONE_] #endif /* _ATS_CCOMP_RUNTIME_NONE_ */ /* ** the [main] implementation */ int main ( int argc, char **argv, char **envp ) { int err = 0 ; _057_home_057_hwxi_057_Research_057_ATS_055_Postiats_057_libats_057_BUCS320_057_MergeSort_057_TEST_057_test02_056_dats__dynload() ; ATSmainats_void_0(err) ; return (err) ; } /* end of [main] */ /* ****** ****** */ /* end-of-compilation-unit */