rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

change CPU_now to CpuNow

Browse Source
This commit is contained in:
Mark Thom
2020-04-20 10:37:00 -06:00
parent 9d1c026231
commit ee425bb7f0
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/prolog/clause_types.rs
View File

@@ -241,7 +241,7 @@ pub enum SystemClauseType {
GetDoubleQuotes, GetDoubleQuotes,
InstallNewBlock, InstallNewBlock,
Maybe, Maybe,
CPU_now, CpuNow,
QuotedToken, QuotedToken,
ReadTermFromChars, ReadTermFromChars,
ResetBlock, ResetBlock,
@@ -349,7 +349,7 @@ impl SystemClauseType {
&SystemClauseType::PartialStringTail => clause_name!("$partial_string_tail"), &SystemClauseType::PartialStringTail => clause_name!("$partial_string_tail"),
&SystemClauseType::LiftedHeapLength => clause_name!("$lh_length"), &SystemClauseType::LiftedHeapLength => clause_name!("$lh_length"),
&SystemClauseType::Maybe => clause_name!("maybe"), &SystemClauseType::Maybe => clause_name!("maybe"),
&SystemClauseType::CPU_now => clause_name!("$cpu_now"), &SystemClauseType::CpuNow => clause_name!("$cpu_now"),
&SystemClauseType::ModuleAssertDynamicPredicateToFront => { &SystemClauseType::ModuleAssertDynamicPredicateToFront => {
clause_name!("$module_asserta") clause_name!("$module_asserta")
} }
@@ -484,7 +484,7 @@ impl SystemClauseType {
("$install_inference_counter", 3) => Some(SystemClauseType::InstallInferenceCounter), ("$install_inference_counter", 3) => Some(SystemClauseType::InstallInferenceCounter),
("$lh_length", 1) => Some(SystemClauseType::LiftedHeapLength), ("$lh_length", 1) => Some(SystemClauseType::LiftedHeapLength),
("$maybe", 0) => Some(SystemClauseType::Maybe), ("$maybe", 0) => Some(SystemClauseType::Maybe),
("$cpu_now", 1) => Some(SystemClauseType::CPU_now), ("$cpu_now", 1) => Some(SystemClauseType::CpuNow),
("$module_exists", 1) => Some(SystemClauseType::ModuleExists), ("$module_exists", 1) => Some(SystemClauseType::ModuleExists),
("$module_of", 2) => Some(SystemClauseType::ModuleOf), ("$module_of", 2) => Some(SystemClauseType::ModuleOf),
("$module_retract_clause", 5) => Some(SystemClauseType::ModuleRetractClause), ("$module_retract_clause", 5) => Some(SystemClauseType::ModuleRetractClause),

2
src/prolog/machine/system_calls.rs
View File

@@ -1955,7 +1955,7 @@ impl MachineState {
self.fail = result; self.fail = result;
} }
&SystemClauseType::CPU_now => { &SystemClauseType::CpuNow => {
let a1 = self[temp_v!(1)]; let a1 = self[temp_v!(1)];
let a2 = ProcessTime::now().as_duration().as_secs_f64(); let a2 = ProcessTime::now().as_duration().as_secs_f64();
let addr = self.heap.put_constant(Constant::Float(OrderedFloat(a2))); let addr = self.heap.put_constant(Constant::Float(OrderedFloat(a2)));