Send Beginners mailing list submissions to
[email protected]
To subscribe or unsubscribe via the World Wide Web, visit
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
[email protected]
You can reach the person managing the list at
[email protected]
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."
Today's Topics:
1. Re: Type depending on value (Marcin Mrotek)
----------------------------------------------------------------------
Message: 1
Date: Thu, 5 May 2016 13:56:37 +0200
From: Marcin Mrotek <[email protected]>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: Re: [Haskell-beginners] Type depending on value
Message-ID:
<cajcfpzmaqnc_ltmb+g1ydwbgz6qeyu2zj66spchyk3nhhen...@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Hello,
My guess is that the Nat parameter in SNat gets erased, and both types
end up with the same runtime representation. I'm not sure how reliable
this is. Have you tried using a SNatClass that works more like
KnownNat, that is, having a method that returns a Nat?
Best regards,
Marcin Mrotek
------------------------------
Subject: Digest Footer
_______________________________________________
Beginners mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
------------------------------
End of Beginners Digest, Vol 95, Issue 6
****************************************
