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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 66DB57EEF6 for ; Wed, 17 Jun 2015 10:09:26 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.170 as permitted sender) identity=mailfrom; client-ip=209.85.223.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f170.google.com) identity=helo; client-ip=209.85.223.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ie0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CTAgC5KoFVm6rfVdFbDoNWXwaDGKt7hECMJ4V4AoFFB0wBAQEBAQESAQEBAQEGCwsJIS6EIwEBBBIRHQEbEgUGAQMMBgULDQICCR0CAiIBEQEFAQoSBhMSEId3AQMSDalrPjGLP4FrgnmLTQoZJwMKV4RqAQEBAQEFAQEBARgBBQ6BE4ojhQYHgmiBQwWFWAqGHodohFOGdIF1jx6FQxIjgQwJg2FAPDGCSAEBAQ X-IPAS-Result: A0CTAgC5KoFVm6rfVdFbDoNWXwaDGKt7hECMJ4V4AoFFB0wBAQEBAQESAQEBAQEGCwsJIS6EIwEBBBIRHQEbEgUGAQMMBgULDQICCR0CAiIBEQEFAQoSBhMSEId3AQMSDalrPjGLP4FrgnmLTQoZJwMKV4RqAQEBAQEFAQEBARgBBQ6BE4ojhQYHgmiBQwWFWAqGHodohFOGdIF1jx6FQxIjgQwJg2FAPDGCSAEBAQ X-IronPort-AV: E=Sophos;i="5.13,631,1427752800"; d="scan'208";a="136604027" Received: from mail-ie0-f170.google.com ([209.85.223.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 17 Jun 2015 10:09:25 +0200 Received: by iecrd14 with SMTP id rd14so28870123iec.3 for ; Wed, 17 Jun 2015 01:09:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=WXV6v8nvOAY+7hTYzlNxKifBH3YaPjTa5Z432Mrbavc=; b=BMtAS/6gJg2rRcUr382f41mEvmzJjF6spKZyYhmc63b9wz2I+yHsNV6/Q4N/hq+jzA 4ZKoB1m695/+ndYUB04qFrS6x5aVqqPh1uqtq//7Th84WPE35Hc63BrjscPtHLPeoM+a 2//K0Zln+IsKgfpB+TG1wlN0kVu9KzliUQnZAILdMl/xsSMux33Othc3f/B3E5EKm87Y qBAM5lEbkhDUlI8joRo+VPOC18VRWTCzYTnGQWLLmX+QoE8U8jdos4kIpilhfWxMusIe uiihIHosHRi/gRM+DVbTCBO1J38MvHZ06hwAcfd/MZfr9IUM68TYUsruJgZpl6zV+jvX uUfQ== X-Received: by 10.50.4.66 with SMTP id i2mr33509766igi.40.1434528564108; Wed, 17 Jun 2015 01:09:24 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.92.131 with HTTP; Wed, 17 Jun 2015 01:08:43 -0700 (PDT) In-Reply-To: <20150617015024.GA62361@pllab.is.ocha.ac.jp> References: <20150617015024.GA62361@pllab.is.ocha.ac.jp> From: Gabriel Scherer Date: Wed, 17 Jun 2015 10:08:43 +0200 Message-ID: To: Kenichi Asai Cc: caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] unmatched paren when using #use in toplevel Could you submit a bug report on the OCaml bug tracker? http://caml.inria.fr/mantis/ On Wed, Jun 17, 2015 at 3:50 AM, Kenichi Asai wrote: > When I have a file with unmatched parenthesis: > > test.ml: > 1 + (2 * 3 > > and include it using #use, the ocaml toplevel says: > > % ocaml > OCaml version 4.02.1 > > # #use "test.ml";; > Syntax error: ')' expected, the highlighted '(' might be unmatched > # > > with underline at the space immediately after "#use", but it should > show a file name, line number, and characters. In case of a type > error: > > test.ml: > 1 + (2 *. 3) > > % ocaml > OCaml version 4.02.1 > > # #use "test.ml";; > File "test.ml", line 1, characters 5-6: > Error: This expression has type int but an expression was expected of type > float > # > > It displays the place of the error correctly. (In OCaml 3.12.1, both > worked fine.) > > Sincerely, > > -- > Kenichi Asai > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs