thm
/
upend
1
0
Fork 0
Code Issues 75 Pull Requests Packages Projects Releases 6 Wiki Activity

fix: forgot to denote `TYPE` as denoting to types

feat/type-attributes
Tomáš Mládek 2022-10-21 16:23:02 +02:00
parent cf3c4a70c3
commit 639d83f9ad
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/database/mod.rs
View File

@ -15,7 +15,7 @@ pub mod lang;
use crate::addressing::{Address, Addressable}; use crate::addressing::{Address, Addressable};
use crate::common::build; use crate::common::build;
use crate::database::constants::{ use crate::database::constants::{
IS_OF_TYPE_ATTR, LABEL_ATTR, TYPE_ADDR, TYPE_HAS_ATTR, TYPE_INVARIANT, IS_OF_TYPE_ATTR, LABEL_ATTR, TYPE_ADDR, TYPE_HAS_ATTR, TYPE_INVARIANT, TYPE_TYPE_VAL,
}; };
use crate::database::engine::execute; use crate::database::engine::execute;
use crate::database::entry::{Entry, EntryValue, ImmutableEntry}; use crate::database::entry::{Entry, EntryValue, ImmutableEntry};
@ -152,6 +152,7 @@ impl UpEndDatabase {
connection.insert_entry(Entry::try_from(&*TYPE_INVARIANT)?)?; connection.insert_entry(Entry::try_from(&*TYPE_INVARIANT)?)?;
upend_insert_addr!(connection, TYPE_ADDR, IS_OF_TYPE_ATTR, TYPE_ADDR)?; upend_insert_addr!(connection, TYPE_ADDR, IS_OF_TYPE_ATTR, TYPE_ADDR)?;
upend_insert_val!(connection, TYPE_ADDR, TYPE_HAS_ATTR, TYPE_HAS_ATTR)?; upend_insert_val!(connection, TYPE_ADDR, TYPE_HAS_ATTR, TYPE_HAS_ATTR)?;
upend_insert_val!(connection, TYPE_ADDR, TYPE_HAS_ATTR, TYPE_TYPE_VAL)?;
upend_insert_val!(connection, TYPE_ADDR, LABEL_ATTR, "UpEnd Type")?; upend_insert_val!(connection, TYPE_ADDR, LABEL_ATTR, "UpEnd Type")?;
initialize_hier(&connection)?; initialize_hier(&connection)?;