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. Non-exhaustive patterns in function error (Galaxy Being)
2. Re: Non-exhaustive patterns in function error (Francesco Ariis)
3. Re: Non-exhaustive patterns in function error (Bob Ippolito)
4. Re: Non-exhaustive patterns in function error (Galaxy Being)
5. Re: Non-exhaustive patterns in function error (Brody Berg)
----------------------------------------------------------------------
Message: 1
Date: Thu, 25 Feb 2021 17:23:46 -0600
From: Galaxy Being <[email protected]>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: [Haskell-beginners] Non-exhaustive patterns in function error
Message-ID:
<cafahfsx5rh13m54fvgtzuccdcq3g7l76fcz_kaijby4g7ro...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
I have this
intersect1 :: ([a],[a]) -> [a]
intersect1 (s,[]) = []
interesct1 (s,t:ts) | elem t s = t : intersect1 (s,ts)
| otherwise = intersect1 (s,ts)
and when I try this
intersect1 ([1,2],[1,2,3])
I get the error
Non-exhaustive patterns in function intersect1
Not sure what's wrong with this.
LB
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mail.haskell.org/pipermail/beginners/attachments/20210225/4d19fc10/attachment-0001.html>
------------------------------
Message: 2
Date: Fri, 26 Feb 2021 00:45:41 +0100
From: Francesco Ariis <[email protected]>
To: [email protected]
Subject: Re: [Haskell-beginners] Non-exhaustive patterns in function
error
Message-ID: <20210225234541.GA31267@extensa>
Content-Type: text/plain; charset=us-ascii
Il 25 febbraio 2021 alle 17:23 Galaxy Being ha scritto:
> I have this
>
> intersect1 :: ([a],[a]) -> [a]
> intersect1 (s,[]) = []
> interesct1 (s,t:ts) | elem t s = t : intersect1 (s,ts)
> | otherwise = intersect1 (s,ts)
>
> and when I try this
>
> intersect1 ([1,2],[1,2,3])
>
> I get the error
>
> Non-exhaustive patterns in function intersect1
>
> Not sure what's wrong with this.
Pattern (_,[]) is not matched!
------------------------------
Message: 3
Date: Thu, 25 Feb 2021 15:52:30 -0800
From: Bob Ippolito <[email protected]>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: Re: [Haskell-beginners] Non-exhaustive patterns in function
error
Message-ID:
<CACwMPm8d6C8fCEbE=xdu0gfooga_8cb6kkfrsx+igsztsus...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
It's the typo. Note that you'll also need an Eq a typeclass constraint for
this type signature to be correct (which is the next error you'd get)
-- underscores for emphasis
inter_se_ct1
inter_es_ct1
On Thu, Feb 25, 2021 at 3:24 PM Galaxy Being <[email protected]> wrote:
> I have this
>
> intersect1 :: ([a],[a]) -> [a]
> intersect1 (s,[]) = []
> interesct1 (s,t:ts) | elem t s = t : intersect1 (s,ts)
> | otherwise = intersect1 (s,ts)
>
> and when I try this
>
> intersect1 ([1,2],[1,2,3])
>
> I get the error
>
> Non-exhaustive patterns in function intersect1
>
> Not sure what's wrong with this.
>
> LB
>
>
> _______________________________________________
> Beginners mailing list
> [email protected]
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mail.haskell.org/pipermail/beginners/attachments/20210225/d024dfc3/attachment-0001.html>
------------------------------
Message: 4
Date: Thu, 25 Feb 2021 20:00:41 -0600
From: Galaxy Being <[email protected]>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: Re: [Haskell-beginners] Non-exhaustive patterns in function
error
Message-ID:
<cafahfswiwmr5odqst1m4ai21_ognvrf953ch-juhwheyk_f...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
How embarrassing...
intersect1 :: (Eq a) => ([a],[a]) -> [a]
On Thu, Feb 25, 2021 at 5:53 PM Bob Ippolito <[email protected]> wrote:
> It's the typo. Note that you'll also need an Eq a typeclass constraint for
> this type signature to be correct (which is the next error you'd get)
>
> -- underscores for emphasis
> inter_se_ct1
> inter_es_ct1
>
>
> On Thu, Feb 25, 2021 at 3:24 PM Galaxy Being <[email protected]> wrote:
>
>> I have this
>>
>> intersect1 :: ([a],[a]) -> [a]
>> intersect1 (s,[]) = []
>> interesct1 (s,t:ts) | elem t s = t : intersect1 (s,ts)
>> | otherwise = intersect1 (s,ts)
>>
>> and when I try this
>>
>> intersect1 ([1,2],[1,2,3])
>>
>> I get the error
>>
>> Non-exhaustive patterns in function intersect1
>>
>> Not sure what's wrong with this.
>>
>> LB
>>
>>
>> _______________________________________________
>> Beginners mailing list
>> [email protected]
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>
> _______________________________________________
> Beginners mailing list
> [email protected]
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mail.haskell.org/pipermail/beginners/attachments/20210225/f7c145b7/attachment-0001.html>
------------------------------
Message: 5
Date: Thu, 25 Feb 2021 19:51:41 -0800
From: Brody Berg <[email protected]>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: Re: [Haskell-beginners] Non-exhaustive patterns in function
error
Message-ID:
<CAGAyAWN+2CdvDDtGRXiDR4B=ruwuggcmbtts6ojuyv8+g2c...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
Don’t worry about it. We’ve all been there.
On Thu, Feb 25, 2021 at 18:01 Galaxy Being <[email protected]> wrote:
> How embarrassing...
>
> intersect1 :: (Eq a) => ([a],[a]) -> [a]
>
>
> On Thu, Feb 25, 2021 at 5:53 PM Bob Ippolito <[email protected]> wrote:
>
>> It's the typo. Note that you'll also need an Eq a typeclass constraint
>> for this type signature to be correct (which is the next error you'd get)
>>
>> -- underscores for emphasis
>> inter_se_ct1
>> inter_es_ct1
>>
>>
>> On Thu, Feb 25, 2021 at 3:24 PM Galaxy Being <[email protected]> wrote:
>>
>>> I have this
>>>
>>> intersect1 :: ([a],[a]) -> [a]
>>> intersect1 (s,[]) = []
>>> interesct1 (s,t:ts) | elem t s = t : intersect1 (s,ts)
>>> | otherwise = intersect1 (s,ts)
>>>
>>> and when I try this
>>>
>>> intersect1 ([1,2],[1,2,3])
>>>
>>> I get the error
>>>
>>> Non-exhaustive patterns in function intersect1
>>>
>>> Not sure what's wrong with this.
>>>
>>> LB
>>>
>>>
>>> _______________________________________________
>>> Beginners mailing list
>>> [email protected]
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>>
>> _______________________________________________
>> Beginners mailing list
>> [email protected]
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>
> _______________________________________________
> Beginners mailing list
> [email protected]
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mail.haskell.org/pipermail/beginners/attachments/20210225/7cfab5d0/attachment.html>
------------------------------
Subject: Digest Footer
_______________________________________________
Beginners mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
------------------------------
End of Beginners Digest, Vol 151, Issue 12
******************************************
