[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[MirageOS-devel] Tls_mirange.flow and Tls_mirage.FLOW.flow


  • To: mirageos-devel@xxxxxxxxxxxxxxxxxxxx
  • From: fox@xxxxxxxxxxxxx
  • Date: Fri, 30 Aug 2019 23:43:34 +0100
  • Autocrypt: addr=sp@xxxxxxxxxxxxx; prefer-encrypt=mutual; keydata= mQINBFvLD54BEADsx7dos4OuFWos4tW4IRuQI50qBUf5ewMfWVHDsj3FlaGYmPwAjW/aV7uq gB3l5cpZmfG6oC3zNftp1Oss4RC+jtmiUoB299eUZYjA7+NxswsAReb7F2VqsCqc01TVfe0a GgU6dHLoqkM/2G9Ud6LiUufsLjzh3AKjFTgZt4tGQveEa577c6JqLvhaSfegdpEb27I9zu8g 0i8e5zddssVri0WZg1+dQjzkw6Rg3n3J2RK5AG94V9aJyawGz9g+Hpcu+KxMmg7AcF/1P98l PuxASQ9ya68urwx1O7MrYIuezDcdYotyuCSRULlva2o+y3dBe3tXyDKqT5y7/lJH07tu4sdi gJEptBd2FCQaZphunZi0/nThzYkH4dj1HkNKiACI81BNzoRF41n0JOJGzHf6hzV/tJZ1D2T3 Ws787Jf/T0p052DFGKdQ7Vw+uu1oKD6DUc7a0IsvVfgbLG07zdQ1zUWvxwQw5FLM+dHRPYC/ cuVjZEQqNb8G9mFExuzhun53CuyhhuGbmdFbY6k3u5Gp26Tpl9PzrzpLjZHJFDKECZrfifQt M1soZr0FxR0swY/gDSgUr0o+Q2xNWEEwQ4HXm/58aY7ZNdiurdcSs7bd+xbVpKUOOP8Yx3Yj ttIJ6SAEDcIs0IqJC6UBu64tr++mPC9O3qcY3Oqb9XUkYKp/iQARAQABtBVTUCA8c3BAb3Ji aXRhbGZveC5ldT6JAlQEEwEIAD4WIQSakB/S+e8bVkIgQ7TTC6eS9ZXTbwUCW8sPngIbAwUJ Ad/iAAULCQgHAgYVCgkICwIEFgIDAQIeAQIXgAAKCRDTC6eS9ZXTbwiUEADEb5Sua0tgJhmL +muw01pTQdIcRQz8KLmetdeHkxk6BhaoR5pc2NP6RKb+9nARvWzotjG76Alt9/g+WIi+IRM4 udFocLo8m1n2HzbOYjJ3wtkNmmv58IkoH3LABDjI2ZFSCasQV5QCRRwOTKOObXeWMPHNSXRd H8WtD/EqQx9kD0i+0Renpa+3tJ4ywKMErxiVAsq66Imi92lKWs14Qy7hAOTH2Pc8v7DhpKax OOd8No7LR6SEmYtEp9IcsF5HuftGkNYydN0743Tb60hOpHtPvVDQLpNhPuv3IiFFfnlFUkCG oWZnBnAVMbUPCedthOfL6XBCEndHbWsmbMxjtBJwUECla+0TtSPLEw8JxlgULDCLBxMiGxGL D5whqz+V7SZYw/jcq0T10Yh7v8PyHu8qYEpnSpxJukwr3aWDLqgL+6HieAYh9gt9ZMMemQYg G49ju0Dj1A95ZyDNYBvJaPAKOBqHgIEa/QQoXPf/nmcMM79jNd6me1y/Qj5TzCoShMMZRKI7 2qjQxm2vVUGW0fbhIG621z7TGnxAW1lQd0IXE32spgWuvDYWfftH0EZQC6uaPGIBVcLznsZi yGqTY3poMHKYbg5jbmhtB/zHpOiYB6Zha5AS7ZwwQCNmoDgrESG9QkG5mj2dUfJA2bFbozQM SOBD4yenlcBNkYBx16yjHLkCDQRbyw+eARAArrOXCS+6kfQ4pffyGNK79na9YGbYpv+i4cn6 nXEMY5PXPwGG6uy6jwYda+bW9J8/DJ2qFLnn1QXmWdoXx8XVMzk4q080Y2+gQ5cMgaQ2DJ1n drSa6fVVmTgoWMHsKkuU/YNe649GCfP82c2eRQSB5LQi2lV3trfXeGWyFsEz4wioopLqdHuU nO3AyJa2/zHSxhSLgfkH+B99YBkQcVx383l94SWEZWywcj7YxOpytSonDp6j6/obUWJgm30Z ihOzstAyLZ1wHYIK7xz8bbDKYYzFvmlVoUVpoxOhSb5Yls3Num+0ZygszBLweh3ZPAlVz92Y Z1F9KxG0XWC0fpC/Z9gf0imntM4TJubIxO0+igesEA6362klbdYaHTRJBOS5o6ZNAhj4NBmD svRKKQCm59ZrzhVS25qj1MlrOaL5uquaYX4qURvukvwkXjtp0pVU7pnO5ybg+bijE5LFiMC2 a8Wo7gB/ww7cKuIh1GYBlvPdiLTDCJ2AfdUNCnpfhDyEEakU2KMExHocby8TFmUJN8PzZF2I 32XktPA+yRMdC5fg2dA54QTww54/9nng5yS0N1C0kvpUj6OtDVMqkc4BllI4SBlsbIbiOgCW h//tlrSK79CsKWG39o/IbrJpq58J4KMMK+LNL+t2Lj4CnIHpiDl6OLpDEWuRh7Er3n+dk8cA EQEAAYkCPAQYAQgAJhYhBJqQH9L57xtWQiBDtNMLp5L1ldNvBQJbyw+eAhsMBQkB3+IAAAoJ ENMLp5L1ldNv6f0QANaQFIfIXZz9sXf+q8SGjRrkgWr3Ny2rOad+57zlXpUdBLE4nUMM7vfW B+V2QEmql00rHyiXaPCWfvd7kB0djx4TFUoOYeH++Z9003rZAAsBewzBdt0aNiz00GSFz91j PWy2S6/EI7pEZgLrd4DqMyV80TDSfjbKlkqRJSO7HV792IvdFckWqFYMQizMynKWIrpBtTlQ yZAJ1xGPa28JYF1Qv40+SZi1AgReNhj6yewYXXh8ZleFvNoTAuUgbgdHtpFJ1G8UTIgr8sA8 zxIlZjkVkLjmqwj1i33XHgEsGYiDCqcV6h39qfHxXIxsLKeU2vGXC0FupwetyS1JxNzmUMG/ MjhS0wCSkCsAcDtYXdd1xRUwNZRLk6YN7LSqd7MkYNig3/Mvy42YAFfRoYDgewFut19ZeFFo CfbYEgDjQMQTS5eOWU1RAY4vJ1uqgr+13LeXwlKoX6TNFpI57Dw0p4VDnGhpT1U9JvNBzq+Y MTiQ3bGMrIQi86MsjnfRmD5x6r8PmFeV5mc7spCO5tGna+SJXUrrGBCgBZbxoNL3uZfpvh7t 9sdtQ6Wdjpz3zni6Sb6cAMj95XQnh2mik0Tmf37xkkBVKvrUbvaAPQKo6JUXOafpKoqWMo7W 9BJj8dbN9JzBl4NPT+yJdJ2gXUJUhcxtDr+9a2BQ5Eboi3NUsleP
  • Delivery-date: Fri, 30 Aug 2019 23:02:30 +0000
  • List-id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>

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
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/mirageos-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.