Skip to content
This repository was archived by the owner on Jun 29, 2022. It is now read-only.

Conversation

@rvagg
Copy link
Member

@rvagg rvagg commented Jun 14, 2021

e.g.

type Foo union {
  | &Blip link
  | Blop string
} representation kinded

rather than having to type BlipLink &Blip before using it in a kinded union.


I've been using this pattern already, e.g.

type Element union {
| &HashMapNode link
| Bucket list
} representation kinded

I think I assumed we had this locked in but I guess we never got it into schema-schema. Without this, to use a link to another type you've defined, you have to make a new link type for it type HashMapNodeLink &HashMapNode.

@rvagg rvagg requested a review from warpfork June 14, 2021 11:20
e.g.

```
type Foo union {
  | &Blip link
  | Blop string
} representation kinded
```

rather than having to `type BlipLink &Blip` before using it in a
kinded union.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants