<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
</head>
<body style="background-color: #fff;">
<span style="display:none"> </span>
<!--~-|**|PrettyHtmlStartT|**|-~-->
<div id="ygrp-mlmsg" style="position:relative;">
<div id="ygrp-msg" style="z-index: 1;">
<!--~-|**|PrettyHtmlEndT|**|-~-->
<div id="ygrp-text" >
<p>
<div class="moz-cite-prefix">Chingfan Tsao <a class="moz-txt-link-abbreviated" href="mailto:***@gmail.com">***@gmail.com</a>
[ocaml_beginners] schreef op 16-10-2014 16:34:<br>
</div>
<blockquote cite="mid:CAOCiaG4j7xfV1mTDrr+EJusS81-6=Vz4b_TTYNpw+***@mail.gmail.com" type="cite"> <span> </span>
<div id="ygrp-text">
<div dir="ltr">Hi
<div><br>
</div>
<div>Actually, float_of_int is a function belonging to the
standard module Pervasives which is default to be
opened. That's why you can directly use float_of_int
instead of Pervasives.float_of_int.</div>
<div><br>
</div>
<div>However, if you use utop and type in float_of_int, it
will give you:</div> <div><br> </div> <div>> [ `Deprecated_use_float_module ] -> [
`Deprecated_use_float_module ] = <fun> </div>
<div><br>
</div>
<div>which suggests you use Float module, in this case,
Float.of_int.</div>
<div><br>
</div>
<div>The problem here is your REPL can not find the module
Float, I believe there's something missing in your init
script.</div> <div><br> </div> <div>For example, I have</div> <div><br> </div> <div>> #require "core"</div>
<div><br>
</div>
<div>and sorts of things to inform utop to load the core
suit so that it can be aware of things like Float
module.</div>
<div><br>
</div>
<div>Hopefully helpful.</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">2014-10-16 20:57 GMT+08:00
Hendrik Boom <a moz="true" href="mailto:***@topoi.pooq.com">***@topoi.pooq.com</a>
[ocaml_beginners] <span dir="ltr"><<a moz="true" href="mailto:***@yahoogroups.com" target="_blank">***@yahoogroups.com</a>></span>:<br>
<blockquote class="gmail_quote" style="border-left:1px
#ccc solid;">
<div style="background-color:#fff;">
<span> </span>
<div>
<div>
<div>
<p>On Thu, Oct 16, 2014 at 12:44:15PM +0200,
Roelof Wobben <a moz="true" href="mailto:***@home.nl" target="_blank">***@home.nl</a>
[ocaml_beginners] wrote:<br>
> Hello,<br>
> <br>
> I try some examples of the realword
Ocaml book but now I see this output :<br>
> <br>
> # let ratio x y = Float.of_int x /
Float.of_int y ;;<br>
> Error: Unbound module Float<br>
<br>
I checked an old program of mine, and it
used <br>
float_of_int i<br>
instead of<br>
Float.of_int x<br>
<br>
Here's the program it was extracted from, in
case you're interested.<br>
<a moz="true" href="http://topoi.pooq.com/hendrik/dv/free/fun/wander/index.html" target="_blank">http://topoi.pooq.com/hendrik/dv/free/fun/wander/index.html</a><br>
<br>
It's a bit of a bear to compile, because it
uses the glMlite library, <br>
and you'll probably have to get its source
code and compile yourself, <br>
because the glMlite library that's available
in opam, the usual OCaml <br>
package system, is incomplete. <br>
<br>
But even if you don't run it, it contains
examples of running OCaml <br>
code, which might be helpful.<br>
<br>
-- hendrik<br>
<br>
> # open Core.std ;;<br>
> Error: Syntax error<br>
> # open Core.Std ;;<br>
> Error: Unbound module Core<br>
> <br>
> How to solve this ?<br>
> <br>
> Roelof<br>
> <br>
> <br>
> <br>
> ------------------------------------<br>
> Posted by: Roelof Wobben <<a moz="true" href="mailto:***@home.nl" target="_blank">***@home.nl</a>><br>
> ------------------------------------<br>
> <br>
> Archives up to December 31, 2011 are
also downloadable at <a moz="true" href="http://www.connettivo.net/cntprojects/ocaml_beginners" target="_blank">http://www.connettivo.net/cntprojects/ocaml_beginners</a><br>
> The archives of the very official ocaml
list (the seniors' one) can be found at <a moz="true" href="http://caml.inria.fr" target="_blank">http://caml.inria.fr</a><br>
> Attachments are banned and you're asked
to be polite, avoid flames etc.<br>
> ------------------------------------<br>
> <br>
> Yahoo Groups Links<br>
> <br>
> <br>
> <br>
</p>
</div>
</div>
</div>
</div>
</blockquote>
</div>
<br>
<br clear="all">
<div><br>
</div>
-- <br>
<div dir="ltr">
<div>曹竞帆</div>
哈尔滨工业大学计算机科学与技术专业本科在读
<div>
<div>哈尔滨工业大学IBMTC成员</div>
</div>
</div>
</div>
</div>
<!-- end group email -->
</blockquote>
<br>
Correct, I think.<br>
<br>
when I do #require "Float" I see a message that float cannot be
found. <br>
<br>
Roelof<br>
<br>
</p>
</div>
<!--~-|**|PrettyHtmlStart|**|-~-->
<div style="color: #fff; height: 0;">__._,_.___</div>
<div style="clear:both"> </div>
<div id="fromDMARC" style="margin-top: 10px;">
<hr style="height:2px ; border-width:0; color:#E3E3E3; background-color:#E3E3E3;">
Posted by: Roelof Wobben <***@home.nl> <hr style="height:2px ; border-width:0; color:#E3E3E3; background-color:#E3E3E3;">
</div>
<div style="clear:both"> </div>
<table cellspacing=4px style="margin-top: 10px; margin-bottom: 10px; color: #2D50FD;">
<tbody>
<tr>
<td style="font-size: 12px; font-family: arial; font-weight: bold; padding: 7px 5px 5px;" >
<a style="text-decoration: none; color: #2D50FD" href="https://groups.yahoo.com/neo/groups/ocaml_beginners/conversations/messages/14157;_ylc=X3oDMTJxOGNuNDM1BF9TAzk3MzU5NzE0BGdycElkAzQ5OTkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzE0MTU3BHNlYwNmdHIEc2xrA3JwbHkEc3RpbWUDMTQxMzQ3MDMzNg--?act=reply&messageNum=14157">Reply via web post</a>
</td>
<td>•</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px;" >
<a href="mailto:***@home.nl?subject=Re%3A%20%22ocaml_beginners%22%3A%3A%5B%5D%20Re%3A%20Float%20not%20working%2E" style="text-decoration: none; color: #2D50FD;">
Reply to sender </a>
</td>
<td>•</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px;">
<a href="mailto:***@yahoogroups.com?subject=Re%3A%20%22ocaml_beginners%22%3A%3A%5B%5D%20Re%3A%20Float%20not%20working%2E" style="text-decoration: none; color: #2D50FD">
Reply to group </a>
</td>
<td>•</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px;" >
<a href="https://groups.yahoo.com/neo/groups/ocaml_beginners/conversations/newtopic;_ylc=X3oDMTJlOGp2c2VuBF9TAzk3MzU5NzE0BGdycElkAzQ5OTkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTQxMzQ3MDMzNg--" style="text-decoration: none; color: #2D50FD">Start a New Topic</a>
</td>
<td>•</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px;color: #2D50FD;" >
<a href="https://groups.yahoo.com/neo/groups/ocaml_beginners/conversations/topics/14151;_ylc=X3oDMTM2bXRzam1uBF9TAzk3MzU5NzE0BGdycElkAzQ5OTkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzE0MTU3BHNlYwNmdHIEc2xrA3Z0cGMEc3RpbWUDMTQxMzQ3MDMzNgR0cGNJZAMxNDE1MQ--" style="text-decoration: none; color: #2D50FD;">Messages in this topic</a>
(7)
</td>
</tr>
</tbody>
</table>
<!------- Start Nav Bar ------>
<div id="ygrp-grfd" style="font-family: Verdana; font-size: 12px; padding: 15px 0;">
<!-- |**|begin egp html banner|**| -->
Archives up to December 31, 2011 are also downloadable at <a href="http://www.connettivo.net/cntprojects/ocaml_beginners">http://www.connettivo.net/cntprojects/ocaml_beginners</a><BR>
The archives of the very official ocaml list (the seniors' one) can be found at <a href="http://caml.inria.fr">http://caml.inria.fr</a><BR>
Attachments are banned and you're asked to be polite, avoid flames etc.
<!-- |**|end egp html banner|**| -->
</div>
<!-- |**|begin egp html banner|**| -->
<div id="ygrp-vital" style="background-color: #f2f2f2; font-family: Verdana; font-size: 10px; margin-bottom: 10px; padding: 10px;">
<span id="vithd" style="font-weight: bold; color: #333; text-transform: uppercase; "><a href="https://groups.yahoo.com/neo/groups/ocaml_beginners/info;_ylc=X3oDMTJlbTI4NGhhBF9TAzk3MzU5NzE0BGdycElkAzQ5OTkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwN2dGwEc2xrA3ZnaHAEc3RpbWUDMTQxMzQ3MDMzNg--" style="text-decoration: none;">Visit Your Group</a></span>
<ul style="list-style-type: none; margin: 0; padding: 0; display: inline;">
</ul>
</div>
<div id="ft" style="font-family: Arial; font-size: 11px; margin-top: 5px; padding: 0 2px 0 0; clear: both;">
<a href="https://groups.yahoo.com/neo;_ylc=X3oDMTJkcGZqaGNtBF9TAzk3NDc2NTkwBGdycElkAzQ5OTkxOTQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA2dmcARzdGltZQMxNDEzNDcwMzM2" style="float: left;"><img src="http://l.yimg.com/ru/static/images/yg/img/email/new_logo/logo-groups-137x15.png" height="15" width="137" alt="Yahoo! Groups" style="border: 0;"/></a>
<div style="color: #747575; float: right;"> • <a href="https://info.yahoo.com/privacy/us/yahoo/groups/details.html" style="text-decoration: none;">Privacy</a> • <a href="mailto:ocaml_beginners-***@yahoogroups.com?subject=Unsubscribe" style="text-decoration: none;">Unsubscribe</a> • <a href="https://info.yahoo.com/legal/us/yahoo/utos/terms/" style="text-decoration: none;">Terms of Use</a> </div>
</div>
<br>
<!-- |**|end egp html banner|**| -->
</div> <!-- ygrp-msg -->
<!-- Sponsor -->
<!-- |**|begin egp html banner|**| -->
<div id="ygrp-sponsor" style="width:160px; float:right; clear:none; margin:0 0 25px 0; background: #fff;">
<!-- Start Recommendations -->
<div id="ygrp-reco">
</div>
<!-- End Recommendations -->
</div> <!-- |**|end egp html banner|**| -->
<div style="clear:both; color: #FFF; font-size:1px;">.</div>
</div>
<img src="http://geo.yahoo.com/serv?s=97359714/grpId=4999194/grpspId=1705006764/msgId=14157/stime=1413470336" width="1" height="1"> <br>
<img src="http://y.analytics.yahoo.com/fpc.pl?ywarid=515FB27823A7407E&a=10001310322279&js=no&resp=img" width="1" height="1">
<div style="color: #fff; height: 0;">__,_._,___</div>
<!--~-|**|PrettyHtmlEnd|**|-~-->
</body>
<!--~-|**|PrettyHtmlStart|**|-~-->
<head>
<style type="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;
}
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.file-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;
}
#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;
}
-->
</style>
</head>
<!--~-|**|PrettyHtmlEnd|**|-~-->
</html>
<!-- end group email -->