>
> (1) -> )show ListPackage
> ListPackage(T$: BasicType) is a package constructor
> Abbreviation for ListPackage is LISTPKG
> This constructor is not exposed in this frame.
> â â â â â â â â â â â â â â â â â â â â â â â â â â
> â â â â â Operations â â â â
oldk1331 wrote:
>
> > Probably because T has the fixed meaning (True) in lisp.
>
> Hmm, good catch! You are right, if you use "NIL" as a type
> variable, you can't compile it:
>
>>> System error:
>The value
> |t#1|
> is not of type
> SEQUENCE
>
> After some debugging, I find this
> Probably because T has the fixed meaning (True) in lisp.
Hmm, good catch! You are right, if you use "NIL" as a type
variable, you can't compile it:
>> System error:
The value
|t#1|
is not of type
SEQUENCE
After some debugging, I find this bug happens at a very early stage:
parsing.
On Sat, 22 Oct 2016, oldk1331 wrote:
I did some debugging, and find that in i-syscmd.boot#L2303
"GETDATABASE(op, 'CONSTRUCTORFORM)" gives T$:
(1) -> )boot GETDATABASE("ListPackage",'CONSTRUCTORFORM)
(EVAL-WHEN (EVAL LOAD)
(PROG () (RETURN (GETDATABASE '|ListPackage| 'CONSTRUCTORFORM
Value
(1) -> )show ListPackage
ListPackage(T$: BasicType) is a package constructor
Abbreviation for ListPackage is LISTPKG
This constructor is not exposed in this frame.
─── Operations
shiftLeft : List(T$) -> List(T$)
cartesian :