chr updates

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2151 b08c6af1-5177-4d33-ba66-4b1c6b8b522a

LGPL/chr/chr_compiler_options.pl

@@ -1,4 +1,4 @@
-/*  $Id: chr_compiler_options.pl,v 1.3 2008-03-13 14:37:59 vsc Exp $
+/*  $Id: chr_compiler_options.pl,v 1.4 2008-03-13 22:37:07 vsc Exp $
 
     Part of CHR (Constraint Handling Rules)
 
@@ -338,7 +338,7 @@ chr_pp_flag_definition(toplevel_show_store,[on,off]).
 chr_pp_flag_definition(term_indexing,[off,on]).
 chr_pp_flag_definition(verbosity,[on,off]).
 chr_pp_flag_definition(ht_removal,[off,on]).
-chr_pp_flag_definition(mixed_stores,[off,on]).
+chr_pp_flag_definition(mixed_stores,[on,off]).
 chr_pp_flag_definition(line_numbers,[off,on]).
 chr_pp_flag_definition(dynattr,[off,on]).
 chr_pp_flag_definition(experiment,[off,on]).

LGPL/chr/chr_translate_bootstrap1.chr

@@ -14,7 +14,6 @@
 :- style_check(- (discontiguous)).
 :- use_module(library(lists),
 	      [ append/3,
-	        append/2,
 		member/2,
 		permutation/2,
 		reverse/2

LGPL/chr/chr_translate_bootstrap2.chr

@@ -1,4 +1,4 @@
-/*  $Id: chr_translate_bootstrap2.chr,v 1.4 2008-03-13 17:43:13 vsc Exp $
+/*  $Id: chr_translate_bootstrap2.chr,v 1.5 2008-03-13 22:37:07 vsc Exp $
 
     Part of CHR (Constraint Handling Rules)
 
@@ -113,7 +113,7 @@
 	  [ chr_translate/2		% +Decls, -TranslatedDecls
 	  ]).
 %% SWI begin
-:- use_module(library(lists),[append/3,append/2,member/2,delete/3,reverse/2,permutation/2,min_list/2]).
+:- use_module(library(lists),[append/3,append/2,member/2,delete/3,reverse/2,permutation/2]).
 :- use_module(library(ordsets)).
 %% SWI end
 

LGPL/chr/hprolog.pl

@@ -22,7 +22,7 @@
 	    ds_to_list/2,
 	    get_ds/3,
 	    put_ds/4
-	    
+%	    lookup_ht1/4
 	  ]).
 :- use_module(library(lists)).
 :- use_module(library(assoc)).
@@ -75,6 +75,7 @@ memberchk_eq(X, [Y|Ys]) :-
    ;   memberchk_eq(X, Ys)
    ).
 
+% :- load_foreign_library(chr_support).
 
 %	list_difference_eq(+List, -Subtract, -Rest)
 %