From: INTRODUCTION TO POLY D.C.J. Matthews,May 1982 Computer Laboratory, University of Cambridge
[quote]
begin
# print("Hello"); # print(" again") # end; Hello again [/quote]
but I get:
[quote]
begin
# print("hello"); poly: : error: Value or constructor (begin) has not been declared Found near begin print ("hello") Static Errors
[/quote]
if I remove the semi-colon, it lets me enter the rest of the code, but chokes after I enter `end;'.
Has the syntax changed since the book was written, or am I doing something wrong? TIA ...
On 18/01/2026 17:40, Duke Normandin wrote:
From: INTRODUCTION TO POLY D.C.J. Matthews,May 1982 Computer Laboratory, University of Cambridge
...
Has the syntax changed since the book was written, or am I doing something wrong? TIA ...
Poly is a different language from SML. SML was standardized in 1990 ("SML90") and updated in 1997 ("SML97"). You really want to refer to documentation for SML97. Any documentation prior to 1996 is likely to be for SML90, so it's best to avoid that.
Phil
On 18/01/2026 17:40, Duke Normandin wrote:
From: INTRODUCTION TO POLY D.C.J. Matthews,May 1982 Computer Laboratory, University of Cambridge
This refers to the Poly language that I designed and implemented for my PhD back in the early eighties. The present "poly" is an implementation of the Standard ML language. The original implementation was written in Poly although it was later translated into ML.
There's a brief explanation at https://polyml.org/Doc.html .
David
@David Matthews @Phil Clayton
Thanks for the clarification and setting me on the correct path!
-
David Matthews -
Duke Normandin -
Phil Clayton