Re: [polyml] Update to code-generator and run-time system interface

David, > On 17 Sep 2016, at 14:49, Rob Arthan wrote: … > … I am getting a segfault somewhere in the > ProofPower parser generator. I will report again when I have > isolated that. To the list of three issues in my previous e-mail, I can now add: 4) In some circumstances a

Re: [polyml] Update to code-generator and run-time system interface

David, I have been having a go at building ProofPower with the latest updates. Here is some miscellaneous feedback: 1) Are these two errors in the configure output harmless? (This is on Mac OS X using Apple’s Xcode tools.) checking for __attribute__((visibility("hidden")))... no clang: error:

Re: [polyml] Equality Type Parameter in Datatype Declaration

Many thanks Matthew for the clarification. Subtle :-) Since datatype declarations declare both a type operator and constructors, I think the explanation deserves to appear in http://mlton.org/EqualityTypeVariable, last part. The last two declarations declare identical type operators, but not

Re: [polyml] Equality Type Parameter in Datatype Declaration

Hello, Funnily (where my belief came from ?), the page about equality type variables on mlton.org (http://mlton.org/EqualityTypeVariable) says that they play no special role in either type bindings or datatype bindings, contradicting the compiler ... BB. On 9/16/16 10:42 PM, Bernard