1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

 

  module Foo =

    // ... 

    let request  = 
      async
        {  //...

//==================================================
//debugging check :
//the expected value is indeed printed ...
//==================================================
            let x = Attempt.run <| X.decode data_stream
            if AttemptResult.is_success x then
              let x = AttemptResult.get x
              do print_endline ("async task running... works fine")
              do print_endline (X.to_string x) //result is printed as expected !
//==================================================

            //returns a Attempt<X> value
            //Although it raises no error here (see above), it fails to work below...
            return (X.decode data_stream) 
        }  


  let rec announce =     
    let while_locked () =
      attempt 
        { //...
//==================================================
//debugging check :
//the expected value is NOT printed ... an error is instead
//==================================================
             let x=  Attempt.run <| Async.Run(Foo.request)
              if AttemptResult.is_success x then
                let x = AttemptResult.get x
                do print_endline (X.to_string x) //doesn't work
              else
                do print_endline (any_to_string x) //Error: the stream can't be read <-- where could that come from ?
//==================================================
              //the following should work, but it doesn't, see above 
              let! x = Async.Run(X.request)
                
        }
//...