Re: [polyml] [ExternalEmail] Compiler (0ad5aa87) raises Option

2020-06-29 Thread Norrish, Michael (Data61, Acton)
No, I'm afraid not. I will try to find some time to find a MWE this week. Michael On 30/6/20, 02:54, "polyml on behalf of Phil Clayton" wrote: I, too, am seeing this error message with the latest master (ef44a8b). Michael - did you make any progress with this issue? Phil On 22/06/20

Re: [polyml] [ExternalEmail] Compiler (0ad5aa87) raises Option

2020-06-29 Thread Phil Clayton
I, too, am seeing this error message with the latest master (ef44a8b). Michael - did you make any progress with this issue? Phil On 22/06/20 02:18, Norrish, Michael (Data61, Acton) wrote: Sorry to spam (will take this elsewhere after this). The "workaround" below doesn't help in the wider