Commit 43fa728a authored by Michael Hanus 's avatar Michael Hanus
Browse files

Implementation adapted to PAKCS 2.2.1

parent 7c515a3c
{
"name": "chr-curry",
"version": "2.0.0",
"version": "2.1.0",
"author": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "A library to use Constraint Handling Rules in Curry programs",
"category": [ "Constraints" ],
"dependencies": {
"base" : ">= 1.0.0, < 2.0.0",
"base" : ">= 1.1.0, < 2.0.0",
"flatcurry" : ">= 2.0.0",
"prolog" : ">= 1.0.0",
"redblacktree" : ">= 0.0.1",
......@@ -17,7 +17,7 @@
"description": "This library an implementation of Constraints Handling
Rules in Curry.",
"compilerCompatibility": {
"pakcs": ">= 2.0.0"
"pakcs": ">= 2.2.1, < 3.0.0"
},
"license": "BSD-3-Clause",
"licenseFile": "LICENSE",
......
<?xml version="1.0" standalone="no"?>
<!DOCTYPE primitives SYSTEM "http://www.informatik.uni-kiel.de/~pakcs/primitives.dtd">
<primitives>
<primitive name="warnSuspendedConstraints" arity="1">
<library>CHR_external</library>
<entry>warnSuspendedConstraints</entry>
</primitive>
</primitives>
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% This program defines primitive operations used in the Curry
% Implementation of primitive operations used in the Curry
% library CHRcompiled.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%:- (current_module(prologbasics) -> true ; use_module('../prologbasics')).
%:- (current_module(basics) -> true ; use_module('../basics')).
:- (prolog(swi) ; (prolog(sicstus),prologMajorVersion(4)))
-> use_module(library('chr/chr_runtime'))
; writeErr('CHR(Prolog) not available with this Prolog version!'),
nlErr.
warnSuspendedConstraints(ShowAll,R) :-
'CHRcompiled.warnSuspendedConstraints'(ShowAll,R) :-
find_chr_constraint(C), !,
write(user_error,'WARNING: residual CHR constraints:'),
writeSuspendedCHRConstraints(ShowAll),
R='Prelude.True'.
warnSuspendedConstraints(_,'Prelude.True').
'CHRcompiled.warnSuspendedConstraints'(_,'Prelude.True').
writeSuspendedCHRConstraints(ShowAll) :-
find_chr_constraint(C), write(user_error,' '), write(user_error,C),
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment