Should Atom warn about possibly non-total recursive functions?

[justjoheinz]

module Sandbox

total
rec: Int -> Int
rec x = rec $ x + 1

typechecks fine within Atom (Ctrl-Alt-r). However loading the file in the REPL will additionally display Sandbox.rec is possibly not total due to recursive path Sandbox.rec. I think this information should also be made available in Atom as a message after type checking.

[archaeron]

yes. If I can get the information somehow it should. Thanks :)

I don't reall yhave time to do it at the moment, so it might have to wait.