Remove FIXME.
It indicated that trying to turn on `-fwarn-incomplete-patterns` failed.
commit20236a988acf91dca68adfed6904b48c28e76c58
authorSteven Shaw <steven@steshaw.org>
dateFri 8 Sep 2017, 19:48 (9 years ago)
parent319166c
src/Idris/AbsSyntax.hs−1
@@ -7,7 +7,6 @@ Maintainer : The Idris Community.
77-}
88
99{-# LANGUAGE DeriveFunctor, FlexibleContexts, PatternGuards #-}
10−-- FIXME: {-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
1110{-# OPTIONS_GHC -fwarn-unused-imports #-}
1211
1312module Idris.AbsSyntax(