Hello. The Poly/ML mailing list appears to be down at the moment. How
can I see the machine code generated by Poly/ML?
signature.asc
Description: OpenPGP digital signature
--
Check out the vibrant tech community on on
Hello. The Poly/ML mailing list appears to be down at the moment. How
can I see the machine code generated by Poly/ML?
signature.asc
Description: OpenPGP digital signature
--
Check out the vibrant tech community on on
Hello. The Poly/ML mailing list appears to be down at the moment. How
can I see the machine code generated by Poly/ML?
signature.asc
Description: OpenPGP digital signature
--
Check out the vibrant tech community on o
I want to see the generated code from the REPL, as with Common Lisp’s
SBCL, to have an idea of what optimizations have been made since it is
not easy to tell when writing high level code (especially higher order
functions). Is this possible?
On 17/05/18 11:35, Ramana Kumar wrote:
> You could buil
You could build a binary using polyc. Would that suffice? Or do you need to
see the machine code while running the REPL?
On 17 May 2018 at 17:13, Mario Xerxes Castelán Castro <
marioxcc...@yandex.com> wrote:
> Hello. The Poly/ML mailing list appears to be down at the moment. How
> can I see the m
On 17/05/18 18:12, Mario Xerxes Castelán Castro wrote:
> The Poly/ML mailing list appears to be down at the moment.
David Matthews is the guy behind this. I have contacted him privately,
and he has now updated the webiste http://polyml.org to refer to the
changed URL of the mailing list:
http://li
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.
[1]
http://www.lispworks.com/documentation/HyperSpec/Body/f_disass.htm#dis
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 inform
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
> ha scritto:
>
> On 18/05/18 16:40, Chun Tian wrote:
>
>> Hi,
>>
>> not only SBCL but all Co