Re: Re: This works in utop but do I compile it?
"Douglas Lewit [email protected] [ocaml_beginners]" <[email protected]> Fri, 2 Feb 2018 10:43:37 -0600
| Newsgroups | gmane.comp.lang.ocaml.beginners |
|---|---|
| Message-ID | <CAM0XMJQS0kNtqkFmf=Z9a=QJHW5Us_weoJCyrDenH3anoUzoRg@mail.gmail.com> |
--001a113781e8ffd72005643d6916 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Okay, I got it! Basically too many semi-colons. They're still needed, but not as many. I can't use those semi-colons until I'm done adding stuff to my Names map. That's weird because I've compiled other .ml files before that were loaded with semi-colons. I always get annoyed when a programming language has one set of rules that apply to the REPL, but then another set of rules that apply to the compilers. It's really confusing, especially for people learning to use the language mostly in the REPL. That leads me to believe that the people who built utop and OCaml's other REPL's are not the same people who work on the compilers. Different groups of people following different rules. Not good. Leads to inconsistencies and unpredictable behavior. Oh well. On Fri, Feb 2, 2018 at 10:16 AM, Douglas Lewit <[email protected]> wrote: > This is the exact error: > > Douglass-MacBook-Air:OCaml&FSharp douglas$ ocamlopt -o map map.ml > > *File "map.ml <http://map.ml>", line 3, characters 15-23*: > > *Error*: Unbound module Map > > Douglass-MacBook-Air:OCaml&FSharp douglas$ > > > On Fri, Feb 2, 2018 at 10:13 AM, Douglas Lewit <[email protected]> wrote: > >> The semi-colons don't really matter. Yeah, I know they aren't really >> necessary in compiled code, but I like to put them in anyhow. I've >> compiled other files with semi-colons and there wasn't any problem. The >> error I am getting refers to some undeclared Map module or something alo= ng >> those lines. So for some reason the compiler doesn't recognize the Map >> module, but.... it works just fine in utop and also works in OCaml's >> default interactive interpreter. Very strange! >> >> >> On Fri, Feb 2, 2018 at 10:08 AM, [email protected] [ocaml_beginners] < >> [email protected]> wrote: >> >>> >>> >>> https://stackoverflow.com/q/9128051/55209 >>> >>>=20 >>> >> >> > --001a113781e8ffd72005643d6916 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/htm= l4/strict.dtd"> <html> <head> </head> =20 <body style=3D"background-color: #fff;"> <span style=3D"display:none"> </span> <!--~-|**|PrettyHtmlStartT|**|-~--> <div id=3D"ygrp-mlmsg" style=3D"position:relative;"> <div id=3D"ygrp-msg" style=3D"z-index: 1;"> <!--~-|**|PrettyHtmlEndT|**|-~--> <div id=3D"ygrp-text" > =20=20=20=20=20=20 =20=20=20=20=20=20 <p><div dir=3D"ltr"><font size=3D"4">Okay, I got it!=C2=A0 Basically = too many semi-colons.=C2=A0 They're still needed, but not as many.=C2= =A0 I can't use those semi-colons until I'm done adding stuff to my= Names map.=C2=A0 That's weird because I've compiled other .ml file= s before that were loaded with semi-colons.=C2=A0 I always get annoyed when= a programming language has one set of rules that apply to the REPL, but th= en another set of rules that apply to the compilers.=C2=A0 It's really = confusing, especially for people learning to use the language mostly in the= REPL.=C2=A0 That leads me to believe that the people who built utop and OC= aml's other REPL's are not the same people who work on the compiler= s.=C2=A0 Different groups of people following different rules.=C2=A0 Not go= od.=C2=A0 Leads to inconsistencies and unpredictable behavior.=C2=A0 Oh wel= l.</font><div><font size=3D"4"><br></font></div></div><div class=3D"gmail_e= xtra"><br><div class=3D"gmail_quote">On Fri, Feb 2, 2018 at 10:16 AM, Dougl= as Lewit <span dir=3D"ltr"><<a href=3D"mailto:[email protected]" target= =3D"_blank">[email protected]</a>></span> wrote:<br><blockquote class=3D= "gmail_quote" style=3D"border-left:1px #ccc solid;"><div dir=3D"ltr"><font = size=3D"4">This is the exact error:</font><div><font size=3D"4"><br></font>= </div><div><font size=3D"4"> <span></span> <p class=3D"m_8465676466819641501gmail-p1" style=3D"margin:0px;font-style:n= ormal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:= 20px;font-family:Courier;color:rgb(235,235,235);"><span class=3D"m_84656764= 66819641501gmail-s1">Douglass-MacBook-Air:OCaml&<wbr>FSharp douglas$ oc= amlopt -o map <a href=3D"http://map.ml" target=3D"_blank">map.ml</a></span>= </p> <p class=3D"m_8465676466819641501gmail-p2" style=3D"margin:0px;font-style:n= ormal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:= 20px;font-family:Courier;color:rgb(0,249,0);"><span class=3D"m_846567646681= 9641501gmail-s1"><b>File "<a href=3D"http://map.ml" target=3D"_blank">= map.ml</a>", line 3, characters 15-23</b></span><span class=3D"m_84656= 76466819641501gmail-s2" style=3D"color:rgb(235,235,235);">:</span></p> <p class=3D"m_8465676466819641501gmail-p1" style=3D"margin:0px;font-style:n= ormal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:= 20px;font-family:Courier;color:rgb(235,235,235);"><span class=3D"m_84656764= 66819641501gmail-s3" style=3D"color:rgb(195,55,32);"><b>Error</b></span><sp= an class=3D"m_8465676466819641501gmail-s1">: Unbound module Map</span></p> <p class=3D"m_8465676466819641501gmail-p1" style=3D"margin:0px;font-style:n= ormal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:= 20px;font-family:Courier;color:rgb(235,235,235);"><span class=3D"m_84656764= 66819641501gmail-s1">Douglass-MacBook-Air:OCaml&<wbr>FSharp douglas$<sp= an class=3D"m_8465676466819641501gmail-Apple-converted-space">=C2=A0</span>= </span></p> <br></font></div></div><div class=3D"HOEnZb"><div class=3D"h5"><div class= =3D"gmail_extra"><br><div class=3D"gmail_quote">On Fri, Feb 2, 2018 at 10:1= 3 AM, Douglas Lewit <span dir=3D"ltr"><<a href=3D"mailto:[email protected]= om" target=3D"_blank">[email protected]</a>></span> wrote:<br><blockquot= e class=3D"gmail_quote" style=3D"border-left:1px #ccc solid;"><div dir=3D"l= tr"><font size=3D"4">The semi-colons don't really matter.=C2=A0 Yeah, I= know they aren't really necessary in compiled code, but I like to put = them in anyhow.=C2=A0 I've compiled other files with semi-colons and th= ere wasn't any problem.=C2=A0 The error I am getting refers to some und= eclared Map module or something along those lines.=C2=A0 So for some reason= the compiler doesn't recognize the Map module, but.... it works just f= ine in utop and also works in OCaml's default interactive interpreter.= =C2=A0 Very strange!</font><div><font size=3D"4"><br></font></div></div><di= v class=3D"m_8465676466819641501HOEnZb"><div class=3D"m_8465676466819641501= h5"><div class=3D"gmail_extra"><br><div class=3D"gmail_quote">On Fri, Feb 2= , 2018 at 10:08 AM, <a href=3D"mailto:[email protected]" target=3D"_blank"= >[email protected]</a> [ocaml_beginners] <span dir=3D"ltr"><<a href=3D"= mailto:[email protected]" target=3D"_blank">ocaml_beginners@y= ahoogroups.c<wbr>om</a>></span> wrote:<br><blockquote class=3D"gmail_quo= te" style=3D"border-left:1px #ccc solid;"> <u></u> =20 <div style=3D"background-color:#fff;"> <span>=C2=A0</span> <div id=3D"m_8465676466819641501m_6447128175504681788m_-8051041233107856593= ygrp-mlmsg"> <div id=3D"m_8465676466819641501m_6447128175504681788m_-80510412331078565= 93ygrp-msg"> <div id=3D"m_8465676466819641501m_6447128175504681788m_-805104123310785= 6593ygrp-text"> =20=20=20=20=20=20 =20=20=20=20=20=20 <p></p><div><a rel=3D"nofollow" href=3D"https://stackoverflow.com/q/9= 128051/55209" target=3D"_blank">https://stackoverflow.com/q/91<wbr>28051/55= 209</a></div><p></p> </div> =20=20=20=20=20 =20=20=20=20 <div style=3D"color:#fff;height:0;"></div> </div> =20=20 </div></div></blockquote></div><br></div> </div></div></blockquote></div><br></div> </div></div></blockquote></div><br></div> </p> </div> =20=20=20=20=20 <!--~-|**|PrettyHtmlStart|**|-~--> <div style=3D"color: #fff; height: 0;">__._,_.___</div> =20=20=20=20=20=20=20=20=20=20 =20=20 =20 =20=20=20=20 <div style=3D"clear:both"> </div> <div id=3D"fromDMARC" style=3D"margin-top: 10px;"> <hr style=3D"height:2px ; border-width:0; color:#E3E3E3; background= -color:#E3E3E3;"> Posted by: Douglas Lewit <[email protected]> <hr style= =3D"height:2px ; border-width:0; color:#E3E3E3; background-color:#E3E3E3;"> </div> <div style=3D"clear:both"> </div> <table cellspacing=3D4px style=3D"margin-top: 10px; margin-bottom: 10px= ; color: #2D50FD;"> <tbody> <tr> <td style=3D"font-size: 12px; font-family: arial; font-weight: bo= ld; padding: 7px 5px 5px;" > <a style=3D"text-decoration: none; color: #2D50FD= " href=3D"https://groups.yahoo.com/neo/groups/ocaml_beginners/conversations= /messages/14843;_ylc=3DX3oDMTJxMnIxa2V2BF9TAzk3MzU5NzE0BGdycElkAzQ5OTkxOTQE= Z3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzE0ODQzBHNlYwNmdHIEc2xrA3JwbHkEc3RpbWUDMTU= xNzU4OTgxOQ--?act=3Dreply&messageNum=3D14843">Reply via web post</a> </td> <td>•</td> <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p= x 5px;" > <a href=3D"mailto:[email protected]?subject=3DRe%3A%20%22ocaml_= beginners%22%3A%3A%5B%5D%20Re%3A%20This%20works%20in%20utop%20but%20do%20I%= 20compile%20it%3F" style=3D"text-decoration: none; color: #2D50FD;"> Reply to sender </a> </td> <td>•</td> <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p= x 5px;"> <a href=3D"mailto:[email protected]?subject=3DRe%= 3A%20%22ocaml_beginners%22%3A%3A%5B%5D%20Re%3A%20This%20works%20in%20utop%2= 0but%20do%20I%20compile%20it%3F" style=3D"text-decoration: none; color: #2D= 50FD"> Reply to group </a> </td> <td>•</td> <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p= x 5px;" > <a href=3D"https://groups.yahoo.com/neo/groups/ocaml_beginners/= conversations/newtopic;_ylc=3DX3oDMTJlcGo5NGlsBF9TAzk3MzU5NzE0BGdycElkAzQ5O= TkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTUxNzU4OTgx= OQ--" style=3D"text-decoration: none; color: #2D50FD">Start a New Topic</a> </td> <td>•</td> <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p= x 5px;color: #2D50FD;" > <a href=3D"https://groups.yahoo.com/neo/groups/= ocaml_beginners/conversations/topics/14839;_ylc=3DX3oDMTM2bGZscjFtBF9TAzk3M= zU5NzE0BGdycElkAzQ5OTkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzE0ODQzBHNlYwNm= dHIEc2xrA3Z0cGMEc3RpbWUDMTUxNzU4OTgxOQR0cGNJZAMxNDgzOQ--" style=3D"text-dec= oration: none; color: #2D50FD;">Messages in this topic</a> (5) </td> </tr> </tbody> </table> =20=20=20=20=20=20=20=20 <div id=3D"megaphoneModule"> <hr style=3D"height:2px ; border-width:0; color:#E3E3E3; backgr= ound-color:#E3E3E3;"> <div> <div class=3D"stream" style=3D"margin-bottom:10px;"> <div style=3D"background-color:white;"> <div class=3D"sn-img" style=3D"display:inline;"><img name=3D"tn= _file" style=3D"padding:0px 10px;vertical-align:top;margin-top:5px;" src=3D= "https://s.yimg.com/ru/static/images/yg/img/megaphone/1464031581_phpFA8bON"= height=3D"82" width=3D"82"></div> <div class=3D"mod-txt" style=3D"display:inline-block;"> <a rel=3D"nofollow" name=3D"sub_url" target=3D"_blank" href= =3D"https://yho.com/1wwmgg" style=3D"color:#0000FF;display:block;margin-lef= t:5px;text-decoration:none;"><span style=3D"font-size:15px;">Have you tried= the highest rated email app?</span></a> <div style=3D"max-width:530px;padding:2px 5px;">With 4.5 st= ars in iTunes, the Yahoo Mail app is the highest rated email app on the mar= ket. What are you waiting for? Now you can access all your inboxes (Gmail, = Outlook, AOL and more) in one place. Never delete an email again with 1000G= B of free cloud storage.</div> </div> </div> </div> </div>=20=20 =20=20=20=20=20 <hr style=3D"height:2px ; border-width:0; color:#E3E3E3; background-col= or:#E3E3E3;"> </div> <!------- Start Nav Bar ------> <div id=3D"ygrp-grfd" style=3D"font-family: Verdana; font-size: 12px; p= adding: 15px 0;"> =20=20=20=20=20=20 <!-- |**|begin egp html banner|**| --> Archives up to December 31, 2011 are also downloadable at <a href=3D"= http://www.connettivo.net/cntprojects/ocaml_beginners">http://www.connettiv= o.net/cntprojects/ocaml_beginners</a><BR> The archives of the very official ocaml list (the seniors' one) can be foun= d at <a href=3D"http://caml.inria.fr">http://caml.inria.fr</a><BR> Attachments are banned and you're asked to be polite, avoid flames etc. = =20=20 <!-- |**|end egp html banner|**| --> </div> =20=20 =20 <!-- |**|begin egp html banner|**| --> <div id=3D"ygrp-vital" style=3D"background-color: #f2f2f2; font-family: Ver= dana; font-size: 10px; margin-bottom: 10px; padding: 10px;"> <span id=3D"vithd" style=3D"font-weight: bold; color: #333; text-transf= orm: uppercase; "><a href=3D"https://groups.yahoo.com/neo/groups/ocaml_begi= nners/info;_ylc=3DX3oDMTJlZGExOG00BF9TAzk3MzU5NzE0BGdycElkAzQ5OTkxOTQEZ3Jwc= 3BJZAMxNzA1MDA2NzY0BHNlYwN2dGwEc2xrA3ZnaHAEc3RpbWUDMTUxNzU4OTgxOQ--" style= =3D"text-decoration: none;">Visit Your Group</a></span> <ul style=3D"list-style-type: none; margin: 0; padding: 0; display: in= line;"> </ul> </div> <div id=3D"ft" style=3D"font-family: Arial; font-size: 11px; margin-top: 5p= x; padding: 0 2px 0 0; clear: both;"> <a href=3D"https://groups.yahoo.com/neo;_ylc=3DX3oDMTJkNzRsbW1pBF9TAzk3ND= c2NTkwBGdycElkAzQ5OTkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA2dmcARzd= GltZQMxNTE3NTg5ODE5" style=3D"float: left;"><img src=3D"http://l.yimg.com/r= u/static/images/yg/img/email/new_logo/logo-groups-137x15.png" height=3D"15"= width=3D"137" alt=3D"Yahoo! Groups" style=3D"border: 0;"/></a> <div style=3D"color: #747575; float: right;"> • <a href=3D"https://i= nfo.yahoo.com/privacy/us/yahoo/groups/details.html" style=3D"text-decoratio= n: none;">Privacy</a> • <a href=3D"mailto:ocaml_beginners-unsubscribe@= yahoogroups.com?subject=3DUnsubscribe" style=3D"text-decoration: none;">Uns= ubscribe</a> • <a href=3D"https://info.yahoo.com/legal/us/yahoo/utos/t= erms/" style=3D"text-decoration: none;">Terms of Use</a> </div> </div> <br> <!-- |**|end egp html banner|**| --> </div> <!-- ygrp-msg --> =20 <!-- Sponsor --> <!-- |**|begin egp html banner|**| --> <div id=3D"ygrp-sponsor" style=3D"width:160px; float:right; clear:none; m= argin:0 0 25px 0; background: #fff;"> <!-- Start Recommendations --> <div id=3D"ygrp-reco"> </div> <!-- End Recommendations --> </div> <!-- |**|end egp html banner|**| --> <div style=3D"clear:both; color: #FFF; font-size:1px;">.</div> </div> <img src=3D"http://geo.yahoo.com/serv?s=3D97359714/grpId=3D4999194/grpspI= d=3D1705006764/msgId=3D14843/stime=3D1517589819" width=3D"1" height=3D"1"> = <br> <img src=3D"http://y.analytics.yahoo.com/fpc.pl?ywarid=3D515FB27823A7407E&a= =3D10001310322279&js=3Dno&resp=3Dimg&cf12=3DCP" width=3D"1" height=3D"1">=20 <div style=3D"color: #fff; height: 0;">__,_._,___</div> <!--~-|**|PrettyHtmlEnd|**|-~--> </body> <!--~-|**|PrettyHtmlStart|**|-~--> <head> <style type=3D"text/css"> <!-- #ygrp-mkp { border: 1px solid #d8d8d8; font-family: Arial; margin: 10px 0; padding: 0 10px; } #ygrp-mkp hr { border: 1px solid #d8d8d8; } #ygrp-mkp #hd { color: #628c2a; font-size: 85%; font-weight: 700; line-height: 122%; margin: 10px 0; } #ygrp-mkp #ads { margin-bottom: 10px; } #ygrp-mkp .ad { padding: 0 0; } #ygrp-mkp .ad p { margin: 0; } #ygrp-mkp .ad a { color: #0000ff; text-decoration: none; } #ygrp-sponsor #ygrp-lc { font-family: Arial; } #ygrp-sponsor #ygrp-lc #hd { margin: 10px 0px; font-weight: 700; font-size: 78%; line-height: 122%; } #ygrp-sponsor #ygrp-lc .ad { margin-bottom: 10px; padding: 0 0; } #actions { font-family: Verdana; font-size: 11px; padding: 10px 0; } #activity { background-color: #e0ecee; float: left; font-family: Verdana; font-size: 10px; padding: 10px; } #activity span { font-weight: 700; } #activity span:first-child { text-transform: uppercase; } #activity span a { color: #5085b6; text-decoration: none; } #activity span span { color: #ff7900; } #activity span .underline { text-decoration: underline; } .attach { clear: both; display: table; font-family: Arial; font-size: 12px; padding: 10px 0; width: 400px; } .attach div a { text-decoration: none; } .attach img { border: none; padding-right: 5px; } .attach label { display: block; margin-bottom: 5px; } .attach label a { text-decoration: none; } =20=20 blockquote { margin: 0 0 0 4px; } .bold { font-family: Arial; font-size: 13px; font-weight: 700; } .bold a { text-decoration: none; } dd.last p a { font-family: Verdana; font-weight: 700; } dd.last p span { margin-right: 10px; font-family: Verdana; font-weight: 700; } dd.last p span.yshortcuts { margin-right: 0; } div.attach-table div div a { text-decoration: none; } div.attach-table { width: 400px; } div.file-title a, div.file-title a:active, div.file-title a:hover, div.fi= le-title a:visited { text-decoration: none; } div.photo-title a, div.photo-title a:active, div.photo-title a:hover, div= ..photo-title a:visited { text-decoration: none; } div#ygrp-mlmsg #ygrp-msg p a span.yshortcuts { font-family: Verdana; font-size: 10px; font-weight: normal; } .green { color: #628c2a; } .MsoNormal { margin: 0 0 0 0; } o { font-size: 0; } #photos div { float: left; width: 72px; } #photos div div { border: 1px solid #666666; height: 62px; overflow: hidden; width: 62px; } #photos div label { color: #666666; font-size: 10px; overflow: hidden; text-align: center; white-space: nowrap; width: 64px; } #reco-category { font-size: 77%; } #reco-desc { font-size: 77%; } .replbq { margin: 4px; } #ygrp-actbar div a:first-child { /* border-right: 0px solid #000;*/ margin-right: 2px; padding-right: 5px; } #ygrp-mlmsg { font-size: 13px; font-family: Arial, helvetica,clean, sans-serif; *font-size: small; *font: x-small; } #ygrp-mlmsg table { font-size: inherit; font: 100%; } #ygrp-mlmsg select, input, textarea { font: 99% Arial, Helvetica, clean, sans-serif; } #ygrp-mlmsg pre, code { font:115% monospace; *font-size:100%; } #ygrp-mlmsg * { line-height: 1.22em; } #ygrp-mlmsg #logo { padding-bottom: 10px; } #ygrp-msg p a { font-family: Verdana; } #ygrp-msg p#attach-count span { color: #1E66AE; font-weight: 700; } #ygrp-reco #reco-head { color: #ff7900; font-weight: 700; } #ygrp-reco { margin-bottom: 20px; padding: 0px; } #ygrp-sponsor #ov li a { font-size: 130%; text-decoration: none; } #ygrp-sponsor #ov li { font-size: 77%; list-style-type: square; padding: 6px 0; }=20 #ygrp-sponsor #ov ul { margin: 0; padding: 0 0 0 8px; } #ygrp-text { font-family: Georgia; } #ygrp-text p { margin: 0 0 1em 0; } #ygrp-text tt { font-size: 120%; } #ygrp-vital ul li:last-child { border-right: none !important;=20 }=20 --> </style> </head> <!--~-|**|PrettyHtmlEnd|**|-~--> </html> <!-- end group email --> --001a113781e8ffd72005643d6916--