diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-06-10 18:28:08 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-06-10 18:28:08 +1000 |
| commit | 198d1649f3e428b47d812726604f2e89b07147ac (patch) | |
| tree | 459a131521c991b733128286c5b11a0a92a1db62 /app | |
| parent | af1204b92d1bd5d535f2950443e219a165dc5310 (diff) | |
Fixing some typechecked "holes"
two "holes"
- Expanded
- ConPat
also added some pprTrace for debugging
Diffstat (limited to 'app')
0 files changed, 0 insertions, 0 deletions