Mercurial > hg > Gears > GearsAgda
view src/parallel_execution/Time.cbc @ 388:8940d1451a0d
handle local continuation
author | masataka |
---|---|
date | Sat, 29 Jul 2017 19:08:25 +0900 |
parents | a0a3301bac4d |
children |
line wrap: on
line source
typedef struct Time<Impl>{ union Data* time; __code start(Impl* time, __code next(...)); __code end(Impl* time, __code next(...)); __code next(...); } Queue;