Hi Vincent,
(I bounced your message to the list since you replied only to me.)
You've used insert_metadata() which returns the insertion function
together with the source. But the idea of your code requires
server.insert_metadata() which returns just the source, and hooks up
the function to the (telnet) server for you. (By the way, this only
applies to SVN, which isn't compatible with older versions on that
point.)
For the sake of completeness, here's how to use the "raw" insert_metadata:
live = fallback(track_sensitive=false,[source, default ])
insert_and_live = insert_metadata(id="live",live)
insert = fst(insert_and_live)
live = snd(insert_and_live)
Yes, we need a more concise syntax, something like (insert,live) =
insert_metadata(...). Also, after this bit of code you still need to
hook the insertion function somewhere.
Finally, I can't resist pointing out that the latest SVN gives a much
more concise type error:
At line 8, char 106:
this value has type
(_*_)
(infered at line 5, char 23-38)
but it should be a subtype of
source(_)
Cheers,
--
David
------------------------------------------------------------------------------
Protect Your Site and Customers from Malware Attacks
Learn about various malware tactics and how to avoid them. Understand
malware threats, the impact they can have on your business, and how you
can protect your company and customers by using code signing.
http://p.sf.net/sfu/oracle-sfdevnl
_______________________________________________
Savonet-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/savonet-users
