I’m not going to answer these questions in HOL mailing list. You need to subscribe to Poly/ML mailing list and ask there.
—Chun > Il giorno 19 mag 2018, alle ore 17:27, Mario Xerxes Castelán Castro > <marioxcc...@yandex.com> ha scritto: > > On 18/05/18 16:40, Chun Tian wrote: > >> Hi, >> >> not only SBCL but all Common Lisp platforms must implement DISASSEMBLE [1] >> as it’s part of the standard (although outputs are platform-dependent). In >> ML world, such facility must be platform dependent, if it exists. > Alright. Thanks for the information. >> [1] >> http://www.lispworks.com/documentation/HyperSpec/Body/f_disass.htm#disassemble >> >> For Poly/ML, if you try to see the exported function inside its Compiler >> package, there’s actually a “assemblyCode” switch doing the same thing (or >> even more detailed): > Thanks. Is the ABI (call conventions, in-memory representation) > documented? I could not find anything in the HTML documentation. > > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! > http://sdm.link/slashdot_______________________________________________ > hol-info mailing list > hol-info@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/hol-info
signature.asc
Description: Message signed with OpenPGP
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
