search

deeplang-org / deeplang-type-system

DeepLang type system based on Ocaml
7 stars 1 forks source link

Feature syntax error others #30

Closed LDZzz2 closed 2 years ago

LDZzz2 commented 2 years ago

Add some error report messages, including missing type, missing function declaration arguments and ADT branch name error.