Re: What is a punctuation character?

2012-03-20 Thread Gabriel Dos Reis
On Tue, Mar 20, 2012 at 5:37 PM, Iavor Diatchki wrote: > Hello, > > So I looked at what GHC does with Unicode and to me it is seems quite > reasonable: > > * The alphabet is Unicode code points, so a valid Haskell program is > simply a list of those. > * Combining characters are not allowed in ide

Re: What is a punctuation character?

2012-03-20 Thread Iavor Diatchki
Hello, So I looked at what GHC does with Unicode and to me it is seems quite reasonable: * The alphabet is Unicode code points, so a valid Haskell program is simply a list of those. * Combining characters are not allowed in identifiers, so no need for complex normalization rules: programs should

Re: What is a punctuation character?

2012-03-19 Thread Colin Paul Adams
Iavor> report? My understanding is that the intention is that the Iavor> alphabet is unicode codepoints (sometimes referred to as Iavor> unicode characters). Unicode characters are not the same as Unicode codepoints. What we want is Unicode characters. We don't want to be able to w

Re: What is a punctuation character?

2012-03-19 Thread Gabriel Dos Reis
On Mon, Mar 19, 2012 at 5:36 AM, Brandon Allbery wrote: > On Mon, Mar 19, 2012 at 05:56, Gabriel Dos Reis > wrote: >> >> The fact that the Report is silent about encoding used to >> represent concrete Haskell programs in text files adds >> a certain level of non-portability (and confusion.)  I fo

Re: What is a punctuation character?

2012-03-19 Thread Brandon Allbery
On Mon, Mar 19, 2012 at 05:56, Gabriel Dos Reis < g...@integrable-solutions.net> wrote: > The fact that the Report is silent about encoding used to > represent concrete Haskell programs in text files adds > a certain level of non-portability (and confusion.) I found > Specifying the encoding can

Re: What is a punctuation character?

2012-03-19 Thread Gabriel Dos Reis
On Mon, Mar 19, 2012 at 4:34 AM, Simon Marlow wrote: >> On Fri, Mar 16, 2012 at 6:49 PM, Ian Lynagh wrote: >> > Hi Gaby, >> > >> > On Fri, Mar 16, 2012 at 06:29:24PM -0500, Gabriel Dos Reis wrote: >> >> >> >> OK, thanks!  I guess a take away from this discussion is that what is >> >> a punctuatio

RE: What is a punctuation character?

2012-03-19 Thread Simon Marlow
> On Fri, Mar 16, 2012 at 6:49 PM, Ian Lynagh wrote: > > Hi Gaby, > > > > On Fri, Mar 16, 2012 at 06:29:24PM -0500, Gabriel Dos Reis wrote: > >> > >> OK, thanks!  I guess a take away from this discussion is that what is > >> a punctuation is far less well defined than it appears... > > > > I'm not

Re: What is a punctuation character?

2012-03-17 Thread Gabriel Dos Reis
On Fri, Mar 16, 2012 at 6:49 PM, Ian Lynagh wrote: > Hi Gaby, > > On Fri, Mar 16, 2012 at 06:29:24PM -0500, Gabriel Dos Reis wrote: >> >> OK, thanks!  I guess a take away from this discussion is that what >> is a punctuation is far less well defined than it appears... > > I'm not really sure what

Re: What is a punctuation character?

2012-03-16 Thread Iavor Diatchki
Hello, I am also not an expert but I got curious and did a bit of Wikipedia reading. Based on what I understood, here are two (related) questions that it might be nice to clarify in a future version of the report: 1. What is the alphabet used by the grammar in the Haskell report? My understandin

Re: What is a punctuation character?

2012-03-16 Thread Ian Lynagh
Hi Gaby, On Fri, Mar 16, 2012 at 06:29:24PM -0500, Gabriel Dos Reis wrote: > > OK, thanks! I guess a take away from this discussion is that what > is a punctuation is far less well defined than it appears... I'm not really sure what you're asking. Haskell's uniSymbol includes all Unicode chara

Re: What is a punctuation character?

2012-03-16 Thread Gabriel Dos Reis
On Fri, Mar 16, 2012 at 6:00 PM, Malcolm Wallace wrote: >>> no purpose to a completely overlapping category unless it is intended to >>> relate to an earlier standard (say Haskell 1.4). > > I believe all Haskell Reports, even since 1.0, have specified that the > language "uses" Unicode.  If it he

Re: What is a punctuation character?

2012-03-16 Thread Malcolm Wallace
>> no purpose to a completely overlapping category unless it is intended to >> relate to an earlier standard (say Haskell 1.4). I believe all Haskell Reports, even since 1.0, have specified that the language "uses" Unicode. If it helps to bring perspective to this discussion, it is my impressio

Re: What is a punctuation character?

2012-03-16 Thread Gabriel Dos Reis
On Fri, Mar 16, 2012 at 3:22 PM, Brandon Allbery wrote: > On Fri, Mar 16, 2012 at 15:20, Gabriel Dos Reis > wrote: >> >> I believe this part has seen very little change from the Revised >> Haskell 98 Report. > > > I was in fact looking at the Haskell 98 report at the time. > >> >> It is not clear

Re: What is a punctuation character?

2012-03-16 Thread Brandon Allbery
On Fri, Mar 16, 2012 at 15:20, Gabriel Dos Reis < g...@integrable-solutions.net> wrote: > I believe this part has seen very little change from the Revised > Haskell 98 Report. > I was in fact looking at the Haskell 98 report at the time. > It is not clear that it is an unintended leftover. Sec

Re: What is a punctuation character?

2012-03-16 Thread Gabriel Dos Reis
On Fri, Mar 16, 2012 at 1:49 PM, Brandon Allbery wrote: > On Fri, Mar 16, 2012 at 14:30, Gabriel Dos Reis > wrote: >> >> It is not clear what "the language's lexemes are defined in terms of >> Unicode properties" >> really means.  Why would you need ascSmall (and similar ASCII >> character catego

Re: What is a punctuation character?

2012-03-16 Thread Brandon Allbery
On Fri, Mar 16, 2012 at 14:30, Gabriel Dos Reis < g...@integrable-solutions.net> wrote: > It is not clear what "the language's lexemes are defined in terms of > Unicode properties" > really means. Why would you need ascSmall (and similar ASCII > character categories) then > when you already have

Re: What is a punctuation character?

2012-03-16 Thread Gabriel Dos Reis
On Fri, Mar 16, 2012 at 1:18 PM, Brandon Allbery wrote: > On Fri, Mar 16, 2012 at 14:08, Gabriel Dos Reis > wrote: >> >> The lexical structure chapter defines the non-terminal uniSymbol as >> >>     uniSymbol ::= any Unicode symbol or punctuation >> >> There is a slight ambiguity here: is that de

Re: What is a punctuation character?

2012-03-16 Thread Brandon Allbery
On Fri, Mar 16, 2012 at 14:08, Gabriel Dos Reis < g...@integrable-solutions.net> wrote: > The lexical structure chapter defines the non-terminal uniSymbol as > > uniSymbol ::= any Unicode symbol or punctuation > > There is a slight ambiguity here: is that description supposed to > be parsed as