Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

kleines Problem bei alter HA Blatt 6 EXPRESSIONS

1 view
Skip to first unread message

marco23

unread,
Jan 10, 2007, 6:39:59 PM1/10/07
to
Erstes Komisches Problem, aber Compiler macht weiter.

>f Expr.impl
Expr.impl>e `(testExpr)
checking Expr.sign
checking Expr.impl
WARNING [Expr.impl at unknown location]:
eval'Expr:expr->(char->real)->expr is not implemented
compiling Expr.impl
starting evaluator process
(((1e+0 + 3e+0) ^ 3) * ((5e+0 * 7e+0) * ((x ^ 3) * (x ^ 2))))

Zweites Komisches Problem. Die Warning-Aussage, und die undefined
selection base.
Ich habe schon alle Selektoren abgesucht. Vielleicht ist es ja ein
Problem, was andere auch schon mal hatten, nur ich komme zur späten
Stund nicht mehr auf den richtigen Pfad :).


Expr.impl>e simplify(testExpr)
checking Expr.sign
checking Expr.impl
WARNING [Expr.impl at unknown location]:
eval'Expr:expr->(char->real)->expr is not implemented
compiling Expr.impl
starting evaluator process
evaluation aborted: `Expr at <unknown> : undefined selection
base'Expr:expr->expr'
compiled function simplify'Expr

Falls jemand weiter weiß, wäre mir sehr geholfen.

Robert Buchholz

unread,
Jan 11, 2007, 7:10:59 AM1/11/07
to
Hey Marco,

marco23 wrote:
>>f Expr.impl
>
> Expr.impl>e `(testExpr)
> checking Expr.sign
> checking Expr.impl
> WARNING [Expr.impl at unknown location]:
> eval'Expr:expr->(char->real)->expr is not implemented

Das bedeutet, dass in deiner Signatur oder Implementierung eine Funktion
"FUN eval: expr -> (char->real) -> expr" steht, aber es keine DEFs dafür
gibt, sie also nicht definiert ist.

> Ich habe schon alle Selektoren abgesucht. Vielleicht ist es ja ein
> Problem, was andere auch schon mal hatten, nur ich komme zur späten
> Stund nicht mehr auf den richtigen Pfad :).
>
> Expr.impl>e simplify(testExpr)
> checking Expr.sign
> checking Expr.impl
> WARNING [Expr.impl at unknown location]:
> eval'Expr:expr->(char->real)->expr is not implemented
> compiling Expr.impl
> starting evaluator process
> evaluation aborted: `Expr at <unknown> : undefined selection
> base'Expr:expr->expr'
> compiled function simplify'Expr

Durchsuche noch mal alle Selektionen base(X) und prüfe, ob
sichergestellt ist, dass X auch mit dem Konstruktor `pow' erzeugt wurde.

Ciao,

Robert

marco23

unread,
Jan 11, 2007, 10:05:57 AM1/11/07
to
Den Fehler hatte ich nun gefunden.
Nun habe ich einen neuen bei der eval function.

Er meint wieder ähnliches dass selection 0 is undefined.

Ich werd nochmal schauen und den genauen Fehler nachher nochmal posten.

Danke für deine schnelle Hilfe.

Gruß


Robert Buchholz schrieb:

0 new messages