Testing

[cdfa]

• Does shrinking of expressions even work currently?
• Test extended linearization-parsing isomorphism: linearize -> parse = linearize -> parse -> linearize -> parse
• Responsiveness: programming environment takes at most 100ms to respond to input
• Text editor equivalence: insert/delete -> to plain text = to plain text -> insert/delete
• Evaluation results are rendered to text correctly (automatic insertion of parentheses): eval -> linearize -> parse = eval
• Evaluation results are normal forms: eval = eval (-> remove single node construction sites) -> eval
• Evaluation uses call-by-need semantics (test by inspecting output from traces)
• traverseComponents laws (see thesis)
• Validity of custom lens combinators (in Optics.*.Extra)