From: Mark Thom Date: Mon, 20 Apr 2020 16:37:00 +0000 (-0600) Subject: change CPU_now to CpuNow X-Git-Tag: v0.8.123~116 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ee425bb7f0625721ffe417b03af6ef6b7b25611b;p=scryer-prolog.git change CPU_now to CpuNow --- diff --git a/src/prolog/clause_types.rs b/src/prolog/clause_types.rs index 98a6d902..c3d79b63 100644 --- a/src/prolog/clause_types.rs +++ b/src/prolog/clause_types.rs @@ -241,7 +241,7 @@ pub enum SystemClauseType { GetDoubleQuotes, InstallNewBlock, Maybe, - CPU_now, + CpuNow, QuotedToken, ReadTermFromChars, ResetBlock, @@ -349,7 +349,7 @@ impl SystemClauseType { &SystemClauseType::PartialStringTail => clause_name!("$partial_string_tail"), &SystemClauseType::LiftedHeapLength => clause_name!("$lh_length"), &SystemClauseType::Maybe => clause_name!("maybe"), - &SystemClauseType::CPU_now => clause_name!("$cpu_now"), + &SystemClauseType::CpuNow => clause_name!("$cpu_now"), &SystemClauseType::ModuleAssertDynamicPredicateToFront => { clause_name!("$module_asserta") } @@ -484,7 +484,7 @@ impl SystemClauseType { ("$install_inference_counter", 3) => Some(SystemClauseType::InstallInferenceCounter), ("$lh_length", 1) => Some(SystemClauseType::LiftedHeapLength), ("$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_of", 2) => Some(SystemClauseType::ModuleOf), ("$module_retract_clause", 5) => Some(SystemClauseType::ModuleRetractClause), diff --git a/src/prolog/machine/system_calls.rs b/src/prolog/machine/system_calls.rs index a9b5688a..63bb8c79 100644 --- a/src/prolog/machine/system_calls.rs +++ b/src/prolog/machine/system_calls.rs @@ -1955,7 +1955,7 @@ impl MachineState { self.fail = result; } - &SystemClauseType::CPU_now => { + &SystemClauseType::CpuNow => { let a1 = self[temp_v!(1)]; let a2 = ProcessTime::now().as_duration().as_secs_f64(); let addr = self.heap.put_constant(Constant::Float(OrderedFloat(a2)));