diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-07-21 11:08:15 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-07-21 11:08:15 +1000 |
| commit | cd17128898089450bb21790fd1864dc08fd4ddbc (patch) | |
| tree | d6fdcab724b921bf331c2fac61aa22c3f0348337 /latex-test/src/GadtConstructorArgs/GadtConstructorArgs.hs | |
| parent | 7dace716b091cab0bcdf192a1c4749861dd15e62 (diff) | |
| parent | 90c38242e54d1a742426e2b1b3c7d71e226811bd (diff) | |
Merge remote-tracking branch 'upstream/main'
Diffstat (limited to 'latex-test/src/GadtConstructorArgs/GadtConstructorArgs.hs')
| -rw-r--r-- | latex-test/src/GadtConstructorArgs/GadtConstructorArgs.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/latex-test/src/GadtConstructorArgs/GadtConstructorArgs.hs b/latex-test/src/GadtConstructorArgs/GadtConstructorArgs.hs index 6d742bd7..50ff93cc 100644 --- a/latex-test/src/GadtConstructorArgs/GadtConstructorArgs.hs +++ b/latex-test/src/GadtConstructorArgs/GadtConstructorArgs.hs @@ -1,5 +1,5 @@ {-# LANGUAGE Haskell2010 #-} -{-# LANGUAGE GADTs, PatternSynonyms #-} +{-# LANGUAGE GADTs #-} module GadtConstructorArgs (Boo(..)) where |