Re: [racket-users] on "module: identifier already imported from a different source"

2015-06-30 Thread Matthias Felleisen
On Jun 30, 2015, at 8:23 AM, Daniel Bastos wrote: > At some point I should move to full-fledged Racket. I suppose after > HtDP I should read another book. Perhaps Realm of Racket? When you have mastered a good part of HtDP, you should move on to Realm. -- Matthias -- You received this messa

Re: [racket-users] on "module: identifier already imported from a different source"

2015-06-30 Thread Philip Blair
I don't believe there is a way to do what you are looking to do within ISL+. To import *just* those two things in full-fledged Racket, one would do (you may or may not already know this): (require (only-in math/number-theory factorize)) (require (only-in racket/list remove-duplicates)) The prob

Re: [racket-users] on "module: identifier already imported from a different source"

2015-06-30 Thread Jens Axel Søgaard
Hi Daniel, The problems is that math/number-threory and racket/list both export an function named permutations. You are right that rename-in or prefix-in could be used to fix the problem in "full" Racket. In order to handle the situation in ISL+ I suggest to make an extra file: File: "no-conflic

[racket-users] on "module: identifier already imported from a different source"

2015-06-30 Thread Daniel Bastos
I'm getting "module: identifier already imported from a different source" when I require these two modules. (require math/number-theory) (require racket/list) I want factorize from math/number-theory and remove-duplicates from racket/list. I've seen old messages about this error, but they seemed