github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-04 21:47:07 +03:00
Code Issues Projects Releases Wiki Activity

Revert "Define Language as a GADT."

Browse Source 
This reverts commit e5606b132d3ded64a55f3268c978f9adb227fc4b.
This commit is contained in:
Rob Rix 2017-05-19 12:15:03 -04:00
parent aff60ae06a
commit b8d3c26759
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/Language.hs
View File

@ -1,4 +1,4 @@
{-# LANGUAGE DataKinds, GADTs #-} {-# LANGUAGE DataKinds #-}
module Language where module Language where
import Data.Record import Data.Record
@ -9,12 +9,12 @@ import qualified Syntax as S
import Term import Term
-- | A programming language. -- | A programming language.
data Language where data Language =
C :: Language C
Go :: Language | Go
Markdown :: Language | Markdown
Ruby :: Language | Ruby
TypeScript :: Language -- ^ Also JavaScript. | TypeScript -- ^ Also JavaScript.
deriving (Show, Eq, Read) deriving (Show, Eq, Read)
-- | Returns a Language based on the file extension (including the "."). -- | Returns a Language based on the file extension (including the ".").