[plt-scheme] Teaching languages and 2htdp/image

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Fri Jun 4 11:31:47 EDT 2010

On Jun 4, 2010, at 10:52 AM, Justin Zamora wrote:

> I would like to use 2htdp/universe and 2htdp/image with the HTDP
> teaching languages, but I get conflicts because image? is defined
> differently in 2htdp/image and the teaching languages.  For example:
>
> #lang racket
>
> (require lang/htdp-beginner)
> (require 2htdp/universe)
> (require 2htdp/image)
>
> results in the error:
>
> simple-world.rkt:5:9: module: identifier already imported from a
> different source in:
>  image?
>  2htdp/image
>  lang/htdp-beginner
>
> I can avoid this by using (require (rename-in lang/htdp-beginner
> (image? htdp/image))), but that seems inappropriate "magic" to use
> with beginning students.  Is there a better way to achieve this?


Is there a reason why you are not using the teaching languages?
They were designed to teach students w/o getting into complicated
matters like these.

-- Matthias




Posted on the users mailing list.