Talk:Syntactic sugar for terms

From Dyna

actrac I took this out:

The list union type

As a special service, declaration inference adds the declaration

:- union(list, [cons,nil]).

when appropriate.

--Markus 09:33, 4 Apr 2005 (EDT)

Also this:

You could even write those declarations using the same syntactic sugar:

:- structure([int i | list rest]).       % specifically a list of ints
:- structure([]).

Does this work currently?

--Markus 09:34, 4 Apr 2005 (EDT)