From 9ac12f9198f5006804250a8e3a625c2699930cc8 Mon Sep 17 00:00:00 2001 From: ccremers Date: Thu, 14 Oct 2004 14:33:22 +0000 Subject: [PATCH] - More serious problem found. --- src/todo.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/todo.txt b/src/todo.txt index cd89635..efa5928 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -4,6 +4,8 @@ problem with branching. We should not look for PK(X), even if X is a variable. Priority should go to keys of which the constructor is not in M_0, maybe that heuristic works. + However, there seems to be an infinite loop for this in the algorithm, which + I did not anticipate. Investigate! - Make different error codes for compilation error/ other error. This can be useful for scripts. However, it might shift some constants for the Elegast scripts.