search

google-code-export / omega

Automatically exported from code.google.com/p/omega
Other
2 stars 0 forks source link

built-in functions displayed in a weird way #30

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
prompt> ord
<primfun to1> : Char -> Int

the shown "to1" seems to be an artefact of the internal representation.

I would expect it to display

<primfun ord> : Char -> Int

Original issue reported on code.google.com by ggr...@gmail.com on 7 Nov 2007 at 1:18

GoogleCodeExporter commented 9 years ago 
The problem comes from Encoding2.hs:194

to1 f = Vprimfun "to1" (analyzeWith(return . to  . f . from))  -- (a -> b) -> V

to1 should be defined to accept a name argument which should be passed thru
make1 (in LangEval.hs:517).

Original comment by ggr...@gmail.com on 7 Nov 2007 at 1:43

GoogleCodeExporter commented 9 years ago 
I try to put a patch together.

Original comment by ggr...@gmail.com on 9 Dec 2007 at 9:05

GoogleCodeExporter commented 9 years ago 
on branches/typefun-pattern-issues
Revision 48 and Revision 49
implement the necessary changes.

Original comment by ggr...@gmail.com on 9 Dec 2007 at 10:02

GoogleCodeExporter commented 9 years ago 
this patch fixes the problem. implementation details are not displayed any more.

Original comment by ggr...@gmail.com on 10 Dec 2007 at 11:35

Attachments:

GoogleCodeExporter commented 9 years ago

Original comment by ggr...@gmail.com on 31 Mar 2008 at 8:11

GoogleCodeExporter commented 9 years ago 
fixed with r144

Original comment by ggr...@gmail.com on 1 Apr 2008 at 8:44

GoogleCodeExporter commented 9 years ago 
prompt> ord

<primfun ord> : Char -> Int

OK in 1.4.6!

Original comment by ggr...@gmail.com on 3 Feb 2011 at 10:48