githwxi/ATS-Postiats — pull request #50 by bbarker (2014-01-19 17:11:25+00:00)
Title: linmap_insert: needs !wrt?

I seem to need this in certain code for it to typecheck.

It seems to make sense that an insert function would require !wrt.

What is more confusing, if I typecheck the relevant example in doc/EXAMPLE/ATSLIB, this seems to be unnecessary.