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 /html-test/src/GadtConstructorArgs.hs | |
| parent | 7dace716b091cab0bcdf192a1c4749861dd15e62 (diff) | |
| parent | 90c38242e54d1a742426e2b1b3c7d71e226811bd (diff) | |
Merge remote-tracking branch 'upstream/main'
Diffstat (limited to 'html-test/src/GadtConstructorArgs.hs')
| -rw-r--r-- | html-test/src/GadtConstructorArgs.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html-test/src/GadtConstructorArgs.hs b/html-test/src/GadtConstructorArgs.hs index 6d742bd7..50ff93cc 100644 --- a/html-test/src/GadtConstructorArgs.hs +++ b/html-test/src/GadtConstructorArgs.hs @@ -1,5 +1,5 @@ {-# LANGUAGE Haskell2010 #-} -{-# LANGUAGE GADTs, PatternSynonyms #-} +{-# LANGUAGE GADTs #-} module GadtConstructorArgs (Boo(..)) where |