Hacking on TypedExprNormalization

[codecov-commenter]

Codecov Report

Attention: 19 lines in your changes are missing coverage. Please review.

Comparison is base (cef4c90) 91.82% compared to head (8ac51de) 91.96%. Report is 1 commits behind head on master.

:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## master #1050 +/- ## ========================================== + Coverage 91.82% 91.96% +0.14% ========================================== Files 93 93 Lines 9626 9726 +100 Branches 2258 2250 -8 ========================================== + Hits 8839 8945 +106 + Misses 787 781 -6 ``` | [Files](https://app.codecov.io/gh/johnynek/bosatsu/pull/1050?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin) | Coverage Δ | | |---|---|---| | [core/src/main/scala/org/bykn/bosatsu/Expr.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1050?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L0V4cHIuc2NhbGE=) | `89.71% <100.00%> (+0.19%)` | :arrow_up: | | [...ore/src/main/scala/org/bykn/bosatsu/ListUtil.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1050?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L0xpc3RVdGlsLnNjYWxh) | `100.00% <100.00%> (ø)` | | | [...src/main/scala/org/bykn/bosatsu/SelfCallKind.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1050?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L1NlbGZDYWxsS2luZC5zY2FsYQ==) | `97.36% <100.00%> (+3.08%)` | :arrow_up: | | [...rc/main/scala/org/bykn/bosatsu/rankn/TypeEnv.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1050?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L3JhbmtuL1R5cGVFbnYuc2NhbGE=) | `95.55% <100.00%> (+0.20%)` | :arrow_up: | | [.../src/main/scala/org/bykn/bosatsu/rankn/Infer.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1050?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L3JhbmtuL0luZmVyLnNjYWxh) | `95.65% <91.66%> (-0.06%)` | :arrow_down: | | [...e/src/main/scala/org/bykn/bosatsu/rankn/Type.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1050?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L3JhbmtuL1R5cGUuc2NhbGE=) | `95.80% <94.73%> (-0.09%)` | :arrow_down: | | [...re/src/main/scala/org/bykn/bosatsu/TypedExpr.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1050?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L1R5cGVkRXhwci5zY2FsYQ==) | `92.32% <92.30%> (+1.93%)` | :arrow_up: | | [...cala/org/bykn/bosatsu/TypedExprNormalization.scala](https://app.codecov.io/gh/johnynek/bosatsu/pull/1050?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin#diff-Y29yZS9zcmMvbWFpbi9zY2FsYS9vcmcvYnlrbi9ib3NhdHN1L1R5cGVkRXhwck5vcm1hbGl6YXRpb24uc2NhbGE=) | `89.56% <85.54%> (-2.07%)` | :arrow_down: | ... and [5 files with indirect coverage changes](https://app.codecov.io/gh/johnynek/bosatsu/pull/1050/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=P.+Oscar+Boykin)

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.