Re: Data structure design again
"Richard A. O'Keefe" <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
Sorry, incomplete edit:
> flag(close(lambda(close,_,S1))) :-
> flag_list(S1).
should be
flag(block(lambda(close,_,S1))) :-
flag_list(S1).
This is why I would much rather have a revived DEC-10 type checker
than a specific and very limited but much-breaking hack for one type.