Closed JamesIry closed 12 years ago
Second limitation on http://jamesiry.github.com/JADT/limitations.html
Currently there's no way to create a parameterized (generic) ADT. So no "Option A = Some(A value) | None". Should be easy to fix, I just haven't gotten around to it.
Fixed in https://github.com/JamesIry/JADT/commit/37aac0377741468f56d9ba0857f9c5fc62317778
Second limitation on http://jamesiry.github.com/JADT/limitations.html
Currently there's no way to create a parameterized (generic) ADT. So no "Option A = Some(A value) | None". Should be easy to fix, I just haven't gotten around to it.