target prolog_parser_rebis on crates.io
This commit is contained in:
6
Cargo.lock
generated
6
Cargo.lock
generated
@@ -878,8 +878,10 @@ dependencies = [
|
|||||||
]
|
]
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "prolog_parser"
|
name = "prolog_parser_rebis"
|
||||||
version = "0.8.68"
|
version = "0.8.68"
|
||||||
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
|
checksum = "f52213fbb212208bf9e80c6d34bbfeb9ebef4dca28462f034e195e073e79c334"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"lexical",
|
"lexical",
|
||||||
"num-rug-adapter",
|
"num-rug-adapter",
|
||||||
@@ -1221,7 +1223,7 @@ dependencies = [
|
|||||||
"num-rug-adapter",
|
"num-rug-adapter",
|
||||||
"openssl",
|
"openssl",
|
||||||
"ordered-float",
|
"ordered-float",
|
||||||
"prolog_parser",
|
"prolog_parser_rebis",
|
||||||
"ref_thread_local",
|
"ref_thread_local",
|
||||||
"ring",
|
"ring",
|
||||||
"ripemd160",
|
"ripemd160",
|
||||||
|
|||||||
@@ -15,8 +15,8 @@ build = "build.rs"
|
|||||||
indexmap = "1.0.2"
|
indexmap = "1.0.2"
|
||||||
|
|
||||||
[features]
|
[features]
|
||||||
default = ["rug", "prolog_parser/rug"]
|
default = ["rug", "prolog_parser_rebis/rug"]
|
||||||
num = ["num-rug-adapter", "prolog_parser/num"]
|
num = ["num-rug-adapter", "prolog_parser_rebis/num"]
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
cpu-time = "1.0.0"
|
cpu-time = "1.0.0"
|
||||||
@@ -32,7 +32,7 @@ libc = "0.2.62"
|
|||||||
nix = "0.15.0"
|
nix = "0.15.0"
|
||||||
num-rug-adapter = { optional = true, version = "0.1.4" }
|
num-rug-adapter = { optional = true, version = "0.1.4" }
|
||||||
ordered-float = "0.5.0"
|
ordered-float = "0.5.0"
|
||||||
prolog_parser = { version = "0.8.63", path = "../prolog_parser", default-features = false }
|
prolog_parser_rebis = { version = "0.8.68", default-features = false }
|
||||||
ref_thread_local = "0.0.0"
|
ref_thread_local = "0.0.0"
|
||||||
rug = { version = "1.4.0", optional = true }
|
rug = { version = "1.4.0", optional = true }
|
||||||
rustyline = "7.0.0"
|
rustyline = "7.0.0"
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::fixtures::*;
|
use crate::fixtures::*;
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::clause_types::*;
|
use crate::clause_types::*;
|
||||||
use crate::fixtures::*;
|
use crate::fixtures::*;
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::forms::Number;
|
use crate::forms::Number;
|
||||||
use crate::machine::machine_indices::*;
|
use crate::machine::machine_indices::*;
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
/// Code generation to WAM-like instructions.
|
/// Code generation to WAM-like instructions.
|
||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
use crate::prolog_parser::tabled_rc::TabledData;
|
use crate::prolog_parser_rebis::tabled_rc::TabledData;
|
||||||
|
|
||||||
use crate::allocator::*;
|
use crate::allocator::*;
|
||||||
use crate::arithmetic::*;
|
use crate::arithmetic::*;
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
use crate::indexmap::IndexMap;
|
use crate::indexmap::IndexMap;
|
||||||
|
|
||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::allocator::*;
|
use crate::allocator::*;
|
||||||
use crate::fixtures::*;
|
use crate::fixtures::*;
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
use crate::instructions::*;
|
use crate::instructions::*;
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
use crate::prolog_parser::parser::OpDesc;
|
use crate::prolog_parser_rebis::parser::OpDesc;
|
||||||
|
|
||||||
use crate::clause_types::*;
|
use crate::clause_types::*;
|
||||||
use crate::machine::machine_errors::*;
|
use crate::machine::machine_errors::*;
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::clause_types::*;
|
use crate::clause_types::*;
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
use crate::prolog_parser::tabled_rc::*;
|
use crate::prolog_parser_rebis::tabled_rc::*;
|
||||||
|
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
use crate::instructions::*;
|
use crate::instructions::*;
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::clause_types::*;
|
use crate::clause_types::*;
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::clause_types::*;
|
use crate::clause_types::*;
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
use crate::divrem::*;
|
use crate::divrem::*;
|
||||||
|
|
||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::arithmetic::*;
|
use crate::arithmetic::*;
|
||||||
use crate::clause_types::*;
|
use crate::clause_types::*;
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
use core::marker::PhantomData;
|
use core::marker::PhantomData;
|
||||||
|
|
||||||
use crate::prolog_parser::ast::Constant;
|
use crate::prolog_parser_rebis::ast::Constant;
|
||||||
|
|
||||||
use crate::machine::machine_indices::*;
|
use crate::machine::machine_indices::*;
|
||||||
use crate::machine::partial_string::*;
|
use crate::machine::partial_string::*;
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
use prolog_parser::ast::*;
|
use prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
use crate::indexing::*;
|
use crate::indexing::*;
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::forms::{ModuleSource, Number}; //, PredicateKey};
|
use crate::forms::{ModuleSource, Number}; //, PredicateKey};
|
||||||
use crate::machine::heap::*;
|
use crate::machine::heap::*;
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::clause_types::*;
|
use crate::clause_types::*;
|
||||||
use crate::fixtures::*;
|
use crate::fixtures::*;
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
use crate::prolog_parser::tabled_rc::*;
|
use crate::prolog_parser_rebis::tabled_rc::*;
|
||||||
|
|
||||||
use crate::clause_types::*;
|
use crate::clause_types::*;
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
use crate::prolog_parser::tabled_rc::*;
|
use crate::prolog_parser_rebis::tabled_rc::*;
|
||||||
|
|
||||||
use crate::clause_types::*;
|
use crate::clause_types::*;
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
use crate::prolog_parser::tabled_rc::*;
|
use crate::prolog_parser_rebis::tabled_rc::*;
|
||||||
|
|
||||||
use crate::clause_types::*;
|
use crate::clause_types::*;
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
use crate::prolog_parser::tabled_rc::*;
|
use crate::prolog_parser_rebis::tabled_rc::*;
|
||||||
|
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
use crate::iterators::*;
|
use crate::iterators::*;
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::read::PrologStream;
|
use crate::read::PrologStream;
|
||||||
use crate::read::readline::*;
|
use crate::read::readline::*;
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
use crate::prolog_parser::parser::*;
|
use crate::prolog_parser_rebis::parser::*;
|
||||||
use crate::prolog_parser::tabled_rc::*;
|
use crate::prolog_parser_rebis::tabled_rc::*;
|
||||||
|
|
||||||
use crate::clause_types::*;
|
use crate::clause_types::*;
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
use crate::prolog_parser::parser::*;
|
use crate::prolog_parser_rebis::parser::*;
|
||||||
|
|
||||||
use crate::machine::*;
|
use crate::machine::*;
|
||||||
use crate::machine::machine_errors::CompilationError;
|
use crate::machine::machine_errors::CompilationError;
|
||||||
|
|||||||
@@ -16,7 +16,7 @@ extern crate nix;
|
|||||||
extern crate openssl;
|
extern crate openssl;
|
||||||
extern crate ordered_float;
|
extern crate ordered_float;
|
||||||
#[macro_use]
|
#[macro_use]
|
||||||
extern crate prolog_parser;
|
extern crate prolog_parser_rebis;
|
||||||
#[macro_use]
|
#[macro_use]
|
||||||
extern crate ref_thread_local;
|
extern crate ref_thread_local;
|
||||||
extern crate ring;
|
extern crate ring;
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
use crate::prolog_parser::parser::*;
|
use crate::prolog_parser_rebis::parser::*;
|
||||||
use crate::prolog_parser::tabled_rc::TabledData;
|
use crate::prolog_parser_rebis::tabled_rc::TabledData;
|
||||||
|
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
use crate::iterators::*;
|
use crate::iterators::*;
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
use crate::prolog_parser::ast::*;
|
use crate::prolog_parser_rebis::ast::*;
|
||||||
|
|
||||||
use crate::clause_types::*;
|
use crate::clause_types::*;
|
||||||
use crate::forms::*;
|
use crate::forms::*;
|
||||||
|
|||||||
Reference in New Issue
Block a user