Generic types in `InterTypes`

オープン

#91 2023年12月11日に作成コメント 0 件リアクション 0 件担当者 1 名 @olynch が担当を希望しています GitHub で見る

enhancement

説明

It would be good to be able to define generic types in `InterTypes`. This may particularly be necessary for updating ADTs.jl (#90).

For example, one may want something like
```
@sum Args{T} begin
Value(v::T)
Kwarg(k::Symbol, v::Value{T})
end
```

このリポジトリのコントリビューションガイドは索引されていません

この issue はまだ評価されていません。