<HTML><HEAD></HEAD>
<BODY dir=ltr>
<DIV dir=ltr>
<DIV style="FONT-SIZE: 12pt; FONT-FAMILY: 'Calibri'; COLOR: #000000">
<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'; 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> </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:06 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>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 class=HOEnZb><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>
<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>