Haskell-prime

Download

haskell-prime@haskell.org

September 2007

5 participants
2 discussions

Consistency of reserved operators and bang patterns
by Twan van Laarhoven 28 Sep '07

28 Sep '07

The bang pattern proposal [1] still allows (!) to be used as an operator. I think there should be no difference in this regard between ! and ~, since they are used in exactly the same location. In my opinion the best thing would be to allow (~) and (@) as operators. With the same restriction on definition as (!), i.e. they must be defined in function style, not as an operator. The change to the syntax would be to remove @ and ~ from the reserved operators list [2], reservedop -> .. | : | :: | = | \ | | | <- | -> | @ | ~ | => making it reservedop -> .. | : | :: | = | \ | | | <- | -> | => Oh, and while we are at it, I think (:) should also be removed as a reservedop, there is no reason for it to be on that list. Twan [1] Bang Patterns, Haskell-prime wiki http://hackage.haskell.org/trac/haskell-prime/wiki/BangPatterns [2] Haskell 98 report, lexical structure, identifiers and operators http://haskell.org/onlinereport/lexemes.html#sect2.4

4 4

Instances of Read on bounded integral types should detect overflow
by Bryan O'Sullivan 12 Sep '07

12 Sep '07

Here's a pet hobbyhorse of mine. Prelude> read "3333333333333333333333" :: Int -5527344008095509163 Other fixed-width integral types (those in Data.Int and Data.Word) behave similarly. I'd prefer to see the whole lot throw an overflow exception upon detecting a wraparound. I'll be happy to provide a sample implementation. <b

1 0