can't inference type of a Nothing value

未關閉

#278 建立於 2021年3月26日 4 則留言 0 個 reaction 已指派 0 人在 GitHub 檢視

描述

`
TutorialD (master/main): a :: {a Maybe Integer}

TutorialD (master/main): insert a relation{tuple{ a Nothing}}

ERR: TypeConstructorTypeVarMissing "a"
`

這個儲存庫沒有索引到貢獻指南

這個 Issue 還沒有評估資料。