github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-09 00:56:32 +03:00
Code Issues Projects Releases Wiki Activity

Introduce TArr type

Browse Source
This commit is contained in:
Timothy Clem 2017-11-29 17:04:37 -08:00
parent 99ec8a1758
commit 5e22f19714
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Abstract/Type.hs
View File

@ -8,7 +8,7 @@ import Prelude hiding (fail)
type TName = Int
data Type = Int | Bool | String | Unit | Type :-> Type | Type :* Type | TVar TName
data Type = Int | Bool | String | Unit | Type :-> Type | Type :* Type | TVar TName | TArr [TName]
deriving (Eq, Ord, Show)