google-code-export / omega

Automatically exported from code.google.com/p/omega
Other
2 stars 0 forks source link

character 'o' not available as data suffix #63

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
What steps will reproduce the problem?
1. compile this snippet:

data ODU :: * where
  Minimal :: ODU
  Next :: ODU -> ODU
 deriving Nat(o)

2. It does compile, but now enter:
prompt> 0o
"keyboard input" (line 1, column 1) tabs []:
unexpected "0" at: "o..."
expecting: end of input, ":", "let", pattern, or expression

3. Observe the error. This does not happen with other letters.

What is the expected output? What do you see instead?

I would expect:

prompt> 0o
0o : ODU

Please use labels and text to provide additional information.

Omega Interpreter: version 1.4.3
Build Date: Thu Jul 31 23:22:09 Pacific Daylight Time 2008

Original issue reported on code.google.com by ggr...@gmail.com on 18 Jun 2009 at 8:41

GoogleCodeExporter commented 9 years ago
0o01234567 is octal syntax
0x01234567abcdef is hexadecimal syntax

Keys beginning with 'o' and 'x' should be excluded from Nat syntax.

Original comment by ggr...@gmail.com on 3 Jul 2009 at 11:50

GoogleCodeExporter commented 9 years ago

Original comment by ggr...@gmail.com on 4 Jul 2009 at 12:20

GoogleCodeExporter commented 9 years ago
r218

the report string could be factored out still

Original comment by ggr...@gmail.com on 4 Jul 2009 at 12:36