﻿id summary reporter owner description type status priority milestone component version resolution keywords cc os architecture failure difficulty testcase blockedby blocking related 5032 putting left equation sides in parantheses causes GHC.Prim.Any specialization jeltsch "I put this code into a file: {{{ identity : a -> a (identity) = id }}} I get this error message: {{{ Inferred type is less polymorphic than expected Quantified type variable `a' escapes In the expression: id In a pattern binding: (identity) = id }}} This may be correct, I don’t know. However, I can also do this: {{{ (identity) = id }}} GHCi accepts this. If I enter {{{:type identity}}} into GHCi, I get this: {{{ identity :: GHC.Prim.Any -> GHC.Prim.Any }}} This seems weird, in my opinion. This is also accepted by GHCi: {{{ (identity) = id hello = identity ""hello"" }}} Evaluating {{{hello}}} yields {{{""hello""}}}, and {{{:type identity}}} yields this: {{{ identity :: [Char] -> [Char] }}}" bug closed normal Compiler 6.12.1 wontfix Linux x86_64 (amd64) None/Unknown typecheck/should_compile/T5032