dialyzer: will it ever catch out of bounds errors like this?

[Roger Larsson]

-module(bounds).
-export([wrong/0, harder/1]).

wrong() -> lists:nth(4, [1, 2, 3]).

triple(X) -> lists:duplicate(3, X).
harder(X) -> lists:nth(4, triple(X)).


As wanted in "The Next Mainstream Programming Language"
http://www.st.cs.uni-sb.de/edu/seminare/2005/advanced-fp/docs/sweeny.pdf
(Haskell for Next Generation Games)

/RogerL