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