[m-users.] higher order issue: `ground` seen but expecting higher-order pred

[Sean Charles (emacstheviking)]

Yes, I did read the error message and it didn't register at all. Mostly because I think I am recovering from 70% liver removal and until it fully regrows it seems to have affected my usual cognitive abilities.

> On 5 Oct 2022, at 21:20, Mark Brown <mark at mercurylang.org> wrote:
> 
> On Thu, Oct 6, 2022 at 3:50 AM Volker Wysk <post at volker-wysk.de> wrote:
>> 
>> Am Mittwoch, dem 05.10.2022 um 17:13 +0100 schrieb Sean Charles
>> (emacstheviking):
>>> I must be to stupid to get it, unusually, I am pasting the entire source
>>> file as it stands along with the error message, I just don't get it. I
>>> just don't today, apologies for the long post of source code. I've tried
>>> re-reading the relevant parts of the documentation but it's just not
>>> sinking in, the language is too technically dry and formal for my
>>> uneducated brain.
> 
> Did you read the error message? It wasn't the same error as last time
> (granted, some programmers find error messages too dry).
> 
>> 
>> I agree that the Language Reference Manual is hard reading. Especially the
>> parts which aren't covered by Ralph Becket's Mercury tutorial (yet). For
>> instance, I had to turn to Haskell tutorials for what existential types are
>> about.
> 
> Ralph's tutorial has a section on univs, which are existentially
> typed. However, the connection may not be completely clear as Ralph
> has evidently avoided language that is too formal.
> 
> It's not really possible to write a manual or tutorial that will
> satisfy every programmer, of course.
> 
> Mark
> 
>> 
>> Don't give up,
>> Volker
>> _______________________________________________
>> users mailing list
>> users at lists.mercurylang.org
>> https://lists.mercurylang.org/listinfo/users