[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [RFC PATCH 0/2] impl specialization and lookup changes
- Subject: Re: [RFC PATCH 0/2] impl specialization and lookup changes
- From: Quentin Carbonneaux <quentin@xxxxxx>
- Date: Sat, 1 Jul 2017 23:43:09 +0000
- To: Michael Forney <mforney@xxxxxxxxxxx>
- Cc: myrddin-dev@xxxxxxxxxxxxxx
Hey,
I like the general idea!
On Sat, Jul 01, 2017 at 02:43:20PM -0700, Michael Forney wrote:
> The first patch adds new syntax
>
> impl(name, type)
I think impl(x, y) is ugly, though. What you want
for this is "semantic type hints" to the typechecker.
I can't really remember if Myrddin has those.
If not, that seems like the thing to implement.
Hints should trigger type errors when they cannot be
satisfied. Otherwise, they can be misleading.
Finally, what is libwl? Where is it?
Happy hacking!