On Tue, Sep 23, 2014 at 11:49 PM, Brandon Allbery <allbery.b@gmail.com> wrote:
(The 1 is parsed as Integer by the compiler in all three cases, but the resulting AST is (fromIntegral 1) in all three cases.)

Actually, to be pedantic, it's fromInteger and the resulting AST node is something like

    ((fromInteger :: Num a => Integer -> a) (1 :: Integer))

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net