Changes between Version 3 and Version 4 of NegativeSyntax
 Timestamp:
 Dec 5, 2005 12:53:59 PM (10 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

NegativeSyntax
v3 v4 9 9 * people can use 'negate' if they want to negate non literals. 10 10 * the removal of n + k patterns will make this more attractive 11 12 Cons 13 14 * This does introduce a syntactic oddity, namely that {{{1}}} is different from {{{ 1}}}. 15 16 * In Haskell 98, '' is explicitly excluded from right sections, so: 17 18 {{{ 19 Prelude> :t ( 1) 20 ( 1) :: (Num a) => a 21 Prelude> :t (1 ) 22 (1 ) :: (Num a) => a > a 23 }}} 24 25 If we removed special treatment of '', then these become symmetrical again. However it seems unintuitive that {{{(x)}}} is a right section of '', but {{{(1)}}} is the literal 1.