blob: 1b472daf77baec0ea76377013fda22788d14dec5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE TemplateHaskell #-}
module T23220 where
import Language.Haskell.TH
import T23220_aux ( makeExtendingDatatype )
type Uri = String
data TextDocumentIdentifier =
TextDocumentIdentifier
{ _uri :: Uri
}
type TextDocumentVersion = Maybe Int
makeExtendingDatatype "VersionedTextDocumentIdentifier" [''TextDocumentIdentifier]
[ ("_version", [t| TextDocumentVersion |])]
|
