Hi, I have a function that returns
Basis.list
$(<UNIF:U16369::{Type}> ++
[#Here = myType,
#There = myType])
according to the type checker. How can I express its signature so that it
compiles? Is it possible to express that I have these two fixed fields and
some others?
- Gergely
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
