| Type | Bug | Status | built | Date | 17-Feb-2011 07:21 |
|---|---|---|---|---|---|
| Version | alpha 110 | Category | Syntax | Submitted by | BrianH |
| Platform | All | Severity | minor | Priority | normal |
| Summary | Multiple leading / are ignored in refinement syntax |
|---|---|
| Description |
If you have a single / before one of the standard word start characters it recognizes as a refinement (except in erroneous cases). However, if you have multiple leading / characters then it recognizes as the same refinement, and the other leading / characters are ignored. This shouldn't happen. The case of multiple leading slashes should trigger a syntax error, just in case we decide to give it meaning in the future (new datatype perhaps). |
| Example code |
>> ////a == /a |
| Assigned to | n/a | Fixed in | 2.101.0 | Last Update | 13-Dec-2012 09:39 |
|---|
| Comments | |
|---|---|
|
(0003257)
abolka 13-Dec-2012 02:12 |
Fixed in the 101.0 (08eb7e84cd) open source release, leads to a syntax error now. |
| Date | User | Field | Action | Change |
|---|---|---|---|---|
| 13-Dec-2012 09:39 | BrianH | Fixedin | Modified | alpha 112 => 2.101.0 |
| 13-Dec-2012 02:12 | abolka | Comment : 0003257 | Modified | - |
| 13-Dec-2012 02:12 | abolka | Comment : 0003257 | Added | - |
| 21-Mar-2011 02:15 | carl | Fixedin | Modified | => alpha 112 |
| 21-Mar-2011 02:15 | carl | Status | Modified | reviewed => built |
| 21-Mar-2011 01:52 | carl | Description | Modified | - |
| 21-Mar-2011 01:52 | carl | Code | Modified | - |
| 21-Mar-2011 01:52 | carl | Status | Modified | submitted => reviewed |
| 17-Feb-2011 07:21 | BrianH | Ticket | Added | - |