UID constrained to int, good time to refactor?

Gene <[email protected]>
Newsgroups gmane.comp.java.keel.devel
Message-ID <[email protected]>
During this time of change with the build system, I'd like to bring up 
again the fact that the User ID from the DefaultEnvironment is defined 
as an int.  In my case at least, it is a problem, and I've modified all 
the keel core code that references it to handle a string (locally). 
Works great, and works with int's as well.  Would this be a good time to 
update the changes?  Is there ever going to be a good time for this?  A 
single sign on authentication service comes to mind that would require a 
change like this.

I've not switched to the new build system yet(looks awesome btw), as it 
would break my project, and wanted to test the waters on this again.

thanks for listening,
gene
http://keelframework.org/documentation.shtml
Keelgroup mailing list
[email protected]
http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.