Hacker News new | ask | show | jobs
by erdeszt 2841 days ago
This one typechecks but loops forever:

  f :: Void -> a
  f _ = let x = x in x