From 09049e97d635cfc75c70047ecaa4e164d4c0eac3 Mon Sep 17 00:00:00 2001 From: Yutaka Ichibangase Date: Sat, 18 Jun 2022 09:10:38 +0900 Subject: [PATCH] handling of minus is fixed --- interpreter_test.go | 2 -- 1 file changed, 2 deletions(-) diff --git a/interpreter_test.go b/interpreter_test.go index b3175a20..077dd006 100644 --- a/interpreter_test.go +++ b/interpreter_test.go @@ -119,10 +119,8 @@ func TestNew(t *testing.T) { assert.NoError(t, p.QuerySolution(`catch(length(L,1.0e99), error(type_error(integer,1.0e99), _), true).`).Err()) assert.Equal(t, ErrNoSolutions, p.QuerySolution(`N is 2^52, length([], N).`).Err()) assert.NoError(t, p.QuerySolution(`catch(length([],0+0), error(type_error(integer,0+0), _), true).`).Err()) - /* TODO: fix handling of minus https://github.com/ichiban/prolog/issues/210 assert.NoError(t, p.QuerySolution(`catch(length([],-_), error(type_error(integer,-_), _), true).`).Err()) assert.NoError(t, p.QuerySolution(`catch(length([a],-_), error(type_error(integer,-_), _), true).`).Err()) - */ assert.NoError(t, p.QuerySolution(`catch(length([a,b|X],X), error(resource_error(finite_memory), _), true).`).Err()) assert.NoError(t, p.QuerySolution(`catch(length(L,L), error(resource_error(finite_memory), _), true).`).Err()) assert.NoError(t, p.QuerySolution(`catch((L = [_|_], length(L,L)), error(type_error(integer,[_|_]), _), true).`).Err())