From z Thu Nov 09 16:32:08 2000
Received: from maguro.epr.com ([198.3.162.27]) by exchange.epr.com with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2650.21)
	id WNKAL9J1; Thu, 9 Nov 2000 07:28:46 -0800
Received: from magrathea.epr.com (firewall-user@magrathea.epr.com [198.3.160.1])
	by maguro.epr.com (8.9.3/8.9.3) with ESMTP id HAA27027
	for <sweeks@intertrust.com>; Thu, 9 Nov 2000 07:32:20 -0800 (PST)
Received: (from uucp@localhost) by magrathea.epr.com (8.9.3/8.7.3) id HAA14478 for <sweeks@intertrust.com>; Thu, 9 Nov 2000 07:32:20 -0800 (PST)
Received: from nodnsquery(199.222.69.4) by magrathea.epr.com via smap (V5.5)
	id xma014471; Thu, 9 Nov 00 07:32:13 -0800
Received: from clairv.com (IDENT:root@pc246.edi.nunet.net [199.249.165.246])
	by mail.acm.org (8.9.3/8.9.3) with ESMTP id KAA45934
	for <sweeks@acm.org>; Thu, 9 Nov 2000 10:32:02 -0500
Received: from simon.cs.cornell.edu (simon.cs.cornell.edu [128.84.154.10])
	by clairv.com (8.9.3/8.9.3) with ESMTP id JAA30931
	for <MLton@sourcelight.com>; Thu, 9 Nov 2000 09:32:10 -0600
Received: from sundial.cs.cornell.edu (sundial.cs.cornell.edu [128.84.96.115])
	by simon.cs.cornell.edu (8.9.3/8.9.3/R-3.1) with ESMTP id KAA05269
	for <MLton@sourcelight.com>; Thu, 9 Nov 2000 10:32:09 -0500 (EST)
Received: from snoball.cs.cornell.edu (snoball.cs.cornell.edu [128.84.96.54])
	by sundial.cs.cornell.edu (8.9.3/8.9.3/M-3.2) with ESMTP id KAA01939
	for <MLton@sourcelight.com>; Thu, 9 Nov 2000 10:32:08 -0500 (EST)
Received: from localhost (fluet@localhost)
	by snoball.cs.cornell.edu (8.9.3/8.9.3/C-3.0) with SMTP id KAA00759
	for <MLton@sourcelight.com>; Thu, 9 Nov 2000 10:32:08 -0500 (EST)
X-Authentication-Warning: snoball.cs.cornell.edu: fluet owned process doing -bs
Date: Thu, 9 Nov 2000 10:32:08 -0500 (EST)
From: Matthew Fluet <fluet@CS.Cornell.EDU>
X-Sender: fluet@snoball.cs.cornell.edu
Reply-To: Matthew Fluet <fluet@CS.Cornell.EDU>
To: MLton@sourcelight.com
Subject: -g with -native
Message-ID: <Pine.SOL.3.95.1001109101939.13001D-100000@hoho.cs.cornell.edu>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Spam-Checker-Version: SpamAssassin 2.60 (1.212-2003-09-23-exp) on 
	eponym.sweeks.com
X-Spam-Level: 
X-Spam-Status: No, hits=-100.0 required=3.0 tests=AWL,USER_IN_WHITELIST 
	autolearn=no version=2.60


If it's possible, the *.n.s files produced by the native backend should be
compiled with the -Wa,--gstabs option to gcc when mlton is invoked with
-g.  Since gcc is mainly a C compiler, it only inserts debugging
information when compiling a .c file; i.e., -g does nothing when compiling
an assembly file.  Compiling with -Wa,--gstabs instructs the assembler to
produce an object file with debug information pointing back to the .s
file.  Unfortunately, you can't just add -Wa,--gstabs to all invocations
of gcc, because then compiled .c files will have two sets (of probably
conflicting) debug information.