I get this error:

> Error: This expression has type Tls_mir.flow
>        but an expression was expected of type Tls_mir.FLOW.flow
where

        module Tls_mir = Tls_mirage.Make (Mirage_flow_lwt.F)

And the expression expecting Tls_mir.FLOW.flow is `Tls_mir.server_of_flow` but 
my `flow` variable is first passed to `Tls_mir.read`, which comes from 
including FLOW in Tls_mirage.Make.

Should I be doing this somewhat differently, so that the compiler doesn't get 
confused?

I can push my working code if needed, but it's messy at this stage.



_______________________________________________
MirageOS-devel mailing list
[email protected]
https://lists.xenproject.org/mailman/listinfo/mirageos-devel

Reply via email to