1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00

📝 Type.

This commit is contained in:
Rob Rix 2017-12-20 17:22:50 -05:00
parent 67713cade6
commit a27afc847b

View File

@ -7,6 +7,7 @@ import Prelude hiding (fail)
-- | The type of type variable names. -- | The type of type variable names.
type TName = Int type TName = Int
-- | A datatype representing primitive types and combinations thereof.
data Type data Type
= Int = Int
| Bool | Bool