Skip to content

GitLab

I
iTasks-SDK
Open
Opened by Mart Lubbers@mlubbers0 of 2 tasks completed0/2 tasks
Report abuse New issue

ReadResult should be less constrained

The current type is:

:: ReadResult p r w
	= E.sds: ReadResult !r !(sds p r w) & RWShared sds & TC r & TC w
	| E.sds: AsyncRead !(sds p r w) & RWShared sds & TC r & TC w
  • Why is the share present in ReadResult, the reading is done anyway.
  • Why is there a RWShared constraint, this should just be Readable
Edited by Mart Lubbers
To upload designs, you'll need to enable LFS. More information