On Tue, Apr 25, 2023 at 01:02:00AM +0200, Ralf Hemmecke wrote:
> Obviously, the commit modified the output of .ap files.
>
> Before and after we have
>
> (1) -> )boot GETDATABASE('Eltable, 'CONSTRUCTORCATEGORY)
>
> (EVAL-WHEN (EVAL LOAD)
> (PROG () (RETURN (GETDATABASE '|Eltable| 'CONSTRUCTORCATEGORY))))
> Value = (|Join| (CATEGORY |domain| (SIGNATURE |elt| (|t#2| $ |t#1|))))
>
> However, where before the commit we get
>
> (1) -> )boot modemapToAx(GETDATABASE('Eltable, 'CONSTRUCTORMODEMAP))
>
> (EVAL-WHEN (EVAL LOAD)
> (PROG ()
> (RETURN (|modemapToAx| (GETDATABASE '|Eltable| 'CONSTRUCTORMODEMAP)))))
> Value = (|Define|
> (|Declare| |Eltable|
> (|Apply| ->
> (|Comma| . #1=((|Declare| |#1| |Type|) (|Declare| |#2| |Type|)))
> |Category|))
> (|Lambda| (|Comma| . #1#) |Category|
> (|Label| |Eltable|
> (|With| NIL
> (|Sequence|
> (|Declare| |apply|
> (|Apply| -> (|Comma| % |#1|) |#2|)))))))
>
> whereas after this becomes
>
> (1) -> )boot modemapToAx(GETDATABASE('Eltable, 'CONSTRUCTORMODEMAP))
>
> (EVAL-WHEN (EVAL LOAD)
> (PROG ()
> (RETURN (|modemapToAx| (GETDATABASE '|Eltable| 'CONSTRUCTORMODEMAP)))))
> Value = (|Define|
> (|Declare| |Eltable|
> (|Apply| ->
> (|Comma| . #1=((|Declare| |#1| |Type|) (|Declare| |#2| |Type|)))
> |Category|))
> (|Lambda| (|Comma| . #1#) |Category|
> (|Label| |Eltable|
> (|With| NIL
> (|Sequence|
> (|Declare| |apply|
> (|Apply| ->
> (|Comma| (|RestrictTo| (|LitString| "%") |Symbol|)
> |#1|)
> |#2|)))))))
>
> I think it is the removal of the line
>
> axFormatType(typeform) ==
> atom typeform =>
> typeform = '$ => '% <---------
> STRINGP typeform =>
> ['Apply,'Enumeration, INTERN typeform]
<snip>
Yes, we should special case '% like in attached patch.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/20230424235744.piqy432f6trv4ede%40fricas.math.uni.wroc.pl.
--- ../trunk.pp6/src/interp/ax.boot 2023-04-22 17:53:23.434234063 +0000
+++ ax.boot 2023-04-24 22:04:18.361611906 +0000
@@ -216,6 +216,7 @@
axFormatType(typeform) ==
atom typeform =>
+ typeform = '% => '%
STRINGP typeform =>
['Apply,'Enumeration, INTERN typeform]
INTEGERP typeform =>
