Summary
- for generated Haskell code, never use let-binds with pattern matching: irrefutable patterns destroy partial correctness
- early abort on depth limit
- obsolete
- tuned
The file was modified | src/Tools/Code/code_haskell.ML (diff) |
The file was modified | src/Tools/Code/code_thingol.ML (diff) |
The file was modified | src/HOL/Quickcheck_Narrowing.thy (diff) |
The file was modified | src/HOL/Quickcheck_Narrowing.thy (diff) |
The file was modified | src/HOL/Quickcheck_Narrowing.thy (diff) |