[m-rev.] for review: change list constructor from `./2' to `[|]/2'

[Simon Taylor]

On 24-Sep-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 24-Sep-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > 
> > compiler/typecheck.m:
> > 	Handle `./2' as a special case in `report_error_undef_cons'.
> 
> That looks fine.
> 
> But it would also be good to handle `[|]/2' as a special case there,
> in particular reporting an appropriate error message if the `list'
> module is not imported (or otherwise visible).

--- typecheck.m	2001/09/24 06:07:01	1.2
+++ typecheck.m	2001/09/24 06:12:24
@@ -5796,6 +5796,11 @@
 				maybe_report_missing_import(TypeCheckInfo,
 					ModQual)
 			;
+				{ Functor = cons(unqualified("[|]"), 2) }
+			->
+				maybe_report_missing_import(TypeCheckInfo,
+					unqualified("list"))
+			;
 				io__write_string(".\n")
 			)
 		)
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------