spurious names

Sigbjorn Finne sof@galois.com
Tue, 11 Feb 2003 21:49:29 -0800


Thanks, now fixed. Unsavoury introduction of new names
in the TC when processing class defns -- it introduced 
missing method bindings for class members by creating
names that were derived from the method name by simply
prefixing "default_". Quite bizarre, really.

--sigbjorn

----- Original Message ----- 
From: "Iavor S. Diatchki" <diatchki@cse.ogi.edu>
To: "hugs-bugs" <hugs-bugs@haskell.org>
Sent: Tuesday, February 11, 2003 11:02
Subject: spurious names


> hello,
> 
> i run into the following problem:
> 
> class C t where
>    elem :: t
> 
> -- default_elem = 3
> 
> -- when default_elem is not used
> -- INTERNAL ERROR: pmcTerm
> 
> -- instance C Int where
> --   elem = default_elem
> 
> -- when default_elem is used
> -- INTERNAL ERROR: typeAp1
> 
> -- when default_elem is not defined (at command prompt)
> -- :i default_elem
> -- default_elem :: <unknown type>
> 
> 
> it looks like hugs introduces new (valid) names into the program.
> would it be possible to hide this from the user?
> 
> thanks
> iavor
> 
> -- 
> ==================================================
> | Iavor S. Diatchki, Ph.D. student               |
> | Department of Computer Science and Engineering |
> | School of OGI at OHSU                          |
> | http://www.cse.ogi.edu/~diatchki               |
> ==================================================
> 
> _______________________________________________
> Hugs-Bugs mailing list
> Hugs-Bugs@haskell.org
> http://www.haskell.org/mailman/listinfo/hugs-bugs