MantisBT - Core Inform
View Issue Details
0000644Core InformKinds and type checkingpublic2011-04-15 15:182014-05-07 07:34
EmacsUser 
graham 
normalseriousalways
closedfixed 
x86Mac OS X10.6
6G60 
6L02 
(serious) Compiler rejects valid code
0000644: Kind from WI 21.1 cannot be used in a let phrase
The attached source provokes this problem message:
- - - -
Problem. In the sentence 'let foo be a phrase (phrase number -> (phrase number -> number)) -> nothing' , I was expecting to read a value, but instead found some text that I couldn't understand - 'a phrase (phrase number -> (phrase number -> number)) -> nothing'.
I was trying to match one of these phrases:

1. let (foo - a new name) be (a phrase ( phrase number -> ( phrase number -> number ) ) -> nothing - description of relations of values to values)
2. let (foo - a new name) be (a phrase ( phrase number -> ( phrase number -> number ) ) -> nothing - name of kind)
3. let (foo - a new name) be (a phrase ( phrase number -> ( phrase number -> number ) ) -> nothing - value)
4. let (foo - a temporary named value) be (a phrase ( phrase number -> ( phrase number -> number ) ) -> nothing - value)
This was what I found out:

foo = something unrecognised
a phrase (phrase number -> (phrase number -> number)) -> nothing = something unrecognised
- - - -

A similar error appears for
- - - -
There is a room.
When play begins:
let foo be a phrase (phrase number -> number) -> nothing.
- - - -
There is a room.
When play begins:
let foo be a phrase (phrase number -> (phrase number -> number)) -> nothing.
No tags attached.
Issue History
2011-04-15 15:18EmacsUserNew Issue
2011-04-23 20:31jmcgrewStatusnew => acknowledged
2011-05-30 22:11jmcgrewStatusacknowledged => confirmed
2011-12-19 17:06grahamNote Added: 0001502
2011-12-19 17:06grahamStatusconfirmed => resolved
2011-12-19 17:06grahamResolutionopen => fixed
2011-12-19 17:06grahamAssigned To => graham
2014-05-07 07:34jmcgrewFixed in Version => 6L02
2014-05-07 07:34jmcgrewStatusresolved => closed

Notes
(0001502)
graham   
2011-12-19 17:06   
Fixed: an error in parsing the name, since this is a perfectly valid kind.