1
1
mirror of https://github.com/github/semantic.git synced 2025-01-02 12:23:08 +03:00

Merge pull request #1750 from github/simplify-JSON

Remove unused entities from the JSON term list.
This commit is contained in:
Josh Vera 2018-04-19 13:28:08 -04:00 committed by GitHub
commit 6426e4702b

View File

@ -23,10 +23,8 @@ type Syntax =
, Literal.Float
, Literal.KeyValue
, Literal.Null
, Literal.String
, Literal.TextElement
, Syntax.Error
, []
]
type Term = Term.Term (Union Syntax) (Record Location)