<HTML><HEAD></HEAD> <BODY dir=ltr> <DIV dir=ltr> <DIV style="FONT-SIZE: 12pt; FONT-FAMILY: 'Calibri'; COLOR: #000000"> <DIV>Hello Carl,</DIV> <DIV> </DIV> <DIV>I found a location in mras.rkt where I comment out the provide for the map-2 function, the program runs, and when I re-instate it, it fails.  The section of code is:</DIV> <DIV> </DIV> <DIV>;;  map-2</DIV> <DIV>(provide</DIV> <DIV>(proc-doc/names map-2 </DIV> <DIV>                 (procedure? list? list? . -> . list?)</DIV> <DIV>                 (proc l1 l2)</DIV> <DIV>                 @{Applies a procedure of two elements to the elements of two lists, </DIV> <DIV>                   @racket[l1] and @racket[l2], returning the result in another list.  </DIV> <DIV>                   When one list is exhausted, the other list is returned as the rest of the resultant list.}))</DIV> <DIV> </DIV> <DIV>Also, when the proc-doc/names section is replaced by the function name, i.e., (provide map-2), the program runs.</DIV> <DIV> </DIV> <DIV>I was removing provide contracts one by one to see if I could find the problem.  Fortunately, it occurred on the first one I tried, but I don’t know why.</DIV> <DIV>Thanks for your help.  I am interested in knowing why this problem occurs, if you are able to diagnose it further.</DIV> <DIV style="FONT-SIZE: 12pt; FONT-FAMILY: 'Calibri'; COLOR: #000000">Alvin Schatte<BR></DIV> <DIV style="FONT-SIZE: small; FONT-FAMILY: 'Calibri'; FONT-WEIGHT: normal; COLOR: #000000; FONT-STYLE: normal; TEXT-DECORATION: none; DISPLAY: inline"> <DIV style="FONT: 10pt tahoma"> <DIV><FONT size=3 face=Calibri></FONT> </DIV> <DIV style="BACKGROUND: #f5f5f5"> <DIV style="font-color: black"><B>From:</B> <A title=cce@ccs.neu.edu href="mailto:cce@ccs.neu.edu">Carl Eastlund</A> </DIV> <DIV><B>Sent:</B> Wednesday, September 04, 2013 9:38 PM</DIV> <DIV><B>To:</B> <A title=AlvinSchatte@skytex.net href="mailto:AlvinSchatte@skytex.net">Alvin Schatte</A> </DIV> <DIV><B>Cc:</B> <A title=users@racket-lang.org href="mailto:users@racket-lang.org">Racket Users</A> </DIV> <DIV><B>Subject:</B> Re: [racket] Question on error message</DIV></DIV></DIV> <DIV> </DIV></DIV> <DIV style="FONT-SIZE: small; FONT-FAMILY: 'Calibri'; FONT-WEIGHT: normal; COLOR: #000000; FONT-STYLE: normal; TEXT-DECORATION: none; DISPLAY: inline"> <DIV dir=ltr> <DIV> <DIV> <DIV> <DIV>Alvin,<BR><BR></DIV>Thanks for the source.  Unfortunately, I can't run what you sent because it's missing at least one file.  Try the following when sharing code for debugging purposes:<BR><BR></DIV> <DIV>1. Use a site like <A href="http://pastebin.com">pastebin.com</A> or <A href="http://gist.github.com">gist.github.com</A> where you can easily paste and share a file without copying an attachment to many people's inboxes over a mailing list.<BR></DIV> <DIV>2. Include all necessary files, or better yet reduce the example to one file.<BR></DIV> <DIV>3. Similarly, reduce dependencies on third-party libraries such as planet packages if possible.<BR><BR></DIV> <DIV>Right now I'm missing "diff-e solver.rkt" and I have to install "wmfarr/simple-matrix:1:1", which is doable but inconvenient.  Thanks for the question and followup, and I'm happy to help if you can post a complete example.<BR></DIV></DIV></DIV> <DIV> </DIV> <DIV class=gmail_extra> <DIV>Carl Eastlund</DIV> <DIV> </DIV> <DIV class=gmail_quote>On Wed, Sep 4, 2013 at 10:22 PM, Alvin Schatte <SPAN dir=ltr><<A href="mailto:AlvinSchatte@skytex.net" target=_blank>AlvinSchatte@skytex.net</A>></SPAN> wrote:<BR> <BLOCKQUOTE class=gmail_quote style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"> <DIV dir=ltr> <DIV dir=ltr> <DIV style="FONT-SIZE: 12pt; FONT-FAMILY: 'Calibri'"> <DIV>Hello Carl,</DIV> <DIV>Thank you for looking at this.  I am writing contracts and playing with documentation for a fairly large module that, right now, performs a system identification function.  The file is attached.  I made several changes without “Run”ning, so I’m not sure what changed caused the error.</DIV> <DIV>Thank you again for your help,</DIV> <DIV style="FONT-SIZE: 12pt; FONT-FAMILY: 'Calibri'">Alvin Schatte<BR></DIV> <DIV style="FONT-SIZE: small; FONT-FAMILY: 'Calibri'; FONT-WEIGHT: normal; FONT-STYLE: normal; TEXT-DECORATION: none; DISPLAY: inline"> <DIV style="FONT: 10pt tahoma"> <DIV> </DIV> <DIV style="BACKGROUND: #f5f5f5"> <DIV><B>From:</B> <A title=cce@ccs.neu.edu href="mailto:cce@ccs.neu.edu" target=_blank>Carl Eastlund</A> </DIV> <DIV><B>Sent:</B> Wednesday, September 04, 2013 9:06 PM</DIV> <DIV><B>To:</B> <A title=AlvinSchatte@skytex.net href="mailto:AlvinSchatte@skytex.net" target=_blank>Alvin Schatte</A> </DIV> <DIV><B>Cc:</B> <A title=users@racket-lang.org href="mailto:users@racket-lang.org" target=_blank>Racket Users</A> </DIV> <DIV><B>Subject:</B> Re: [racket] Question on error message</DIV></DIV></DIV> <DIV> </DIV></DIV> <DIV style="FONT-SIZE: small; FONT-FAMILY: 'Calibri'; FONT-WEIGHT: normal; FONT-STYLE: normal; TEXT-DECORATION: none; DISPLAY: inline"> <DIV> <DIV class=h5> <DIV dir=ltr> <DIV>Alvin,<BR><BR></DIV>That looks like an internal error message from some language feature you're using, unless you're using something like begin-lifted or syntax-local-lift-expression directly.  Often the contract system generates names for internal use like "lifted.171", but there shouldn't be duplicate definitions, and if there are, it's likely not your fault.  Can you share the code that causes this error message?  If so, someone may be able to diagnose the error.  Otherwise, with just the error message, we don't have much to go on.<BR> <DIV class=gmail_extra> <DIV> </DIV> <DIV>Carl Eastlund</DIV> <DIV> </DIV> <DIV class=gmail_quote>On Wed, Sep 4, 2013 at 9:59 PM, Alvin Schatte <SPAN dir=ltr><<A href="mailto:AlvinSchatte@skytex.net" target=_blank>AlvinSchatte@skytex.net</A>></SPAN> wrote:<BR> <BLOCKQUOTE class=gmail_quote style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"> <DIV dir=ltr> <DIV dir=ltr> <DIV style="FONT-SIZE: 12pt; FONT-FAMILY: 'Calibri'"> <DIV>Hello,</DIV> <DIV>I got the following error message after <Ctrl-R> in Dr. Racket.  I am not sure what  it means:</DIV> <DIV> </DIV> <DIV>module: duplicate definition for identifier in: lifted.171</DIV> <DIV> </DIV> <DIV>Could someone explain it to me?</DIV><SPAN><FONT color=#888888> <DIV style="FONT-SIZE: 12pt; FONT-FAMILY: 'Calibri'">Alvin Schatte<BR></DIV></FONT></SPAN></DIV></DIV></DIV><BR>____________________<BR>  Racket Users list:<BR>  <A href="http://lists.racket-lang.org/users" target=_blank>http://lists.racket-lang.org/users</A><BR><BR></BLOCKQUOTE></DIV> <DIV> </DIV></DIV></DIV><A></A></DIV></DIV> <P align=left color="#000000">No virus found in this message.<BR>Checked by AVG - <A href="http://www.avg.com" target=_blank>www.avg.com</A><BR>Version: 2013.0.3392 / Virus Database: 3222/6639 - Release Date: 09/04/13</P></DIV></DIV></DIV></DIV></BLOCKQUOTE></DIV> <DIV> </DIV></DIV></DIV><A></A> <P align=left color="#000000" avgcert??>No virus found in this message.<BR>Checked by AVG - <A href="http://www.avg.com">www.avg.com</A><BR>Version: 2013.0.3392 / Virus Database: 3222/6639 - Release Date: 09/04/13</P></DIV></DIV></DIV></BODY></HTML>