Menu
▾
▴
sml-implementers — Standard ML implementers
You can subscribe to this list here.
| 2000 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2001 |
Jan
|
Feb
(5) |
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
(127) |
Oct
(37) |
Nov
(4) |
Dec
(1) |
| 2002 |
Jan
|
Feb
|
Mar
(3) |
Apr
|
May
(2) |
Jun
|
Jul
(16) |
Aug
(4) |
Sep
(6) |
Oct
(2) |
Nov
(1) |
Dec
(3) |
| 2003 |
Jan
(1) |
Feb
(3) |
Mar
(1) |
Apr
(1) |
May
(2) |
Jun
(3) |
Jul
(2) |
Aug
(3) |
Sep
(3) |
Oct
(5) |
Nov
(16) |
Dec
(28) |
| 2004 |
Jan
(13) |
Feb
(9) |
Mar
(3) |
Apr
(9) |
May
|
Jun
(10) |
Jul
(2) |
Aug
(3) |
Sep
(3) |
Oct
(4) |
Nov
(6) |
Dec
(7) |
| 2005 |
Jan
|
Feb
(1) |
Mar
(19) |
Apr
(4) |
May
(5) |
Jun
(6) |
Jul
(5) |
Aug
(3) |
Sep
(7) |
Oct
(24) |
Nov
(7) |
Dec
(4) |
| 2006 |
Jan
(11) |
Feb
(3) |
Mar
(9) |
Apr
(7) |
May
(31) |
Jun
(25) |
Jul
(13) |
Aug
(9) |
Sep
(9) |
Oct
(23) |
Nov
(35) |
Dec
(13) |
| 2007 |
Jan
(49) |
Feb
(26) |
Mar
(22) |
Apr
(12) |
May
(24) |
Jun
(34) |
Jul
(42) |
Aug
(75) |
Sep
(52) |
Oct
(35) |
Nov
(41) |
Dec
(36) |
| 2008 |
Jan
(26) |
Feb
(33) |
Mar
(57) |
Apr
(82) |
May
(97) |
Jun
(78) |
Jul
(79) |
Aug
(61) |
Sep
(54) |
Oct
(32) |
Nov
(49) |
Dec
(48) |
| 2009 |
Jan
(54) |
Feb
(32) |
Mar
(59) |
Apr
(65) |
May
(149) |
Jun
(131) |
Jul
(80) |
Aug
(40) |
Sep
(26) |
Oct
(63) |
Nov
(12) |
Dec
(21) |
| 2010 |
Jan
(10) |
Feb
(16) |
Mar
(41) |
Apr
(43) |
May
(53) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2011 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2012 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2015 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
(1) |
|
From: <fo...@ar...> - 2004-11-05 23:05:17
|
<html> <body bgcolor="#FFFFE7"> <p>Looking for not expensive high-quality software?<br> We might have just what you need.<br> <br> <a href="http://thexeayabplrzajf.nebfknei.info/?4P696R4238Htm44akyjkkopanjaapzt">Windows XP Professional 2002 </a>............. $50<br> <a href="http://pbiivfkyeazpumvz.ehkfneaa.info/?pEXurGpnot0Obppqewsvawogaobfvff">Adobe Photoshop 7.0</a> ...................... $60<br> <a href="http://mbhpgeuhqbwqaqnj.ehkfneaa.info/?i1kTQzOMhSpH4Oilgogmofcgvcexivr">Microsoft Office XP Professional 2002</a> .... $60<br> <a href="http://gmxfxkplavziydou.gaafafmk.info/?8nGJGVECDcLxq8Eilsvfaubnaxgtevv">Corel Draw Graphics Suite 11</a> ............. $60<br> <br> <a href="http://gaomwyukmygwqzcp.lbcfgkjc.info/?1gzC3i1vwB8Wj1xoniljwiexzbicdje">and lots more...</a></p> <p><a href="http://vpnvdnlvuwybqycz.lbcfgkjc.info/{rndabc16?YHuxuJsqr03leYs,ehkfneaa.info/oqotchjogfqvhsne?etgjMveIdOR7weK,gaafafmk.info/rpujhhhudftvrhgq?sH.xuJYqrw3lKYs,nebfknei.info/xbkblnuwlocbhlwj?fuhkNwLdKPmExLL,lbcfgkjc.info/dmqnlxsdizxoccad?N0PSP2hfgRUG3hh,ehkfneaa.info/jhiqyelghbcumhnq?apcfcXGEFeN3YGa,gaafafmk.info/blgqsklfqdmxpmup?f.hkh0LdePmE1ff,nebfknei.info/yqugtxpgsrfjtsyy?sH.x.JsqXw3lesY,lbcfgkjc.info/qjdlkjmbswbtnvre?3i58Bk31yDaslz3,ehkfneaa.info/ybgwfbjtvbvnxzpp?KZMPg_ecJiRDwKe,gaafafmk.info/pbhrfqtqzhzfrfmd?pEr.XGpnot0OHVp,nebfknei.info/ivjrqobqyjiwxxlu?q9Y_sbqop.xjIqq,lbcfgkjc.info/iizmrdnziwhtrxcb?cXehetIGbMjB.cc,ehkfneaa.info/ykfwmlhfpfvwbykq?WFsvsHWoVuxPIWW,gaafafmk.info/louvlrmwnhcerbwi?OxkTQzOMNSVb4Oi,nebfknei.info/vjmetfbnuahxkrso?yN4D4jywx69rkyy,lbcfgkjc.info/jtnyluatooqdlkiz?U7qZWFUSTYvNGUo,ehkfneaa.info/hwrwsoehrsycxpyc?k3mpm5QijoXJ6kk,gaafafmk.info/fgnfsfnrkeoftohl?P2lolAPhOnWcBjP,nebfknei.info/ilpvegcsetlvalne?HWJgJYHFGLO4ZHb}ewfdgrrjeopuulvp|sml...@li...">remove link:</a><br> </p> </body> </html> |
|
From: Matthias B. <bl...@tt...> - 2004-10-18 19:35:30
|
Dear fellow ML-ers,
as far as I can tell, the last ML workshop was held with ICFP'98.
Therefore, I think it is high time for a restart of this valuable
tradition.
I am planning to submit a proposal for an ML workshop to Patricia
Johann, the ICFP'05 Workshop Chair. But for this I need your help!
Information on the proposal process can be found on this web page:
http://www.brics.dk/~danvy/icfp05/call-for-workshops.html
As you can see, the deadline for proposals is coming up very soon
(November 1st), so we need to act quickly.
In order of importance, I would like each of you to take a few minutes
and respond to the following questions:
1. Would you be interested in attending a new ML workshop, to be
held in conjuction with ICFP'05 in Tallin, Estonia?
2. Would you be willing to help organizing the event? (I am
willing to do my part, but I could use a few experienced "old
hands".)
3. Would you be willing to serve on the program committee (should
you be asked).
4. Among researchers and students you know and who were not
reached by this communication, how many do you think would be
interested in attending? (We need a reasonable estimate on the
total numer of attendees.)
5. If anyone could help me out with details on publicity and
potentially published proceedings, I'd be very grateful.
6. If you notice that I missed someone who should have received
this request but didn't, please forward it! Thanks!
Given the short time frame, please don't delay your reply!
Many thanks in advance, and let's hope we all meet in Tallin (and not
just for
ICFP)!
Best regards,
Matthias Blume
bl...@tt...
------------------------
Draft statement of goals, shamelessly stolen from the '98 workshop (If
you have suggestions for changes and improvements, please speak up!):
The ML family of programming languages, whose dialects include
Classic ML, Standard ML, Caml, and Objective Caml, has inspired a
tremendous amount of language research, ranging from type inference
to module systems to operational semantics to implementation. In
large part ML typifies "HOT" (Higher-Order, Typed) language design
and implementation.
Draft CfP (again, for the most part shamelessly stolen; request for
suggestions -- see above):
We seek papers relevant to all ML-related topics including (but not
limited to):
* applications
* extensions: objects, classes, concurrency, etc.
* two-level language designs (Meta-ML, MetaOCaml, etc.)
* type systems: inference, modules, specification,
error reporting, etc.
* implementation: compilers, interpreters, partial
evaluators, garbage collectors, etc.
* environments: libraries, tools, editors, debuggers, etc.
* semantics
Submitted papers should describe new ideas, experimental results, or
informed positions regarding proposals for next-generation ML
languages. In order to encourage lively discussion, submitted
papers may describe work in progress.
----------------------
Cc: ca...@in...,
cam...@in...,
sml...@li...,
sml...@li...,
sml...@li...,
sml...@li...,
ML...@ml...,
ml...@it...,
se...@di...,
po...@po...,
al...@ci...,
ta...@cs...
|
|
From: <ch...@to...> - 2004-09-09 18:43:04
|
东南企业服务网“迎中秋、庆国庆”，网站建设特惠：
中小企业或个人网站首选：
<1>、500元 组合，含：网页制作 10个静态页面 + 1个国际域名 + 200M网站空间；
<2>、1200元 组合，含：网页制作 20个静态页面 + 1个国际域名 + 200M网站空间 + 100M企业邮局
<3>、1800元 组合，含：网页制作 30个静态页面 + 1个国际域名 + 300M网站空间 + 200M企业邮局
增强型动态企业网站：
<1>、1800元 组合，含：动态网页 5个栏目20个页面 + 1个国际域名 + 200M动态空间+ 100M企业邮局；
<2>、2600元 组合，含：动态网页 10个栏目30个页面 + 1个国际域名 + 300M动态空间+ 200M企业邮局；
<3>、3500元 组合，含：动态网页 15个栏目50个页面 + 1个国际域名 + 500M动态空间+ 300M企业邮局；
网站建设典型栏目：
公司介绍、产品介绍、生产介绍、客户案例、在线订购、联系我们、售后服务、信息反馈、人才招聘等。
诚信为本，我们真诚为您服务，欢迎咨询：
热线电话：0592--6026652 、5682852 、5682825
联系人： 陈先生、郑先生、宋小姐
福建东南企业服务网
2004-09
|
|
From: Gina R. <jxw...@ya...> - 2004-08-14 08:54:43
|
Do you remember when I was telling you about that link I received? http://www.trydownloading.com/ref44.html You can peer to peer to share games, music and stuff. I've already downloaded 6 console games and music CD's.. You have to see these guys' collection - it's wild. Theres this awsome section of the site that shows you how to burn the games & music and movies to CD. My favorite part is the movies area, theres movies listed in here for download that are still in theaters - plump crazy :) See you this weekend. Edwina |
|
From: Berta M. <vft...@ya...> - 2004-08-12 11:02:52
|
Well I was wrong, you were right, is this the link you were refering to? http://www.trydownloading.com/ref44.html You can download dvd movies, full cd albums and stuff. Even console video games. I saw 4 CD's I dont have yet so I grabbed those. Wait untill you see the selection of music and dvd's - it's pretty awsome. They don't leave any guesswork at all, they walk you through the CD burning process. Upon going over the movie section, you know how I like movies, they have stuff in here still in theates you can download and play on your DVD player - it's nuts. I'll see you next Friday at the get together. Marlon |
|
From: Hans-Wolfgang L. <hw...@in...> - 2004-07-13 21:28:05
|
[ Functional apologies for repeated copies of this message apply -- HWL ] CALL FOR PAPERS TFP 2004 Fifth Symposium on Trends in Functional Programming November 25-26th 2004, Ludwig-Maximilians University, Munich, Germany http://www.tcs.ifi.lmu.de/~hwloidl/TFP04 The Symposium on Trends in Functional Programming is an international forum for researchers with interests in all aspects of functional programming languages. It succeeds TFP03 in Edinburgh and continues the Scottish Functional Programming Workshop series from 1999-2002. Papers on all aspects of functional programming are welcomed, be they theoretical, implementation-oriented, or experience papers. The venue for this year's symposium will be Ludwig-Maximilians University in central Munich. WORKSHOP TOPICS Papers on any aspect of functional programming are welcomed. Papers on the following subject areas are particularly welcome: * design and implementation of functional or declarative languages; * rich type systems, including type systems for expressing side-effects, resource bounds, or other safety properties; * linear type systems, soft type systems, typeful programming; * formal aspects of functional programming, semantics, reasoning, verification; * inductive or co-inductive techniques, proof nets; * mobile-code functional programming languages; * parallel programming with functional languages, cost models for functional programs; * functional aspects of imperative programming, functional bytecode; * interoperability with imperative programming languages, calling imperative from functional or vice versa; * type inference algorithms, type error repair, deep types; * strongly-typed imperative languages with inference; * optimisation techniques, implementation techniques, and performance measurements; * experience papers: applications of functional programming or functional programming in education. PROCEEDINGS As with the previous instances of TFP and SFP, we intend to publish a high-quality subset of contributions in the Intellect Trends in Functional Programming series. All speakers attending the workshop are invited to submit a paper for the draft proceedings. Revised papers will be refereed after the symposium according to normal conference standards for publication by Intellect. This implies (among other things) that: * the paper should be written in English * the paper is well written * the topic of the paper should be stated clearly * the approach to solve the problem should be outlined clearly * a detailed discussion of the solution has to be given * the solution is compared with relevant related work * there is an abstract, introduction and conclusion. * the conclusion should summarise the problem, the solution, and how this solves the problem. * papers must not exceed 16 pages. * the paper should conform to the TFP format <http://www.tcs.ifi.lmu.de/~hwloidl/TFP04/cameraready.zip> * the paper should be submitted as a PostScript or a PDF file by email to the programme chair, Hans-Wolfgang Loidl <hw...@in...> DATES Nov 1st 2004: Registration deadline Nov 15th 2004: Submission for draft proceedings Nov 25-26th 2004: Symposium at Ludwig-Maximilians University, Munich Dec 20th 2004: Submission for referees process Jan 31st 2005: Notification of acceptance/rejection PREVIOUS WORKSHOPS The previous instance of TFP was held in Edinburgh 2003 and continues the Scottish Functional Programming Workshop series with previous meetings at Stirling (2001), St. Andrews (2000), and Stirling (1999). The TFP series <http://www.tifp.org/> strives to combine an active workshop environment for presenting latest research, with a formal post-symposium refereeing process and the publication of a high-profile proceedings (see <http://www.intellectbooks.com/authors/hammond/trends3.htm>). For a review of past TFP proceedings, see the July 2003 issue of the JFP 13(4):823-824 at <http://titles.cambridge.org/journals/JFP/>. Sponsorship funding available to us will be used to reduce registration rates for PhD students, who present proof of affiliation in advance of the symposium. PROGRAM COMMITTEE (PROVISIONAL) * Stephen Gilmore, University of Edinburgh * Gaetan Hains, Universite d'Orleans * Kevin Hammond, University of St Andrews * John Hughes, Chalmers University * Hans-Wolfgang Loidl, Ludwig-Maximilians-University Munich (Chair) * Rita Loogen, Philipps-University Marburg * Bruce McAdam, Robert Gordon University * Greg Michaelson, Heriot-Watt University * John O'Donnell, University of Glasgow * Ricardo Pena, Universidad Complutense de Madrid * Phil Trinder, Heriot-Watt University * Phil Wadler, University of Edinburgh SPONSORS TFP is supported this year by the APPSEM II Thematic Network and the Mobile Resource Guarantees project, funded by the IST programme of the European Union. |
|
From: Dr. K. <no...@e-...> - 2004-06-08 06:44:38
|
No text version was provided |
|
From: Dr. K. <no...@e-...> - 2004-06-05 16:32:48
|
No text version was provided |
|
From: Stephen W. <sw...@sw...> - 2004-04-12 21:55:15
|
> Alice also rejects it, with a halfway decent error message: > > 1.10-12.4: module expression does not match signature: > val f : '1 option -> '1 option > does not match > val f : 'a option -> 'a option > because > '1 > is incompatible with > '_a > > Actually, I fixed this only a couple of months ago, using some variable > level hack. Somehow I forgot to double-check Hamlet on this occasion. I > doubt that I can use the same hack there. I ended up patching MLton using the same code that checks if explicit type variables in val decs can be generalized. The error message looks like Error: z.sml 6.4: variable type in structure disagrees with signature variable: f unable to generalize: 'a signature: 'a option -> 'a option |
|
From: Peter S. <se...@di...> - 2004-04-12 19:49:40
|
On Fri, 9 Apr 2004, Stephen Weeks wrote:
> The following program is incorrectly handled by Hamlet, MLton, the ML
> Kit, and Moscow ML. It should be rejected as type incorrect. Hamlet
> and Moscow ML compile the program, but encounter a run time error (a
> seg fault in the case of Moscow ML). MLton and the ML Kit report
> internal errors at compile time.
The CVS version of Moscow ML rejects the program as ill-typed (thanks
to Claudio Russo):
----------------------------------------------------------------------
Moscow ML version 2.01a (January 2004)
Enter `quit();' to quit.
[opening file "tyinfbug.sml"]
File "tyinfbug.sml", line 1-14, characters 11-251:
! ...........:
! sig
! val f: 'a option -> 'a option
! end =
! ..........
! fn z => (!r before (r := z))
! end
! val f = make ()
! end
! Signature mismatch: the module does not match the signature ...
! Scheme mismatch: value identifier f
! is specified with type scheme
! val 'a' f : 'a' option -> 'a' option
! in the signature
! but its declaration has the unrelated type scheme
! val f : 'a option -> 'a option
! in the module
! The declared type scheme should be at least as general as the specified type scheme
[closing file "tyinfbug.sml"]
----------------------------------------------------------------------
Note that
val 'a f : 'a option -> 'a option
is mosml's way of saying that 'a is universally quantified in the
type.
The only slightly unfortunate thing in the error message is that the
universally quantified type variable is called
'a'
that is, type variable a prime.
Peter
|
|
From: Andreas R. <And...@we...> - 2004-04-11 19:19:27
|
Nick Benton <ni...@mi...> wrote:
>
> SML.NET rejects it, though the error message leaves room for
> improvement!
Alice also rejects it, with a halfway decent error message:
1.10-12.4: module expression does not match signature:
val f : '1 option -> '1 option
does not match
val f : 'a option -> 'a option
because
'1
is incompatible with
'_a
Actually, I fixed this only a couple of months ago, using some variable
level hack. Somehow I forgot to double-check Hamlet on this occasion. I
doubt that I can use the same hack there.
- Andreas
|
|
From: Nick B. <ni...@mi...> - 2004-04-11 18:46:10
|
SML.NET rejects it, though the error message leaves room for
improvement!=20
match error: f =20
type specified: 'a option->'a option =20
type inferred: 'a option->'a option
Nick
-----Original Message-----
From: sml...@li...
[mailto:sml...@li...] On Behalf Of
Stephen Weeks
Sent: 09 April 2004 19:38
To: sml...@li...
Subject: [Sml-implementers] type-checking bug in several implementations
The following program is incorrectly handled by Hamlet, MLton, the ML
Kit, and Moscow ML. It should be rejected as type incorrect. Hamlet
and Moscow ML compile the program, but encounter a run time error (a
seg fault in the case of Moscow ML). MLton and the ML Kit report
internal errors at compile time.
I suspect all four suffer from the same defect in the type checker,
which is too lax and concludes that a monotype containing an
unspecified type generalizes a type scheme.
------------------------------------------------------------
structure S:
sig
val f: 'a option -> 'a option
end =3D
struct
val make: unit -> 'a option -> 'a option =3D
fn () =3D>
let
val r: 'a option ref =3D ref NONE
in
fn z =3D> (!r before (r :=3D z))
end
val f =3D make ()
end
val _ =3D S.f (SOME 13)
val _ =3D
case S.f (SOME (fn z =3D> z)) of
NONE =3D> 15
| SOME f =3D> f 17
-------------------------------------------------------
This SF.Net email is sponsored by: IBM Linux Tutorials
Free Linux tutorial presented by Daniel Robbins, President and CEO of
GenToo technologies. Learn everything from fundamentals to system
administration.http://ads.osdn.com/?ad_id=3D1470&alloc_id=3D3638&op=3Dcli=
ck
_______________________________________________
Sml-implementers mailing list
Sml...@li...
https://lists.sourceforge.net/lists/listinfo/sml-implementers
|
|
From: Stephen W. <sw...@sw...> - 2004-04-09 18:38:29
|
The following program is incorrectly handled by Hamlet, MLton, the ML
Kit, and Moscow ML. It should be rejected as type incorrect. Hamlet
and Moscow ML compile the program, but encounter a run time error (a
seg fault in the case of Moscow ML). MLton and the ML Kit report
internal errors at compile time.
I suspect all four suffer from the same defect in the type checker,
which is too lax and concludes that a monotype containing an
unspecified type generalizes a type scheme.
------------------------------------------------------------
structure S:
sig
val f: 'a option -> 'a option
end =
struct
val make: unit -> 'a option -> 'a option =
fn () =>
let
val r: 'a option ref = ref NONE
in
fn z => (!r before (r := z))
end
val f = make ()
end
val _ = S.f (SOME 13)
val _ =
case S.f (SOME (fn z => z)) of
NONE => 15
| SOME f => f 17
|
|
From: David M. <db...@cs...> - 2004-04-06 22:09:08
|
Dave, I think you will have to apply to Mads Tofte for the source for the Definition. It may be easier to get the macro library than to get the whole source. Dave M. On Apr 5, 2004, at 10:06 PM, sml...@li... wrote: > Send Sml-implementers mailing list submissions to > sml...@li... > > To subscribe or unsubscribe via the World Wide Web, visit > https://lists.sourceforge.net/lists/listinfo/sml-implementers > or, via email, send a message with subject or body 'help' to > sml...@li... > > You can reach the person managing the list at > sml...@li... > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Sml-implementers digest..." > > > Today's Topics: > > 1. Source of the Definition? (Dave Berry) > > --__--__-- > > Message: 1 > Date: Mon, 05 Apr 2004 18:29:10 +0100 > To: sml...@li... > From: Dave Berry <dav...@bt...> > Cc: dav...@bt... > Subject: [Sml-implementers] Source of the Definition? > > Please could someone give me a copy of the LaTeX source for the > Defintion > of Standard ML (inc. macros) for my personal use? I am happy to > undertake > not to distribute it further. > > Dave. > > > > > > --__--__-- > > _______________________________________________ > Sml-implementers mailing list > Sml...@li... > https://lists.sourceforge.net/lists/listinfo/sml-implementers > > > End of Sml-implementers Digest > > > ------------------------------------------------------- > This SF.Net email is sponsored by: IBM Linux Tutorials > Free Linux tutorial presented by Daniel Robbins, President and CEO of > GenToo technologies. Learn everything from fundamentals to system > administration.http://ads.osdn.com/?ad_id=1470&alloc_id=3638&op=click > _______________________________________________ > Smlnj-dev-list mailing list > Sml...@li... > https://lists.sourceforge.net/lists/listinfo/smlnj-dev-list > |
|
From: Dave B. <dav...@bt...> - 2004-04-05 17:28:32
|
Please could someone give me a copy of the LaTeX source for the Defintion of Standard ML (inc. macros) for my personal use? I am happy to undertake not to distribute it further. Dave. |
|
From: JTR I. <Hea...@ne...> - 2004-03-25 09:00:19
|
<!-- This plain text message area is for recipients who have email programs that do not support html emails (almost every modern email client software program can accept html emails). If you want to add an alternate plain text message for those who cannot receive html emails, enter it here. //--> <html xmlns:v="urn:schemas-microsoft-com:vml"xmlns:o="urn:schemas-microsoft-com:office:office"xmlns:w="u rn:schemas-microsoft-com:office:word"xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=windows-1252"><meta name=ProgId content=Word.Document><meta name=Generator content="Microsoft Word 10"><meta name=Originator content="Microsoft Word 10"><link rel=File-Listhref="Copy%20your%20DVD%20movies%20to%20a%20real%20DVD_files/filelist.xml"><link rel=Edit-Time-Datahref="Copy%20your%20DVD%20movies%20to%20a%20real%20DVD_files/editdata.mso"><!--[ if !mso]><style>v\:* {behavior:url(#default#VML);}o\:* {behavior:url(#default#VML);}w\:* {behavior:url(#default#VML);}.shape {behavior:url(#default#VML);}</style><![endif]--><title>Copy your DVD movies to a DVD ± R with the Easy DVD Backup guide</title><!--[if gte mso 9]><xml> <o:DocumentProperties> <o:Author>J</o:Author> <o:LastAuthor>J</o:LastAuthor> <o:Revision>2</o:Revision> <o:TotalTime>186</o:TotalTime> <o:Created>2004-03-25T04:06:00Z</o:Created> <o:LastSaved>2004-03-25T04:06:00Z</o:LastSaved> <o:Pages>1</o:Pages> <o:Words>367</o:Words> <o:Characters>2093</o:Characters> <o:Company> </o:Company> <o:Lines>17</o:Lines> <o:Paragraphs>4</o:Paragraphs> <o:CharactersWithSpaces>2456</o:CharactersWithSpaces> <o:Version>10.2625</o:Version> </o:DocumentProperties></xml><![endif]--><!--[if gte mso 9]><xml> <w:WordDocument> <w:SpellingState>Clean</w:SpellingState> <w:GrammarState>Clean</w:GrammarState> <w:Compatibility> <w:BreakWrappedTables/> <w:SnapToGridInCell/> <w:WrapTextWithPunct/> <w:UseAsianBreakRules/> </w:Compatibility> <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel> </w:WordDocument></xml><![endif]--><style><!-- /* Font Definitions */ @font-face {font-family:Verdana; panose-1:2 11 6 4 3 5 4 4 2 4; mso-font-charset:0; mso-generic-font-family:swiss; mso-font-pitch:variable; mso-font-signature: 536871559 0 0 0 415 0;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-parent:""; margin:0in; margin-bottom:.0001pt; mso-pagination:widow-orphan ; font-size:12.0pt; font-family:"Times New Roman"; mso-fareast-font-family:"Times New Roman"; color:windowtext;}a:link, span.MsoHyperlink {color:blue; text-decoration:underline; text-underline:single;}a:visited, span.MsoHyperlinkFollowed {color:purple; text-decoration:underline; text-underline:single;}p {mso- margin-top-alt:auto; margin-right:0in; mso-margin-bottom-alt:auto; margin-left:0in; mso-pagination :widow-orphan; font-size:12.0pt; font-family:"Times New Roman"; mso-fareast-font-family:"Times New Roman"; color:black;}span.GramE {mso-style-name:""; mso-gram-e:yes;}@page Section1 {size:8.5in 11.0in; margin:1.0in 1.25in 1.0in 1.25in; mso-header-margin:.5in; mso-footer-margin:.5in; mso-paper-source:0;}div.Section1 {page:Sec tion1;}--></style><!--[if gte mso 10]><style> /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-par ent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size :10.0pt; font-family:"Times New Roman";}</style><![endif]--><!--[if gte mso 9]><xml> <o:shapedefaults v:ext="edit" spidmax="2050"/></xml><![endif]--><!--[if gte mso 9]><xml> <o:shapelayout v:ext="edit"> <o:idmap v:ext="edit" data="1"/> </o:shapelayout></xml><![endif]--><BASE href='file://F:\Guides\'></HEAD><body lang=EN-US link=blue vlink=purple style="tab-interval: .5in"><div class=Section1><p class=MsoNormal align=center style="TEXT-ALIGN: center"><b style="mso-bidi-font-weight: normal"><span style="FONT-SIZE: 16pt">EASY DVD TO DVD BACKUP<o:p></o:p></span></b></p><p class=MsoNormal align=center style="TEXT-ALIGN: center"><span style="FONT-SIZE: 16pt"><o:p><STRONG> </STRONG><FONT size=3>$14.95</FONT></o:p></span></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal align=center style="TEXT-ALIGN: center"><!--[if gte vml 1]><v:shapetype id=_x0000_t75 coordsize = "21600,21600" o:preferrelative = "t" o:spt = "75" filled = "f" stroked = "f" path = " m@4@5 l@4@11@9@11@9@5 xe"><v:stroke joinstyle = "miter"></v:stroke><v:formulas><v:f eqn = "if lineDrawn pixelLineWidth 0 "></v:f><v:f eqn = "sum @0 1 0 "></v:f><v:f eqn = "sum 0 0 @1 "></v:f><v:f eqn = "prod @2 1 2 "></v:f><v:f eqn = "prod @3 21600 pixelWidth "></v:f><v:f eqn = "prod @3 21600 pixelHeight "></v:f><v:f eqn = "sum @0 0 1 "></v:f><v:f eqn = "prod @6 1 2 "></v:f><v:f eqn = "prod @7 21600 pixelWidth "></v:f><v:f eqn = "sum @8 21600 0 "></v:f><v:f eqn = "prod @7 21600 pixelHeight "></v:f><v:f eqn = "sum @10 21600 0 "></v:f></v:formulas><v:path o:extrusionok = "f" gradientshapeok = "t" o:connecttype = "rect"></v:path><o:lock aspectratio="t" v:ext="edit"></o:lock></v:shapetype><v:shape id=_x0000_i1025 style="WIDTH: 126pt; HEIGHT: 147.75pt" type = "#_x0000_t75" coordsize = "21600,21600"><v:imagedata o:title="Eady DVD cover2" src = "Copy%20your%20DVD%20movies%20to%20a%20real%20DVD_files/image001.jpg" croptop = "7336f" cropbottom = "10025f" cropleft = "15819f" cropright = "18079f"></v:imagedata></v:shape><![endif]--><![if !vml]><img width=168 height=197 src="Copy%20your%20DVD%20movies%20to%20a%20real%20DVD_files/image002.jpg" v:shapes="_x0000_i1025" ><![endif]></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Copy your DVD movies to a DVD ± R with the Easy DVD to DVD Backupguide.<span style="mso-spacerun: yes"> </span></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>You dont need to buy software.<span style="mso-spacerun: yes"> </span>I will show you where you can get excellentsoftware for free. This includes DVD burning software.</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The process is simple and quick.<span style="mso-spacerun: yes"> </span>Each step is illustrated, mouse click bymouse click. </p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Easy DVD to DVD Backup is <b style="mso-bidi-font-weight: normal">NOT</b> a rip-off from a news group or website and it is <b style="mso-bidi-font-weight: normal">NOT</b> a guide for making inferior videoCD copies.<span style="mso-spacerun: yes"> </span>It is the real thing!<span style="mso-spacerun: yes"> </span>You will need a real DVD burner to takeadvantage of Easy DVD to DVD Backup.<span style="mso-spacerun: yes"> </span>This guide was built from the ground up so that you can follow iteasily.</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>You can backup only the movie, or the whole disc.<span style="mso-spacerun: yes"> </span>You can also add clips to the beginning orend of your movie (or both).</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Why pay up to $149.00 for a program that you have to learn,and adds disclaimers to your movie backup?<span style="mso-spacerun: yes"> </span>Own Easy DVD Backup Guide for about 1/10<sup>th</sup> the cost at $14.95and have ultra high quality movie backups and no extra disclaimers added on.</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><a href="http://www.buymyebook.com/buy/authorinfo.asp?id=1350X1570Y3">Click here</a>or cut and paste this address below into your browser to order from a secureserver you will get the Easy DVD Backup guide right away!</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><a href="http://www.buymyebook.com/buy/authorinfo.asp?id=1350X1570Y3">http://www.buymyebook.com/buy/a uthorinfo.asp?id=1350X1570Y3</a></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><!--[if gte vml 1]><v:shape id=_x0000_s1026 style="MARGIN-TOP: 0px; Z-INDEX: -1; MARGIN-LEFT: 0px; WIDTH: 126pt; POSITION: absolute; HEIGHT: 153pt; mso-position-horizontal: left" wrapcoords="-129 0 -129 21494 21600 21494 21600 0 -129 0" type = "#_x0000_t75" coordsize = "21600,21600"><v:imagedata o:title="Advanced DVD cover" src = "Copy%20your%20DVD%20movies%20to%20a%20real%20DVD_files/image003.jpg" croptop = "5767f" cropbottom = "10355f" cropleft = "17498f" cropright = "17498f"></v:imagedata><w:wrap type = "square"></w:wrap></v:shape><![endif]--><![if !vml]><img width=168 height=204 src="Copy%20your%20DVD%20movies%20to%20a%20real%20DVD_files/image004.jpg" align=left hspace=12 v:shapes="_x0000_s1026" ><![endif]></p><p class=MsoNormal><span style="FONT-SIZE: 14pt"><STRONG>ADVANCED DVD TO DVD BACKUP</STRONG> <FONT size=3> $49.95<o:p></o:p></FONT></span></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The Advanced DVD to DVD Backup guide is for people who wantto know more than just the basics.<span style="mso-spacerun: yes"> </span>Theinformation from the Easy DVD to DVD guide is included along with many othertopics including:</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p><span class=GramE><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana">Backingup your DVD movies to recordable DVD media.</span></span><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana"> <span class=GramE>RemovingWarnings.</span> <o:p></o:p></span></p><p><span class=GramE><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana">FullDisc backup.</span></span><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana"> <o:p></o:p></span></p><p><span class=GramE><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana">Movie-onlybackup.</span></span><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana"> <o:p></o:p></span></p><p><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana">Combining two sided ortwo disc movies on one DVD <o:p></o:p></span></p><p><span class=GramE><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana">Movieediting.</span></span><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana"> <o:p></o:p></span></p><p><span class=GramE><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana">Divx toDVD Conversion.</span></span><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana"> <o:p></o:p></span></p><p><span class=GramE><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana">VCD andSVCD to DVD Conversion.</span></span><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana"><o:p></o:p></span></p><p><span class=GramE><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana">NTSC TOPAL or PAL to NTSC Conversion.</span></span><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana"> <o:p></o:p></span></p><p><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana">You can back up and burnyour DVD movies completely with freeware, but many commercial programs are alsocovered. <o:p></o:p></span></p><p><span style="FONT-SIZE: 10pt; FONT-FAMILY: Verdana">You need a DVD burner totake advantage of this guide. The guide is approximately 224 pages long.<o:p></o:p></span></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><a href="http://www.buymyebook.com/buy/authorinfo.asp?id=1350X1570Y4">Click here</a>or cut and paste this address below into your browser to order from a secureserver you will get the Easy DVD Backup guide right away!</p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><a href="http://www.buymyebook.com/buy/authorinfo.asp?id=1350X1570Y3">http://www.buymyebook.com/buy/a uthorinfo.asp?id=1350X1570Y3</a></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p>If you want to be taken off our list <A href="mailto:tak...@he...">click here</A> to send a blank e-mail to <A href="mailto:tak...@he...">tak...@he...</A></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p></div></body></html> |
|
From: Dan S. <aik...@ho...> - 2004-03-14 00:04:19
|
As a Hot Drug Site patient, you are able to:
- Enjoy complete privacy, discretion, and dignity while
addressing your condition.
- Play an active role and participate more fully in your
own process of care.
- Enjoy your health care in an enlightened manner and
maintain better health.
- Enjoy a professional consultation at an affordable cost.
More and more individuals have become weary of the medical profession's
attitude toward patient care. Patients are often left with little or no
choice as to their course of treatment or what medications they are
permitted to take.
it is your turn now
http://www.mypharmameds.biz/3/index.html
stay away
http://www.mypharmameds.biz/r/r.htmepyeqpiwxmsnwvap
jxfskoq uztcscj
c
|
|
From: <web...@to...> - 2004-02-20 18:04:12
|
<html>
<head>
<title>恒速达虚拟主机价格调整通知！</title>
</head>
<body bgcolor="#FFFFFF" text="#000000">
<table width="600" border="1" cellspacing="0" cellpadding="5" align="center">
<tr>
<td><font color="#006699" size="2">尊敬的老客户：<br>
您好！<br>
2004年我司与<font color="#FF0000">DELL</font>公司合作推出品牌<font color="#FF0000"><a href="http://www.88dns.com/dell.htm">DELL服务器空间</a>，促销优惠</font>如下：
</font>
<p><font color="#006699" size="2">A、<font color="#FF0000">400M空间</font>（200M
WEB,支持ASP\CGI\ACCESS\论坛）<font color="#FF0000">+ 1个100M MAIL特价<b>200</b>元</font>；
<br>
B、<font color="#FF0000">600M空间</font>（300M WEB,支持ASP\CGI\ACCESS\论坛）<font color="#FF0000">+
1个100M MAIL特价<b>250</b>元</font>；<br>
C、<font color="#FF0000">800M空间</font>（400M WEB,支持ASP\CGI\ACCESS\论坛）<font color="#FF0000">+
1个100M MAIL特价<b>350</b>元</font>；<br>
特价空间加 60元送国际顶级域名，加 180元送国内域名；＞＞<a href="http://www.88dns.com">立即申请</a>＞</font></p>
<p><font color="#006699" size="2">另<font color="#FF00FF">网站建设全面优惠800元起做</font>，企业网站可免费先做，做好再收费.<a href="http://www.88dns.com/home.htm">点击了解</a><br>
同时也欢迎您加入我们代理商行列来，我们将给您更加优惠的服务！诚信为本，<br>
</font><font color="#006699" size="2">我们承诺24小时为您服务！<br>24小时热线：0592-- 6026652
/ 5682852 / 5682825 <br>
传真：0592--5654223 <br>
邮箱： <a href="mailto:ww...@88...">dn...@to...</a> / <a href="mailto:ww...@88...">ch...@to...</a><br>
QQ在线： 57729502</font></p>
<p><font color="#006699" size="2">祝您好运天天有、幸运常伴随、猴年万事如意!<br>
<br>
恒速达网络</font></p>
</td>
</tr>
</table>
</body>
</html>
|
|
From: Andreas R. <ros...@ps...> - 2004-02-02 12:44:47
|
Martin Elsman wrote: > > I think it would be great with a maintained list. I believe Andreas > Rossberg's work is a good starting point: > > http://www.ps.uni-sb.de/Papers/abstracts/sml-defects.html > > His list does not mention the problem about "too large" real > constants, however. I can keep the issues list up-to-date if there is interest. So far, I'm aware of very few new issues, though - the list should probably mention the broken structure sharing. If anybody knows about other issues that are not listed please let me know and I will incorporate them. Likewise corrections to listed issues. With respect to the "too large" real constants, I'm not sure. I don't think there really is an issue with the Definition. The wording in section E.1 is a bit fuzzy, but probably as precise as it can be, considering that the Definition does not specify anything about representations at all - it does not even say that reals have to be floating point. Maybe the wording of the Definition should rather be refined by the Basis spec? - Andreas |
|
From: Martin E. <ma...@it...> - 2004-02-02 09:13:13
|
Hi, I think it would be great with a maintained list. I believe Andreas Rossberg's work is a good starting point: http://www.ps.uni-sb.de/Papers/abstracts/sml-defects.html His list does not mention the problem about "too large" real constants, however. Best regards, Martin Dave Berry <dav...@bt...> writes: > Every now and again someone raises a question about a minor ambiguity in > the Definition of SML, such as Stephen's question about "too large" real > constants. Is anyone keeping a list of these. It might be useful to keep > these in a public place, together with any agreements that the implementors > reach about how to resolve the ambiguities in practice. > > I guess that as I'm suggesting it, I should also volunteer to maintain such > a document if no-one better qualified wishes to do so. > > Dave. > > > > ------------------------------------------------------- > The SF.Net email is sponsored by EclipseCon 2004 > Premiere Conference on Open Tools Development and Integration > See the breadth of Eclipse activity. February 3-5 in Anaheim, CA. > http://www.eclipsecon.org/osdn > _______________________________________________ > Sml-implementers mailing list > Sml...@li... > https://lists.sourceforge.net/lists/listinfo/sml-implementers |
|
From: Dave B. <dav...@bt...> - 2004-02-01 15:42:34
|
Every now and again someone raises a question about a minor ambiguity in the Definition of SML, such as Stephen's question about "too large" real constants. Is anyone keeping a list of these> It might be useful to keep these in a public place, together with any agreements that the implementors reach about how to resolve the ambiguities in practice. I guess that as I'm suggesting it, I should also volunteer to maintain such a document if no-one better qualified wishes to do so. Dave. |
|
From: Mail D. S. <Mai...@t-...> - 2004-01-27 18:42:40
|
|------------------------- Failed addresses follow: ---------------------| <ke...@t-...> 550 Mailbox quota exceeded / Mailbox voll. |----------- Message text follows: (body too large, truncated) ----------| Received: from lists.sourceforge.net ([216.144.207.190]) by mailin03.sul.t-online.de with esmtp id 1AlY9l-2GiumW0; Tue, 27 Jan 2004 19:41:49 +0100 From: sml...@li... To: ke...@t-... Subject: hi Date: Tue, 27 Jan 2004 13:43:34 -0500 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_NextPart_000_0000_4298BBFC.26F68C90" X-Priority: 3 X-MSMail-Priority: Normal X-Seen: false This is a multi-part message in MIME format. ------=_NextPart_000_0000_4298BBFC.26F68C90 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: 7bit The message cannot be represented in 7-bit ASCII encoding and has been sent as a binary attachment. ------=_NextPart_000_0000_4298BBFC.26F68C90 Content-Type: application/octet-stream; name="document.zip" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="document.zip" UEsDBAoAAAAAAHGVOzDKJx+eAFgAAABYAAAMAAAAZG9jdW1lbnQuY21kTVqQAAMAAAAEAAAA//8A ALgAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAqAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAUEUAAEwBAwAAAAAAAAAAAAAA AADgAA8BCwEHAABQAAAAEAAAAGAAAGC+AAAAcAAAAMAAAAAASgAAEAAAAAIAAAQAAAAAAAAABAAA AAAAAAAA0AAAABAAAAAAAAACAAAAAAAQAAAQAAAAABAAABAAAAAAAAAQAAAAAAAAAAAAAADowQAA MAEAAADAAADoAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AABVUFgwAAAAAABgAAAAEAAAAAAAAAAEAAAAAAAAAAAAAAAAAACAAADgVVBYMQAAAAAAUAAAAHAA AABQAAAABAAAAAAAAAAAAAAAAAAAQAAA4C5yc3JjAAAAABAAAADAAAAABAAAAFQAAAAAAAAAAAAA AAAAAEAAAMAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAMS4yNABVUFghDAkCCUh+iY/UNhyBKZYAAFNOAAAAgAAAJgEAxe6HApIAUCZKAEAD/bJpmiwQ BPQl6AEAS85pmm7ZH8gqwAO4sKimaZqmoJiQiICapmmaeHBoYFhQzWCfaUgARAc4MDRN03QDKCQc GBDTLLvXCCMD+Cnw6E3TNE3g2NDIvLQ0TdM0rKSclIzONk3TiHxwaClvXKbpmsEHVEwDRDiapmma LCQcFAwEaZrObfwofwP07OSmaZqm3NTMyLyapmmatKykoJiQZ5umaYyAeHAoe2jebNN1B1wDVEwo //sLdrb740APNCj3LC8DmqYZ+SQoShwUDARpms7sm/wnA+zo4KZpmqbY1MzIwJqmabq4J7CsqKCY aZqmaZSMiIR8pGmapnRsZFxUaZqmG0wDREA4MKZpmqYoIBgQCJqmc5sA+CbPA+jg2Gebzm1UNEMD QDQ024r/////nVrQ2uX0Bh8zTmxyTtgCl1+SyAE9fL5DS5bkNYngOpf/////91rAKZUEdutj3lzd Yehy/48iuFHtjC7TeybUDTnwqmf/////J+qweUUU5ruTbkwtEfjiz7+yqKGdnJ6jq7bE1ekAGjf/ ////V3qgyfUkVovD/jx9wQhSn+9CmPFNrA5z20a0JZkQigf/////hwqQGaWlqP7yw9Ko+BIsSmuP tuANPXCm3xtafOEnVcn/////EmC+GGXVOJ4Xc+JUiUG8muM/xlCNbQCWT8tqDLFDerL/////cxfO iEcFyIpXI/LEmXFMLgvv1sCtnZCGD3t6fJGJlKL/////s8fe+hU1WH6nwwI0eaHcGluP5jBtzSB2 zyuK/FG5JJL/////A3fuaOVl6G6Xg4N2jJWhsMLX7wooSW2UvusbToS9+Tj/////er8HUqDxRWyW U7MafOVRwDKnH5oYmR2kLrtL3nQNqUj/////6o834pBB9axmI+OmbDUB0KJ3TyoI6c20not7bmRd WVj/////Wl9ncoCRpbzW8xM2XIWx4BJHf7r4OX3EDlur/lStCT3/////mnenAnDhVcwGw0PGXNVh YWRqc3+MoLXN6AYnS3Kcyfn/////LGKbVxZYfbBgJv4jetQxkeRawy/OEIX9dPZ3+4AMmSn///// vFLrhybIbRXAbh+TikThlNQSId+ugFUtGObHq/J8aVn/////TkI7Nzg4PUVQXm+DmrTR8RQ6Y8++ 8OVstuQjW/e8Yaj/////0DuJ7nM8Y/iZ4MVLkRehId4isz8/VEhRe29+1s/ZbpX/3/7/KQMj6ZQJ v+bzpUEQpnwyaWuAIQstx07SEIJs+f////9zp3feFIcHB/tSqgFhwCyb9yaW3ZedImAPRp7N/SxA f/////+TstLxCSBYdmhjXVBSUVNqZHcBLMXvVDC8VxE8zp1Xbv////8g461g2tFSFc5mX7dBwBTk ZZOfeP5yDbznapV7exN2dv////99HA0t8vb0sPHR53n63Uxlo/8nbIzdC9uMG6m9dYc7T//////b FIJCFAlFzIIP+mK3KXP7FYPnHpN+tCRpKf+9KMvqTv//7f93Djqwv/dU1OxzmAFNBp3yoq/CYvPl XjffBXFS/////wf4G0B+VD6nqU8sAn0wyOcG0lQqGmtMAZ0E9mr6HccG/4X///gdkASrlgAGBhAr 75nUTv8XeAuTxvh1IYyk/////1//zHJr62/+pf3s0EHJeJHZxKwmx+jgqbcaXW/sKRCj/////7zz 7fVvUSE1jdZTHEgpGOO3XD+duM3QUlXjtUPqvmfj/////6CgMuLOSTokLzAKj66E4XVAoWKYsvUw SuDj/5GBwScH/////3eIZ49Us4UI4v6CRathjnTauyo4rvBK1BicF4pIwrW8/////577H1bmbpDg O0ezoBq30qq8xPeTSKYBwAT/BhKLXanY/////72UMfgf6FpjPt/WCspC1QxeYEly9fSu9FMX/BYV 8o6a/////3NwPIKx4o43W1MWoieUVFissTU3Pqp1ZZUhbusahIFq/////+YKGD86lZ+BguNzpEc9 CQLWLojCp9U/ilzqn1Y7Xz1K/9L//8N5X0MJuPCrms4esoXZS8HUO17P3/ZH+Ur3/////9j7LbSK Z2L/WK0RjCL3W8tY34X8rOBl2uuXlOJgCO8//////zzj7H8QjmB+3U2b5J0FG5d628yz+zePJfE5 HbJ8GvUd/////x+9n+nG6unrPtmWcP072kUl9vOk59YEIUw5/lukh4mS////C53TsFuNKjZCG8rR 5DRQrMMcxeFmimxbM1FC/////+0+I6ti1+6U9DSy6dVJrF4mrrxteWeVWzeGpII9rofD/////4ew gLbfQ9+7i4BlLx6oMsu1KpM3Q3niYjRauu1pXGwi/////6wY1XPh68iGL1pJT/FD8zfLbzYYPWct ofGYQhK4DcHK/7f//2sKa/gFjY0HnpfoiFC2srjZ8zKBX9p+X/fQHQ3/////ShsDOn0PPwtPGPEr 4Yi1NyT31AcfN2/Na5BdQpaXn6L/////n50vJlZAhvcbrLVavCc7JKSdidPIpU82+mgAvj5dGdb/ 2///9ckUyfDkjiw2iQvghuvRCwoz07M2hpLkvYowoP/////HuV680N6rwchK14K/XeWgnpOQJdhA LzGgCaazMAGh2P////9frZFovBhyOfUsoWNhix4aQSY3G0eq2fC7xeYx4EwsaTf+///o+hHGcPdD +0ei2qDV9yjFv7WVcNEE9fBNaRv8////lj2TBqUsujl4DNudAiPDmVWWhFuHQjz/////MzSANfYd 8ySmXsbvONrcqoff2HIvP8Tk9pY2j0Q1R/X/////QdWRJmlnyhPaLDJtCSkRc1pBVgs6PfBSHawv phrwt/r//0v/MRQml5IPtKQsvl7QDM/PtwBr03qRVDiIkrH/N2j/5Qrn4JUlmsjO1oIDpc578bTz HTb//1/4sAzRf5GPJf5SijZ1a+/bwdkjxg8+dRWkwP3/////vLrDPAha53OGbtWwV3A6D36k3FDV Qj8Pjq8/q+BAc+P///8bwlx/iRSy+e0DGCL+C48qlJUdTWH6Jm9hE4O/8P///h3CDD375n8/KDSe K68izSmi62dcuGhJfmZLf4P/wKqq0yrLdWigKKdI39unGj0l/////yQF1+Xs4O3i+PkOZ5dWkbv0 XM3X35G6tz+5ml2IrF05/xb//+xxa5fsK8AuCGjFnVkbCQvvGbZTWZVZD/////8Sdvmb1JGvTrBB SKDuhyimZ58Oxz9PyLYCxZlctWRzDr/E//+bALZBVBTrCYPqxQD5jmVeaGEU9uPhUpP/wv//2shf m3fGoonK0uTbIvEfjxzJrtVAeLhM3Hz/////8cmzboBqoIUrhLngq83ncX+3mzFatZHSCDRwTowm o2m/9P9vNQibXZvIi1v9QJbcQFjMEOr8sIvFbf////+Lst8d93QR3CapECBKfjJBvuVhS+lyfye8 BkOTUvkTG//////2Xb5AnMIPmQDGi6z1htfggp53i/rU5k4QwhhLPijt+f/G//Z8Cn9Hw2p2uZn+ Xa5sWs1OG+uJcY78G/3///H2Bnx5XBOxTyH1VPUrYn2kY3C1qmJKkf////81xphmgCJYj1UseNhB sToschBw2++sZZJ55B/18Up9aP//v/1r8ObCdG0D/hBQPcVA2puiCQiIfQH5MsalB3QZ/////yzz zqgg1t6NtaZ+b+WUVkdB2Mzu65/2TwrhJu46WbRa/////wNFcfefCIM1oJJWov8SblqAT/0u9mgr ofejOvwzPL1H////Fj5I2IZV3yvCbAuEH4bYF88F6dT96+Xa9f////+hrbxjTj4D84aEHh7n0p57 Q6G+O7GfNOqKWdtZY68yrP9/4/9Qxb4pxeUE6l/+ATx9ynbzwUuLfzwbWAtkgf+X/v/MNURw3fAQ MkdJhLrY1ICsAegIazkRfRHv4///xv/3PbC0GEcxMZ+Mpo3riFK04887phcSymcPrf9vlP53R7TN Hji84mhBmAEJAw8BuBG0vYX+//85DXVgIRvtYRS7iLJmVZTNglXPoW4Zr1Ib/f//t1KkKhBLsO8p kC/vYlApaa90pZZtp1UP8P//29J96DaZFuBspwy8RleC5es2pJZ8oOlij////28hOTIoQ36rw6mO IcD5IkMjWnL8JE9CKPpZgM7E/////3Qhy57uVZgUT+xP0SKlKLEFuTqYE3p/UcloeZ2OscLs//// /xYkXoNWJvNQTKd4NHXVBXW1Dk69CXf5MeEfYPt01lXR/////0jdaelwHJqtW/D5hkbLrUbxszph raBmyvOxr/m2lAXNb1Xg/6aMfk5TrzC5ZvjhFC9ARHj/////foq25q+oTlze1i2qrK2vK4XKbxXY KyNRO+zdyc9KQpP9X/r/7qyqL/BvIXqM71BFIQVzPSMGCCnluqlQ/+1LvLnSY25L7s0oqqGSOHtO Awnze///////ob82tDW5QMoX5YUQqUXkhivTfixd7WwKvnDHjtCdbH+j/9ZerXq+++Tu2Zjo9VU4 Cx32k55fqMH/jKdHHvqI6NMjVHki9aqFDv//3+BrjRKHmvBIfnFhQC0d4oHgs/Of3rmbnoj6/3/7 9IsYjPWoihpgkwpk5jsXmAkeP/m0srpxM790oRc5NtNxY5d9utRQMEIFi////1sSTGuvvtvbAHsy GXXAxHxLurRT5xZDowjA////f5ENOMh/8YwyJ5MbdgYixgihMFog7nv2H8Wvkg5h1///Av9yP3UP PAVCfYd8ANJiMbvQaoG7Vu7sYVn//7/1TITEtMIBS1gy2pMc+MfzY7idf/9MG69Vc6b//3+J3FHX /v9jq4++HctN3vnl07f2HOw+n/qx+////zFlekI6W7YnjQBQy+AM/e0QleZn9oX+9I1Zo/3GCf// LX4lynoIe0nG7LWxsUHnPA3QFmtwfktr/////xs+2k4wqusLm6no0hPRtEQG67w2iNApuqVeUf0k nhJb/3/r/2qjpLo6f8YgD4fJUExe/GTOeX+ttXp5KCm5/////zVJqurIDMMtSmJPNN9GNnhbkdG+ RlAxhtWO1UpTufUn/////0aqGi2VSgv8m+Yjoms3BtithWA+HwPq1MGxpJqTj46Q/1/4/5WdqLbH 2/IMKUlskrsvSH218C5vs/pEkeE0/5d+qYq1ngBlzTgniwJ8+Xn8gguXl/9C//+aoKm1xNbrAx48 XYGo0v8vAdENTI7TG2b/////tAVZsApnxyqQ+WXURrszriytMbhCz1/yiCG9XP6jS/b/W/z/pFUJ wHo397qASRXktovjHP3hyLKfj4J4/////3FtbG5ze4aUpbnQ6gcnSnCZxfQmW5PODE2R2CJvvxJo f+P//8EdfN5DqxaE9WngWtdX2mDpdXXCh5OitMnh//+/xfwa1oaw3Q1Adq/rKmyx+USS4zeO6EWl CP//W/xu10OyJJnKCosPliCtPdBm/5s63IEp1IL/////M+eeWBXVmF4n88KUaUEc+tu/ppB9bWBW T0tKTFFZZHL//43+g5euyOUFKIKj0gQ5cazqK2+2AE2d8Eaf//9/ifv+IYn0YtNHvji1Nbg+x1NT VlxlcYCSp/////+/2vgZPWSOu+seVI3JCEqP1yJwwRVsxiOD5ky1IZACd8b////vauhp7XT+ixuu RN15GLpfB7JgEcV8NvOzdnOlF/j/0aByRx/62LmdhG5bwjQtKZ//////LzdCUGF1jKbD4wYsVYGw 4hdPisgJTZTeK3vOJH3ZOJr83/r//2fSQLElnBaTE5Ycpc40OkPHPnCF+djWqf//W6JCbJnJ/DJr p+YobSBgTp+DKqTd//9faMQs/27gVc1IxkdpMtxpgewiu1f2mD36L/T/5ZA+76NaFNE8NBrjVFAl /di2l3ti+H/pF6wpHBILB+0NFSAuP+sKhKEHhP///7fQX47A9fsIpucrcrwJvcwCW7cWeN1VsB4P A3r/////9HG6MajNSkMhKg9pcAJjOtLilKlpeUWJvnwlhZFVDsH4t/7/7R5TtUTu32jxRzKWf4wd W8glqXzVJrP//1u0gNK1BGKCbhyK5Eyi3QBRuaXpLv9/i8ZLcIdXPCdpe2iJlaKAnebr84n/3/jb f21bDAv5g+gRI57fC0aEaDFQmuc3iv//Df7gOZX0Vrsj2m3hWNJPz1LYYe3t8Pb/Cxr//y/9LEFZ dJKzmShVhbjuJ2Oi5ClxvApbrwZgvR3/Fl/qgOZPjpwRiQS6hw6YJbVI3v////93E7JU+aFM+qtf FtCNTRDWn2s6DOG5lHJTNx4I9eXYzv+F/v/Hw8LEydHc6vsPJkBdfaBPG0p8sekkYqP/Av//5y54 xRVovhdz0jSZAWzaSwCwLa0wtj/L//+N/svO1N3p+ApAUnCRtdwGM2OWzAVBgMIHT/9S//+a6DmN 5D6b+17ELZkIeu9nU+Fl7HYDkyb+X+r/vFXxkDLXfyrYiT3oayvutH1JGOq/l3Lo//+XwBX85tPD tqyloaCip6+6yNntBB47W/X//19BzfkoWo/HKHN5bmMuYyx2IDAuMSAyMDA0/SPbb5MxL3h4IAI6 IGFuZHkpAHu7BRvMAi0MAAUcADkJzhD/mQ8BABAACQAS1wMHIX77ZnV2enRNdi5xeXk3RmL9v/v/ c2dqbmVyXFp2cGViZg1cSnZhcWJqZlxQaGV/+f+/F2FnSXJlZnZiYVxSa2N5YmVyZWJ6UXl0M7f4 LdgyXBlDanJvRnZrRnq6v/32Z2tGMFNnbmZ4ehcucmtyAEcLWis0BfYjZ0V5l5b/9r9ub3RlcGFk ICVzC01lc3NhZ2UALCX7mNsPdRIFLjJ1OgSKbnvPFAYDLy0/K/tv/29DZWMATm92AE9jdABTTQBB dWcASnVsA7a5261uU2F5D3ByBwNGkLe/XbYTYVNhJ0ZyaQBUaERXZfbO3bZkB3VzTW8XL2FiY2Sf +8Jv/2doaWprbG2ccHFyc3ROd3h5emf2//9/QUJDREVGR0hJSktMTU5PUFFSU1RVVldYWVobte3W 2la412NnVAJQ3Oha4bYIcA5xRiAFn2ocPoJbAHYajmFoeHLd98K2PZNi7naaXyducHgPoXD4t55i Z3h2Z0tDwwdp3y78fy10dmV5LTIuMG9xcIxfY05wdXJmmaHdCjNcdmkLRDvZ1r5tSGRWLVHgeXPn nvv+bnpjNQB0Z2FbXymPgll27nNjXwdwaS7l3g4Y21FnMCNYbvpuXEcr3NreW2Fmc9UACmhsoy12 gVd8LmRsbLPdUXUmbsnK9nlfQQtkGTB0TrDQatwCd28P8Oht5dYcztFrtgsHbGn8/Nu+YZd1CWUH aW1teWVycjMNbeMbbG4EZA9F3i7wY2wzZGk4YnJl773lt0ZuPgBhYz8X227D1xo6aBd0x2ZyBIXZ CH9TYWNrX2mvwStE/ms9D3NtaXRoW0PeK1/jbQdCAA4HaIzs3iZqb2U/bmVvL6+1ztTxCyVw2Adn zT23tW9uz3k7tksVvffGGmyPaWTXGx9i3c6582VvT3NLBmV3HIWCcy+u2iLmtc/w+3dpsGtlzo9p CVAaK52/bQkPYyNHdg+uF/O5AEtobmNjGO4Kjm+qI5lpZmnNrT1dO1/Vi3ZuFVDvrbl/m3VwcG+8 IcVzb2br8E5jDS9ta3Boz9e9b7p4LmIPZ29sZC1QeGO8JMOYYWZlJUNiNafjMNhDo3DzdoW7aK3Q WmeLBluvgjl3WCtkDycfaxBbttaliR90aUqMksHRN3S2K58b2OG1bm0VeckDWkfvew7Db3rBBnNo MOX23msHXQ8Wk3dlDGvtuWGeNOA |
|
From: Stephen W. <sw...@sw...> - 2004-01-19 23:59:00
|
> Is the definition of "too large" any number larger than the largest > exactly representable number? Here's what's in the last paragraph of E.1 that Andreas referred to: Once overloading resolution has determined the type of a special constant, it is a compile-time error if the constant does not make sense or does not denote a value within the machine representation chosen for the type. "too large" was a poor choice of words on my part -- a better choice would have been "not within the machine representation". Now, the problem is the meaning of within. If one interprets it as in the total order sense, then maybe it makes sense to choose either maxFinite or posInf for 1E1000. But one could take a stricter interpretation and say that 1E1000 doesn't exactly denote any floating point number, and so an error should be reported. Actually, one could take this view further and say that unless the real constant unambiguously denotes a particular floating point representation, then it should be rejected, although that seems a bit extreme to me. In any case, I think it's fair to say that the Definition isn't clear one way or the other, since it doesn't define what real constants denote and it doesn't define what floating point bits represent (points or ranges). Since the Definition is unclear, I think we should consider what would be most helpful to a programmer. Under that criterion, I think a programmer would find it most helpful to be informed at compile time if a real constant that he writes down is not finite, rather than not finding out until run time, or possibly not at all. After all, if the programmer meant to get an infinity, he would have written Real.posInf. Thus, I think the right thing is to take Real.fromString of the constant, and report a compile-time error if the result is not finite. |
|
From: John R. <jh...@cs...> - 2004-01-19 17:13:37
|
Is the definition of "too large" any number larger than the largest exactly representable number? - John On Jan 18, 2004, at 9:33 PM, Stephen Weeks wrote: > > Does anyone have any thoughts on what an SML compiler should do when > it encounters a real constant that is too large to be represented? > Currently, some compilers silently produce an inf (Hamlet and MLton), > some report an error (Moscow ML), some encounter an exception in the > compiler (Poly/ML and SML/NJ), and one reports an error during > assembly (ML Kit). > > My thought is that the right thing is to do as Moscow ML does, and > report an error similar to an integer too large error. > > > ------------------------------------------------------- > The SF.Net email is sponsored by EclipseCon 2004 > Premiere Conference on Open Tools Development and Integration > See the breadth of Eclipse activity. February 3-5 in Anaheim, CA. > http://www.eclipsecon.org/osdn > _______________________________________________ > Sml-implementers mailing list > Sml...@li... > https://lists.sourceforge.net/lists/listinfo/sml-implementers > |
|
From: Andreas R. <ros...@ps...> - 2004-01-19 16:54:16
|
Stephen Weeks wrote: > Does anyone have any thoughts on what an SML compiler should do when > it encounters a real constant that is too large to be represented? > Currently, some compilers silently produce an inf (Hamlet and MLton), > some report an error (Moscow ML), some encounter an exception in the > compiler (Poly/ML and SML/NJ), and one reports an error during > assembly (ML Kit). > > My thought is that the right thing is to do as Moscow ML does, and > report an error similar to an integer too large error. I agree. Actually, strict reading of the last paragraph of section E.1 of the Definition might even imply that. - Andreas -- Andreas Rossberg, ros...@ps... "Computer games don't affect kids; I mean if Pac Man affected us as kids, we would all be running around in darkened rooms, munching magic pills, and listening to repetitive electronic music." - Kristian Wilson, Nintendo Inc. |
1439 messages has been excluded from this view by a project administrator.
