| Type | Note | Status | reviewed | Date | 29-Apr-2010 22:55 |
|---|---|---|---|---|---|
| Version | alpha 97 | Category | Datatype | Submitted by | meijeru |
| Platform | All | Severity | minor | Priority | normal |
| Summary | Object that is context of module admits SPEC-OF, this yields module header |
|---|---|
| Description | See code -- in researching this, I have established that the context of a module is physically the same value in the machine as the module itself, only the pointer to it has a different R3 type associated to it. Apparently SPEC-OF does not check the type of its argument. On a normal object it yields none (not an error like "cannot take spec of object"). |
| Example code |
>> m: module [][a: 1]
>> b: bind? in m 'a
== make object! [a: 1]
>> type? b
== object!
>> spec-of b
== make object! [
title: "Untitled"
name: none
type: 'module
version: none
date: none
file: none
author: none
needs: none
exports: none
content: none
]
>> spec-of make object! [a: 1]
== none
|
| Assigned to | n/a | Fixed in | - | Last Update | 1-Nov-2010 20:01 |
|---|
| Comments | |
|---|---|
|
(0002279)
BrianH 30-Apr-2010 04:50 |
This may be a preview of the proposal to have MAKE object! syntax changed to include a header, similar to module specs but more restricted. |
|
(0002281)
meijeru 30-Apr-2010 15:56 |
The thought crossed my mind... In the implementation, this facility costs nothing sofar. |
|
(0002736)
BrianH 1-Nov-2010 20:01 |
Let's call it a feature. Modules will want to refer to their own header at times. |
| Date | User | Field | Action | Change |
|---|---|---|---|---|
| 1-Nov-2010 20:01 | BrianH | Comment : 0002736 | Added | - |
| 1-Nov-2010 20:00 | BrianH | Status | Modified | waiting => reviewed |
| 1-Nov-2010 20:00 | BrianH | Type | Modified | Issue => Note |
| 4-May-2010 20:45 | carl | Status | Modified | submitted => waiting |
| 30-Apr-2010 15:56 | meijeru | Comment : 0002281 | Added | - |
| 30-Apr-2010 04:50 | BrianH | Comment : 0002279 | Added | - |
| 29-Apr-2010 22:56 | meijeru | Code | Modified | - |
| 29-Apr-2010 22:56 | meijeru | Type | Modified | Bug => Issue |
| 29-Apr-2010 22:55 | meijeru | Ticket | Added | - |