I would have expected that the following program is rejected by the
compiler, since instead of
dbgprintx("all", all::OutputForm)
I have only written
dbgprintx("all", all:OutputForm)
Needless to say that the program does not implement coerce:%->OuputForm
and should be rejected anyway.
Ralf
PS: When I compile, I see something like
; file: /home/hemmecke/backup/git/fricas/src/doc/FOO.NRLIB/FOO.lsp
; in: SDEFUN |FOO;foo;2S;2|
; (BOOT::|FOO;dbgprintx| "addex all" BOOT::|/throwAway| BOOT::$)
;
; caught WARNING:
; undefined variable: |/throwAway|
;
; compilation unit finished
; Undefined variable:
; |/throwAway|
; caught 1 WARNING condition
But since there is no hard error, I assume that the compiler did the
right thing.
Ralf
--
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
)abbrev domain FOO Foo
Foo: CoercibleTo(OutputForm) with
foo: String -> String
== add
OF ==> OutputForm
dbgprintx(x: String, y: OF): Void == print(brace([x::OF, y]$List(OF)))
foo(all: String): String ==
dbgprintx("addex all", all:OutputForm)
all
