Generic Templates

Google Group
1

In the book, Ch 17, Genericity… this code:

implement
{a}(tmp)
gfact(n) = let
//

overload * with gmul_int_val
//
in
//

if n > 0
then n * gfact(n-1) else gnumber_int(1)
//
end (* end of [gfact] *)

What does the (tmp) mean or indicate? Previous examples use {} or (), but
not {}().

2

Ah, my parser has an imperfection and I saw double parens> On Nov 6, 2015, at 9:20 AM, Hongwei Xi gmh...@gmail.com wrote:

It is a comment.

I feel the following kind of code looks too ugly: )

implement
{a}
gfact(…) = …

On Fri, Nov 6, 2015 at 11:15 AM, Mike Jones proc...@gmail.com wrote:
In the book, Ch 17, Genericity… this code:

implement
{a}(tmp)
gfact(n) = let
//
overload * with gmul_int_val
//
in
//
if n > 0
then n * gfact(n-1) else gnumber_int(1)
//
end (* end of [gfact] *)

What does the (tmp) mean or indicate? Previous examples use {} or (), but not {}().

You received this message because you are subscribed to the Google Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/ceecef1e-d646-4c21-b819-f41c79c19668%40googlegroups.com.

–
You received this message because you are subscribed to a topic in the Google Groups “ats-lang-users” group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/ats-lang-users/wjXGc0J7qNE/unsubscribe.
To unsubscribe from this group and all its topics, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLp4_%2BWqiC-28Jwefhx0p3ksy67_dscDL2TW0oRPm9K-EQ%40mail.gmail.com.

3

It is a comment.

I feel the following kind of code looks too ugly: )

implement
{a}
gfact(…) = …On Fri, Nov 6, 2015 at 11:15 AM, Mike Jones proc...@gmail.com wrote:

In the book, Ch 17, Genericity… this code:

implement
{a}(tmp)
gfact(n) = let
//

overload * with gmul_int_val
//
in
//

if n > 0
then n * gfact(n-1) else gnumber_int(1)
//
end (* end of [gfact] *)

What does the (tmp) mean or indicate? Previous examples use {} or (),
but not {}().

–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/ceecef1e-d646-4c21-b819-f41c79c19668%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/ceecef1e-d646-4c21-b819-f41c79c19668%40googlegroups.com?utm_medium=email&utm_source=footer
.