Skip to content

Instantly share code, notes, and snippets.

@int-index

int-index/gist:ebbbc5b124470787694177b81b8652f1

Created October 28, 2018 16:17
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save int-index/ebbbc5b124470787694177b81b8652f1 to your computer and use it in GitHub Desktop.
Save int-index/ebbbc5b124470787694177b81b8652f1 to your computer and use it in GitHub Desktop.
Download ZIP
InfixE vs InfixT
Raw
gistfile1.txt
Prelude Language.Haskell.TH GHC.TypeLits> a <- runQ [t| 1 + 2 |]
Prelude Language.Haskell.TH GHC.TypeLits> a
AppT (AppT (ConT GHC.TypeNats.+) (LitT (NumTyLit 1))) (LitT (NumTyLit 2))
Prelude Language.Haskell.TH GHC.TypeLits> b <- runQ [e| 1 + 2 |]
Prelude Language.Haskell.TH GHC.TypeLits> b
InfixE (Just (LitE (IntegerL 1))) (VarE GHC.Num.+) (Just (LitE (IntegerL 2)))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment