The Shen type system concordant S-ext definition

[Antti Ylikoski]

There was some discussion here about the Shen type system concordant

Shen S-expression definition.

I need this one for the type secure Shen pretty printer that I have

been writing.

I attach the code that I have made so far.  It does not concern types.

I recall that the S-expression type definition has occurred in the group

some times, and Mark posted a reference to the definition.

Could someone repost this reference, to the discourse, to the S-exp

type system concordant definition here?

AJY

Finland

[Mark Tarver]

https://groups.google.com/forum/?hl=en#!searchin/qilang/datatype$20s-expr%7Csort:date/qilang/QlBqePwbWMI/fElQVvF5BAAJ

may help

Mark

[Antti Ylikoski]

I decided to ask the group for help concerning this one.

I attach the type system concordant Shen pretty printer that I have

been making.  File pprint.shen.

It will work, if one loads it without the type system, without the

(tc +).

The s-expr type definition also will work as expected, as such.

If one attempts to load the file pprint.shen with the (tc +) on, Shen

will complain about the type error in the function tab-format.

My understanding is that the problem is with the function call

(make-string...), which is some kind of a "special form".

The first arg of make-string FS is a format string, the second

argument ARG is any Shen object to be output.  The signature of the

function (tab-format...) defines the local var ARG as the type s-expr,

which is hypothetically OK, but it is wrong in practice.

Any intelligent help?

yours, AJY

Finland

[Mark Tarver]

you use s-exp and s-expr.

Mark