Why we should split off usage analysis from strictness/termination analysis

  • #16284
  • the cases where usage analysis takes long (i.e. needs many iterations to stabilise) seldom overlap with the cases where strictness analysis takes long, but we need to recompute already stable analysis results nonetheless
  • lazy_fv
  • Strictness is better off with LetDown
  • Separation of concerns
Last modified 9 months ago Last modified on Feb 4, 2019 5:19:48 PM