withtype keyword

[Artyom Shalkhakov]

Hello,

What is withtype keyword? It is still supported by the lexer, yet there aren't any examples of its use.

I have been reading:

http://www.cs.bu.edu/~hwxi/academic/papers/JFPmp.pdf

where withtype is used for type-annotating a function written in SML-like syntax (p. 13). Is this keyword still supported?

[gmhwxi]

Yes, it is still supported.

It is the keyword for initiating a style of type annotation that
was used in DML. This style is rarely used nowadays. Here
is a simple example:

http://www.ats-lang.org/SERVER/MYCODE/Patsoptaas_serve.php?mycode_url=https://raw.githubusercontent.com/githwxi/ATS-Postiats/master/doc/EXAMPLE/TESTATS/withtype.dats