From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id B393B7ED5C for ; Sun, 5 Aug 2012 03:20:42 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of bobzhang1988@gmail.com designates 209.85.160.54 as permitted sender) identity=mailfrom; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pb0-f54.google.com) identity=helo; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="postmaster@mail-pb0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvMCACzJHVDRVaA2jWdsb2JhbAArGoUhWrM6CCIBAQEBBwsUEgYjgiABAQEDAQwGAg8PAQUIARsQCgICAwwGAwILDQICBRYLAgIJAwIBAgEREQEFARwGAQwIAQEeh1sBAwYFAQsqm3kJA4tUT4JxhCgKGScNV4hxAQEEDIEVij2FXoESA5VJji8+hBqBOg X-IronPort-AV: E=Sophos;i="4.77,714,1336341600"; d="scan'208";a="152450799" Received: from mail-pb0-f54.google.com ([209.85.160.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Aug 2012 03:20:41 +0200 Received: by pbbro2 with SMTP id ro2so4325177pbb.27 for ; Sat, 04 Aug 2012 18:20:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=BfG+KeJWvjbPpQgxNc1IcDv/9/6HCVFjfoHnZ/XFx6Y=; b=nkPj0ZfaRZrJTtBESAUAGy41WM0/OjbwdZP+zSnF0wmjxglHaU2y4P3uEVeOHl6BkM OgPH++8Ci614S1zGbBJYM1miI+ebM8/Jj+ZsuiL65ixbz9bkwRrMOxrdipL+UvMOw9SC oomc90ceHkABsEj4I2V2P1Io8+YkGzTOhPgi+7WeAguDYocmDO4U2rOBm4STSD3E/2hj X7KFExbmpXRqzksrNRKyjODa9Sfp65NHKctT+Bt4z5ZYyWcPS7wHF1TW1+A13g1XfgD0 Uzz147AseEI+QUC7S18CeAnR3unVfn+svFrvy+Zcy67SOs8y/pphBDUIqdaT9GKzydlR KcPA== Received: by 10.68.225.234 with SMTP id rn10mr5906223pbc.100.1344129639830; Sat, 04 Aug 2012 18:20:39 -0700 (PDT) Received: from Hongbos-MacBook-Air.local ([117.42.58.53]) by mx.google.com with ESMTPS id op10sm2475803pbc.75.2012.08.04.18.20.37 (version=SSLv3 cipher=OTHER); Sat, 04 Aug 2012 18:20:38 -0700 (PDT) Message-ID: <501DCA61.8060800@gmail.com> Date: Sat, 04 Aug 2012 21:20:33 -0400 From: Hongbo Zhang User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:14.0) Gecko/20120713 Thunderbird/14.0 MIME-Version: 1.0 To: =?UTF-8?B?SsOpcsOpbWllIERpbWlubw==?= , Caml List References: <20120731080321.0708141c@locris.home> In-Reply-To: <20120731080321.0708141c@locris.home> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] Re: [ANN] utop 1.2 On 7/31/12 2:03 AM, Jérémie Dimino wrote: > Hi, Greetings, Just have a try for the utop and give it up. Here are some difficulties that I came across, no complains, hope that will help utop's next release. a. dependency too much. To my limited knowledge, utop is a standalone binary, dependency on lwt is a big problem, I never managed to install it successfully on Mac(I did on my Linux box) b. I still give a try. and grabed package react, try to install react, but found that react even don't work with ocamlfind. I stop here. (package react is just one file, dependency on react is not worth) I know it would be convenient to use some package managers like Godi, but I maintained my own fork of ocaml(I changed the ocaml's compiler frequently, using Godi would bring a lot of pain). It would be great if utop is a stand alone package, or , a utop.byte is still fine. I have used otags.byte built on Linux, and copied to my Mac, it works fine. I never used utop(never succeeded :-( ) , but I guess it maybe something like slime for lisp, hope this will help utop to gain more users. Best -- Hongbo Zhang > > The utop team is happy to announce the release of utop 1.2, an > improved toplevel for OCaml. You can download it at this url: > > https://forge.ocamlcore.org/frs/download.php/949/utop-1.2.tar.gz > > Important changes are: > > * utop now handles parsing/typing/compilation errors itself, this > means a better highlighting and more importantly that errors are > emphasized in the emacs mode. The style of errors can be controlled > via the face "utop-error" in emacs and with the "error" resource of > ~/.utoprc in the terminal. > > * a "Lwt_main.run" is automatically inserted for toplevel expressions > of type "_ Lwt.t". For example, with the classic toplevel: > > # Lwt_io.printf "Hello, world!\n";; > - : unit Lwt.t = > > and with the new utop: > > # Lwt_io.printf "Hello, world!\n";; > - : unit = () > > This behavior can be disabled with "UTop.set_auto_run_lwt false". > > * many emacs mode fixes and improvements. It is now possible to > complete a phrase in a tuareg/typerex buffer using the toplevel > environment. You have to bind the function "utop-edit-complete" to a > key for this feature to work, it is unbound by default. > > Here is the complete changelog: > > * ocaml 4.00 compatibility > * prevent findlib from being initialized twice > * better highlighting of errors > * automatically insert Lwt_main.run for > toplevel expressions of type 'a Lwt.t > * better camlp4 support > ** parse quotations and antiquotations to > handle completion inside them > ** better support revised syntax > * emacs mode improvements > ** various fixes > ** highlight errors > ** add a menu > ** add interactive list of findlib packages > ** packages can be pre-loaded via the file variable > "utop-package-list" > ** better tuareg integration > ** typerex integration > ** allow to complete using the toplevel environment > in a tuareg buffer > ** allow to change the utop command > ** use the same history as the terminal mode > ** follow output of ocaml > > Enjoy! >