I don't understand the following error reported by Alice ML:
Alice 1.4 ("Kraftwerk 'Equaliser' Album") mastered 2007/04/24
### loaded signature from x-alice:/lib/system/Print
### loaded signature from x-alice:/lib/tools/Inspector
### loaded signature from x-alice:/lib/distribution/Remote
- signature FUNC = sig
type 'a func
end
signature MONAD_CORE = sig
type 'a monad
end
signature MONAD_EX = sig
type 'a monad_ex
include FUNC
sharing type func = monad_ex
end
signature MONAD = sig
include MONAD_CORE
include MONAD_EX
sharing type monad_ex = monad
end ;
11.3-11.15: warning: type variable identifier `'1' violates standard naming
conventions, which suggest type variable names of the form
'foo, ''foo, 'foo_bar
16.3-16.21: warning: type variable identifier `'1' violates standard naming
conventions, which suggest type variable names of the form
'foo, ''foo, 'foo_bar
17.3-17.19: warning: type variable identifier `'1' violates standard naming
conventions, which suggest type variable names of the form
'foo, ''foo, 'foo_bar
17.3-17.19: warning: type variable identifier `'1' violates standard naming
conventions, which suggest type variable names of the form
'foo, ''foo, 'foo_bar
15.18-19.3: inconsistency at signature specialization:
type monad_ex
is missing
Is this a bug or an intentional incompatibility with SML related to
the sharing incompatibility
(http://www.ps.uni-sb.de/alice/manual/incompatibilities.html#sharing).
The spurious warnings seem to be caused by the use of include. I
would guess that Alice alpha converts (type variables in) signatures
and later, when expanding include directives, it doesn't realize that
it is expanding signatures it has already rewritten.
-Vesa Karvonen
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
