-
Fredrik Wieczerkowski authored
- Fix compilation issues in TestFrontend - Fix some tests that fail with the new data-class - Fix missing Data context when inferring type of partial record constr. - Simplify detection of derivable data instances - Add Data context to (=:=), etc. - Correct comparison of inferred types with type signatures (fixes #43 ) Co-authored-by: Kai-Oliver Prott <kai.prott@hotmail.de>
9e39749b