diff options
| author | gingerBill <gingerBill@users.noreply.github.com> | 2022-05-23 12:35:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-23 12:35:06 +0100 |
| commit | a31d23a32a04554af964850efa8d44c5467c176c (patch) | |
| tree | c20ec90741db8b974baf3d17d11c2a0ee2ee5f5c /src/check_type.cpp | |
| parent | 084f431aa510793a6e2011816efebbc71a24c0ff (diff) | |
| parent | 7002f0a7d74b50f594e2324f5f96639b71ff1041 (diff) | |
Merge pull request #1802 from odin-lang/remove-maybe-tag
Merge functionality of `#maybe` with the standard 'union' functionality
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions