runtime: change typenames to use . for namespaces
This commit is contained in:
parent
7cc47f05c5
commit
bacb3cf519
1 changed files with 31 additions and 31 deletions
|
@ -55,8 +55,8 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
|
||||||
"i+",
|
"i+",
|
||||||
vec![],
|
vec![],
|
||||||
vec![
|
vec![
|
||||||
"ℤ_2^64~machine::UInt64~machine::Word",
|
"ℤ_2^64~machine.UInt64~machine.Word",
|
||||||
"ℤ_2^64~machine::UInt64~machine::Word",
|
"ℤ_2^64~machine.UInt64~machine.Word",
|
||||||
],
|
],
|
||||||
vec!["ℤ_2^64~machine::UInt64~machine::Word"],
|
vec!["ℤ_2^64~machine::UInt64~machine::Word"],
|
||||||
);
|
);
|
||||||
|
@ -64,8 +64,8 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
|
||||||
"i-",
|
"i-",
|
||||||
vec![],
|
vec![],
|
||||||
vec![
|
vec![
|
||||||
"ℤ_2^64~machine::UInt64~machine::Word",
|
"ℤ_2^64~machine.UInt64~machine.Word",
|
||||||
"ℤ_2^64~machine::UInt64~machine::Word",
|
"ℤ_2^64~machine.UInt64~machine.Word",
|
||||||
],
|
],
|
||||||
vec!["ℤ_2^64~machine::UInt64~machine::Word"],
|
vec!["ℤ_2^64~machine::UInt64~machine::Word"],
|
||||||
);
|
);
|
||||||
|
@ -73,17 +73,17 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
|
||||||
"i*",
|
"i*",
|
||||||
vec![],
|
vec![],
|
||||||
vec![
|
vec![
|
||||||
"ℤ_2^64~machine::UInt64~machine::Word",
|
"ℤ_2^64~machine.UInt64~machine.Word",
|
||||||
"ℤ_2^64~machine::UInt64~machine::Word",
|
"ℤ_2^64~machine.UInt64~machine.Word",
|
||||||
],
|
],
|
||||||
vec!["ℤ_2^64~machine::UInt64~machine::Word"],
|
vec!["ℤ_2^64~machine.UInt64~machine.Word"],
|
||||||
);
|
);
|
||||||
symbols.write().unwrap().declare_proc_parse(
|
symbols.write().unwrap().declare_proc_parse(
|
||||||
"i/",
|
"i/",
|
||||||
vec![],
|
vec![],
|
||||||
vec![
|
vec![
|
||||||
"ℤ_2^64~machine::UInt64~machine::Word",
|
"ℤ_2^64~machine.UInt64~machine.Word",
|
||||||
"ℤ_2^64~machine::UInt64~machine::Word",
|
"ℤ_2^64~machine.UInt64~machine.Word",
|
||||||
],
|
],
|
||||||
vec!["ℤ_2^64~machine::UInt64~machine::Word"],
|
vec!["ℤ_2^64~machine::UInt64~machine::Word"],
|
||||||
);
|
);
|
||||||
|
@ -91,60 +91,60 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
|
||||||
"i%",
|
"i%",
|
||||||
vec![],
|
vec![],
|
||||||
vec![
|
vec![
|
||||||
"ℤ_2^64~machine::UInt64~machine::Word",
|
"ℤ_2^64~machine.UInt64~machine.Word",
|
||||||
"ℤ_2^64~machine::UInt64~machine::Word",
|
"ℤ_2^64~machine.UInt64~machine.Word",
|
||||||
],
|
],
|
||||||
vec!["ℤ_2^64~machine::UInt64~machine::Word"],
|
vec!["ℤ_2^64~machine.UInt64~machine.Word"],
|
||||||
);
|
);
|
||||||
|
|
||||||
symbols.write().unwrap().declare_proc_parse(
|
symbols.write().unwrap().declare_proc_parse(
|
||||||
"f+",
|
"f+",
|
||||||
vec![],
|
vec![],
|
||||||
vec![
|
vec![
|
||||||
"ℝ~machine::f64~machine::Word",
|
"ℝ~machine.f64~machine.Word",
|
||||||
"ℝ~machine::f64~machine::Word",
|
"ℝ~machine.f64~machine.Word",
|
||||||
],
|
],
|
||||||
vec!["ℝ~machine::f64~machine::Word"],
|
vec!["ℝ~machine.f64~machine.Word"],
|
||||||
);
|
);
|
||||||
|
|
||||||
symbols.write().unwrap().declare_proc_parse(
|
symbols.write().unwrap().declare_proc_parse(
|
||||||
"f-",
|
"f-",
|
||||||
vec![],
|
vec![],
|
||||||
vec![
|
vec![
|
||||||
"ℝ~machine::f64~machine::Word",
|
"ℝ~machine.f64~machine.Word",
|
||||||
"ℝ~machine::f64~machine::Word",
|
"ℝ~machine.f64~machine.Word",
|
||||||
],
|
],
|
||||||
vec!["ℝ~machine::f64~machine::Word"],
|
vec!["ℝ~machine.f64~machine.Word"],
|
||||||
);
|
);
|
||||||
|
|
||||||
symbols.write().unwrap().declare_proc_parse(
|
symbols.write().unwrap().declare_proc_parse(
|
||||||
"f*",
|
"f*",
|
||||||
vec![],
|
vec![],
|
||||||
vec![
|
vec![
|
||||||
"ℝ~machine::f64~machine::Word",
|
"ℝ~machine.f64~machine.Word",
|
||||||
"ℝ~machine::f64~machine::Word",
|
"ℝ~machine.f64~machine.Word",
|
||||||
],
|
],
|
||||||
vec!["ℝ~machine::f64~machine::Word"],
|
vec!["ℝ~machine.f64~machine.Word"],
|
||||||
);
|
);
|
||||||
|
|
||||||
symbols.write().unwrap().declare_proc_parse(
|
symbols.write().unwrap().declare_proc_parse(
|
||||||
"f/",
|
"f/",
|
||||||
vec![],
|
vec![],
|
||||||
vec![
|
vec![
|
||||||
"ℝ~machine::f64~machine::Word",
|
"ℝ~machine.f64~machine.Word",
|
||||||
"ℝ~machine::f64~machine::Word",
|
"ℝ~machine.f64~machine.Word",
|
||||||
],
|
],
|
||||||
vec!["ℝ~machine::f64~machine::Word"],
|
vec!["ℝ~machine.f64~machine.Word"],
|
||||||
);
|
);
|
||||||
|
|
||||||
symbols.write().unwrap().declare_proc_parse(
|
symbols.write().unwrap().declare_proc_parse(
|
||||||
"f%",
|
"f%",
|
||||||
vec![],
|
vec![],
|
||||||
vec![
|
vec![
|
||||||
"ℝ~machine::f64~machine::Word",
|
"ℝ~machine.f64~machine.Word",
|
||||||
"ℝ~machine::f64~machine::Word",
|
"ℝ~machine.f64~machine.Word",
|
||||||
],
|
],
|
||||||
vec!["ℝ~machine::f64~machine::Word"],
|
vec!["ℝ~machine.f64~machine.Word"],
|
||||||
);
|
);
|
||||||
|
|
||||||
linker.add_procedure("i+", tisc::Assembler::new().inst(tisc::VM_Instruction::IntAdd).build());
|
linker.add_procedure("i+", tisc::Assembler::new().inst(tisc::VM_Instruction::IntAdd).build());
|
||||||
|
@ -199,8 +199,8 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
|
||||||
symbols.write().unwrap().declare_proc_parse(
|
symbols.write().unwrap().declare_proc_parse(
|
||||||
"@",
|
"@",
|
||||||
vec![],
|
vec![],
|
||||||
vec!["<MutRef T~machine::Word>~machine::Address~machine::Word"],
|
vec!["<MutRef T~machine.Word>~machine.Address~machine.Word"],
|
||||||
vec!["T~machine::Word"],
|
vec!["T~machine.Word"],
|
||||||
);
|
);
|
||||||
/* Store to memory
|
/* Store to memory
|
||||||
*/
|
*/
|
||||||
|
@ -208,8 +208,8 @@ pub fn init_runtime(linker: &mut Linker) -> Arc<RwLock<Scope>> {
|
||||||
"!",
|
"!",
|
||||||
vec![],
|
vec![],
|
||||||
vec![
|
vec![
|
||||||
"<MutRef T~machine::Word>~machine::Address~machine::Word",
|
"<MutRef T~machine.Word>~machine.Address~machine.Word",
|
||||||
"T~machine::Word",
|
"T~machine.Word",
|
||||||
],
|
],
|
||||||
vec![],
|
vec![],
|
||||||
);
|
);
|
||||||
|
|
Loading…
Reference in a new issue