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)