Skip to content

Instantly share code, notes, and snippets.

@adinapoli
Created November 14, 2019 16:12
Show Gist options
  • Save adinapoli/5fb41dd12484e85d187b819a20681fd6 to your computer and use it in GitHub Desktop.
Save adinapoli/5fb41dd12484e85d187b819a20681fd6 to your computer and use it in GitHub Desktop.
(
[
((Test.hs:1:1, AnnModule), [Test.hs:6:1-6])
,\n ((Test.hs:1:1, AnnWhere), [Test.hs:6:13-17])
,\n ((Test.hs:13:1-9, AnnDcolon), [Test.hs:13:4-5])
,\n ((Test.hs:13:1-9, AnnSemi), [Test.hs:14:1])
,\n ((Test.hs:14:1-7, AnnEqual), [Test.hs:14:4])
,\n ((Test.hs:14:1-7, AnnFunId), [Test.hs:14:1-2])
,\n ((Test.hs:14:1-7, AnnSemi), [Test.hs:16:1])
,\n ((Test.hs:16:1-13, AnnDcolon), [Test.hs:16:6-7])
,\n ((Test.hs:16:1-13, AnnSemi), [Test.hs:17:1])
,\n ((Test.hs:16:12-13, AnnCloseP), [Test.hs:16:13])
,\n ((Test.hs:16:12-13, AnnOpenP), [Test.hs:16:12])
,\n ((Test.hs:17:1-15, AnnEqual), [Test.hs:17:6])
,\n ((Test.hs:17:1-15, AnnFunId), [Test.hs:17:1-4])
,\n ((Test.hs:17:1-15, AnnSemi), [Test.hs:18:1])
,\n ((<no location info>, AnnEofPos), [Test.hs:18:1])
]
,\n [
(
<no location info>
,\n [
AnnBlockComment \"{-@ i2 :: Nat @-}\"
,\n AnnBlockComment \"{- This is a block comment. -}\"
,\n AnnLineComment \"-- This is a comment\"
,\n AnnBlockComment \"{-# LANGUAGE DataKinds #-}\"
,\n AnnBlockComment \"{-# LANGUAGE TypeFamilies #-}\"
,\n AnnBlockComment \"{-# LANGUAGE KindSignatures #-}\"
,\n AnnBlockComment \"{-# OPTIONS -fplugin=Language.Haskell.Liquid.Plugin #-}\"
]
)
]
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment