OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

xdi message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]


Subject: A quick link contract riddle


I thought I'd share this with the list:

Let's say we have this graph:

 =a*b<+c>&/&/"hello"
 =a/+friend/=x

And this link contract in the same graph:

 $do/$get/=a*b

Now let's look at the following two messages:

Message 1:

 =sender[$msg]!1$do/$get/(=a/+friend/=x)
 =sender[$msg]!1/$do/$do

Message 2:

 =sender[$msg]!1$do/$get/(=a/()/*b)
 =sender[$msg]!1/$do/$do

Message 1 will obviously fail, because the link contract doesn't cover the requested statement.

Now my question is, will Message 2 fail or succeed? Anyone?

Markus



[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]