search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

`VfsSuperBlock` in libgum #227

Open zilinc opened 6 years ago

zilinc commented 6 years ago

The type VfsSuperBlock is not defined in any .cogent file, and is not used in any filesystem(?).

ajaysusarla commented 6 years ago

That is true, we don't use it. My idea was to eventually use all definitions from libgum when I started with skelfs. But I hadn't got that stage yet. And with our effort to 'design right', I'm not sure how it fits in yet. I would like to retain in there for now, if that isn't a problem.

zilinc commented 6 years ago

We don't have to fix it right now. I just wanted to know how things worked in order to make make test-libgum pass.