Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Miranda - built-in "show" function
15 views
Skip to first unread message
duke
Jun 30, 2012, 9:01:12 PM6/30/12
to
I'm trying to get the following code to work in the latest version of Miranda:
[code]good_timestamp (time, msg) = msg ++ " at " ++ (show time) ++ "o'clock"[/code]
I keep getting this error:
[quote]No modified files, so no updates needed.
compiling script.m
checking types in script.m
type error in definition of good_timestamp
(line 9 of "script.m") use of "show" at polymorphic type *[/quote]
The code is taken from "Programming with Miranda", so it should work, I'm thinking. :) At first, I was thinking it was my "offside rule" formatting that was off, but it doesn't seem to matter. Ideas please!
[code]good_timestamp (time, msg) = msg ++ " at " ++ (show time) ++ "o'clock"[/code]
I keep getting this error:
[quote]No modified files, so no updates needed.
compiling script.m
checking types in script.m
type error in definition of good_timestamp
(line 9 of "script.m") use of "show" at polymorphic type *[/quote]
The code is taken from "Programming with Miranda", so it should work, I'm thinking. :) At first, I was thinking it was my "offside rule" formatting that was off, but it doesn't seem to matter. Ideas please!
Vincent Zweije
Jul 1, 2012, 5:44:06 AM7/1/12
to
In article <c262d958-f919-469e...@googlegroups.com>,
of monomorphic" ones. Its type is not (* -> [char]) but (X -> [char])
for any monomorphic type X. See the documentation.
Declare the type of good_timestamp so that at least the type of time
becomes fully known.
Ciao. Vincent.
--
Vincent Zweije <vin...@zweije.nl> | "If you're flamed in a group you
<http://www.xs4all.nl/~zweije/> | don't read, does anybody get burnt?"
[Xhost should be taken out and shot] | -- Paul Tomblin on a.s.r.
duke <sidney.r...@gmail.com> wrote:
|| I'm trying to get the following code to work in the latest version of
|| Miranda:
||
|| [code]good_timestamp (time, msg) = msg ++ " at " ++ (show time) ++ "o'clock"[/code]
||
|| I keep getting this error:
||
|| [quote]No modified files, so no updates needed.
|| compiling script.m
|| checking types in script.m
|| type error in definition of good_timestamp
|| (line 9 of "script.m") use of "show" at polymorphic type *[/quote]
Miranda's show operator is not a polymorphic function, but a "family
|| I'm trying to get the following code to work in the latest version of
|| Miranda:
||
|| [code]good_timestamp (time, msg) = msg ++ " at " ++ (show time) ++ "o'clock"[/code]
||
|| I keep getting this error:
||
|| [quote]No modified files, so no updates needed.
|| compiling script.m
|| checking types in script.m
|| type error in definition of good_timestamp
|| (line 9 of "script.m") use of "show" at polymorphic type *[/quote]
of monomorphic" ones. Its type is not (* -> [char]) but (X -> [char])
for any monomorphic type X. See the documentation.
Declare the type of good_timestamp so that at least the type of time
becomes fully known.
Ciao. Vincent.
--
Vincent Zweije <vin...@zweije.nl> | "If you're flamed in a group you
<http://www.xs4all.nl/~zweije/> | don't read, does anybody get burnt?"
[Xhost should be taken out and shot] | -- Paul Tomblin on a.s.r.
duke
Jul 1, 2012, 7:02:04 AM7/1/12
to
On Sunday, July 1, 2012 3:44:06 AM UTC-6, Vincent Zweije wrote:
[snip]
> Miranda's show operator is not a polymorphic function, but a "family
> of monomorphic" ones. Its type is not (* -> [char]) but (X -> [char])
> for any monomorphic type X. See the documentation.
>
> Declare the type of good_timestamp so that at least the type of time
> becomes fully known.
Thanks! I thought that the example would run - as is. I see that I have more reading to do - monomorphic vs polymorphic!
[snip]
> Miranda's show operator is not a polymorphic function, but a "family
> of monomorphic" ones. Its type is not (* -> [char]) but (X -> [char])
> for any monomorphic type X. See the documentation.
>
> Declare the type of good_timestamp so that at least the type of time
> becomes fully known.
0 new messages