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

assert rational(3) as true in tests/builtins.pl

Browse Source
This commit is contained in:
Mark Thom
2025-12-07 15:15:18 -08:00
parent 4e8f338870
commit 16dc10ee96
2 changed files with 12 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
src/codegen.rs
View File

@@ -639,7 +639,10 @@ impl CodeGenerator {
} }
}, },
InlinedClauseType::IsRational(..) => match terms[0] { InlinedClauseType::IsRational(..) => match terms[0] {
Term::Literal(_, Literal::Rational(_)) => { Term::Literal(
_,
Literal::Rational(_) | Literal::Fixnum(_) | Literal::Integer(_),
) => {
instr!("$succeed") instr!("$succeed")
} }
Term::Var(ref vr, ref name) => { Term::Var(ref vr, ref name) => {
@@ -679,10 +682,13 @@ impl CodeGenerator {
} }
}, },
InlinedClauseType::IsNumber(..) => match terms[0] { InlinedClauseType::IsNumber(..) => match terms[0] {
Term::Literal(_, Literal::F64(..)) Term::Literal(
| Term::Literal(_, Literal::Rational(_)) _,
| Term::Literal(_, Literal::Integer(_)) Literal::F64(..)
| Term::Literal(_, Literal::Fixnum(_)) => { | Literal::Rational(_)
| Literal::Integer(_)
| Literal::Fixnum(_),
) => {
instr!("$succeed") instr!("$succeed")
} }
Term::Var(ref vr, ref name) => { Term::Var(ref vr, ref name) => {

2
src/tests/builtins.pl
View File

@@ -46,7 +46,7 @@ test_queries_on_builtins :-
\+ float([1,2,_]), \+ float([1,2,_]),
\+ (X is 3 rdiv 4, float(X)), \+ (X is 3 rdiv 4, float(X)),
\+ \+ (X is 3 rdiv 4, rational(X)), \+ \+ (X is 3 rdiv 4, rational(X)),
\+ rational(3), rational(3),
\+ rational(f(_)), \+ rational(f(_)),
\+ rational("sdfa"), \+ rational("sdfa"),
\+ rational(atom), \+ rational(atom),