[Module] Remove DataDescription's writable field.

It was redundant, as data object declarations also have a writable
field, so just use that, avoiding the need for users to declare the
same thing twice.

Fixes #456.
This commit is contained in:
Dan Gohman
2018-08-16 18:31:05 -07:00
parent 30d09cf6b0
commit 77eb38c41f
6 changed files with 16 additions and 35 deletions

View File

@@ -507,6 +507,7 @@ where
}
Some(self.backend.define_data(
&info.decl.name,
info.decl.writable,
data_ctx,
&ModuleNamespace::<B> {
contents: &self.contents,