1
1
mirror of https://github.com/github/semantic.git synced 2024-12-19 12:51:52 +03:00

Clean up the language extensions for the Term module.

This commit is contained in:
Rob Rix 2016-07-11 13:59:27 -04:00
parent d1219d04f2
commit 921d0d9356

View File

@ -1,4 +1,4 @@
{-# LANGUAGE DefaultSignatures, ScopedTypeVariables, RankNTypes, TypeFamilies, TypeOperators, TypeSynonymInstances #-}
{-# LANGUAGE RankNTypes, TypeFamilies #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Term where