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

correct read/2 arity to 2 (#1171)

Browse Source
This commit is contained in:
Mark Thom
2022-01-08 00:19:17 -07:00
parent d90cf6384c
commit 2e46aa33c0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
crates/instructions-template/src/lib.rs
View File

@@ -101,7 +101,7 @@ enum BuiltInClauseType {
Is(RegType, ArithmeticTerm), Is(RegType, ArithmeticTerm),
#[strum_discriminants(strum(props(Arity = "2", Name = "keysort")))] #[strum_discriminants(strum(props(Arity = "2", Name = "keysort")))]
KeySort, KeySort,
#[strum_discriminants(strum(props(Arity = "1", Name = "read")))] #[strum_discriminants(strum(props(Arity = "2", Name = "read")))]
Read, Read,
#[strum_discriminants(strum(props(Arity = "2", Name = "sort")))] #[strum_discriminants(strum(props(Arity = "2", Name = "sort")))]
Sort, Sort,