Skip to content

Instantly share code, notes, and snippets.

@adinapoli

adinapoli/block_comments.txt

Created November 14, 2019 16:12
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save adinapoli/5fb41dd12484e85d187b819a20681fd6 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save adinapoli/5fb41dd12484e85d187b819a20681fd6 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. adinapoli created this gist Nov 14, 2019.
    33 changes: 33 additions & 0 deletions block_comments.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,33 @@
    (
    [
    ((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 #-}\"
    ]
    )
    ]
    )