コミット履歴

作者 SHA1 メッセージ 日付
  Andreas Abel ca3f66da8d [ #3732 ] remove Treeless output; differs now between MAlonzo and JA 5 年 前
  Andreas Abel 53de225445 [ fixed #3732 ] GHC backend: No erasure for types with a COMPILE binding 5 年 前
  Ulf Norell 4f1270097e [ treeless ] detect (and erase) unused arguments that appear in unused lets 7 年 前
  Ulf Norell ec8f897e44 [ debug ] pretty print unused treeless bindings as '_' 7 年 前
  Ulf Norell f0e8c05598 [ treeless ] erase function (or constructor) arguments based on their types 8 年 前
  Ulf Norell 9aef611184 [ treeless ] erase obviously unreachable catch all cases 8 年 前
  Ulf Norell 5685f07d19 [ treeless ] don't print unreachable catch-all clauses 8 年 前
  Ulf Norell d470588433 [ treeless ] restore @-patterns in treeless 8 年 前