adam@1: fun discover r =
adam@2: dy <- Openid.discover r.Id;
adam@2: case dy of
adam@2: None => return No dice
adam@3: | Some dy =>
adam@3: os <- Openid.association dy.Endpoint;
adam@3: case os of
adam@3: Openid.Error s => error {[s]}
adam@3: | Openid.Handle s => return {[s]}
adam@1:
adam@1: fun main () = return
adam@1:
adam@1: