diff options
| author | krasimir <krasimir@chalmers.se> | 2010-10-02 13:34:58 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-10-02 13:34:58 +0000 |
| commit | 72002446058c8382029b7a02ee00cb0143f64ae6 (patch) | |
| tree | 03052ee16d4631c108aafd92aed3d27846bead9a /src/compiler/GF/Compile.hs | |
| parent | cb8795c222ae86e4561e1009c382fe0b87e22b62 (diff) | |
backtracking for random generation is not enough. we must restart the search after each solution
Diffstat (limited to 'src/compiler/GF/Compile.hs')
0 files changed, 0 insertions, 0 deletions