# HG changeset patch # User Mike Pavone # Date 1376206654 25200 # Node ID 1cadb591eef1c4504ee904eb21c60e411e0cf43a # Parent 1dcf26c070fe5f675a3d8a2d4088985550cf40fc Fix bug that was causing the solver to not find certain matches diff -r 1dcf26c070fe -r 1cadb591eef1 src/solver.tp --- a/src/solver.tp Sat Aug 10 23:35:05 2013 -0700 +++ b/src/solver.tp Sun Aug 11 00:37:34 2013 -0700 @@ -89,6 +89,10 @@ } } } + } else: { + if: _hasFirst? { + res append: _first + } } res } @@ -139,6 +143,10 @@ matches <- info findMatches: (resp outputs) at: 0 noSuccess <- true cur <- 0 + if: (matches length) = 0 { + print: "No matches? :(\n" + print: info + } while: { noSuccess && cur < (matches length) } do: { prog root!: (matches get: cur) gresp <- (requests guess: progId (string: prog)) sendWithKey: authKey