type-expander + multi-id + recursive type goes into an infinite loop #7

New Issue

2016-08-22T12:55:21+01:00

SuzanneSoy commented

2016-08-22 12:55:21 +01:00

(Migrated from github.com)

Workaround: use #:type-noexpand or #:type-expand-once instead of #:type-expander.

Maybe we can detect when recursively expanding a type?

Although it should be possible to have a type which recursively expands, but has e.g. a counter ensuring it will stop after a while. E.g. (homogeneous-list 5 Number) becomes (Pairof Number (homogeneous-list 4 Number)) etc. so that it will expand only 5 times, and then stop at the sixth, producing Null.

Workaround: use `#:type-noexpand` or `#:type-expand-once` instead of `#:type-expander`. Maybe we can detect when recursively expanding a type? Although it should be possible to have a type which recursively expands, but has e.g. a counter ensuring it will stop after a while. E.g. `(homogeneous-list 5 Number)` becomes `(Pairof Number (homogeneous-list 4 Number))` etc. so that it will expand only 5 times, and then stop at the sixth, producing `Null`.

Sign in to join this conversation.