... | ... | @@ -59,7 +59,7 @@ |
|
|
|
|
|
|
|
|
|
|
|
Information from language documentation only. I haven't tried it on any of these systems.
|
|
|
\[Information from language documentation.\]
|
|
|
|
|
|
|
|
|
## Summary
|
... | ... | @@ -92,8 +92,8 @@ data (a :**: b) c |
|
|
```
|
|
|
|
|
|
|
|
|
[Kind inference](kind-inference) will of course be carried out for types constructors
|
|
|
introduced by empty declarations just as for any other type constructors according to
|
|
|
[Kind inference](kind-inference) will of course be carried out for type constructors
|
|
|
introduced by empty declarations just as for all other type constructors according to
|
|
|
whatever rules are adopted. Unless there are further constraints, the kinds of the
|
|
|
constructors above would be
|
|
|
|
... | ... | @@ -132,8 +132,6 @@ gives a more regular syntax and better error messages than ruling out deriving f |
|
|
syntactically. But the point is that there is a choice.
|
|
|
|
|
|
|
|
|
- A simple and natural generalisation of data declarations, seemingly without any hidden complications.
|
|
|
|
|
|
## References
|
|
|
|
|
|
|
... | ... | |