git.iko.soy/Idris-dev
on master help sign in
Remove FIXME.
20236a9Steven Shaw
src/Idris/AbsSyntax.hs−1
compare with master
unifiedsplit
@@ -7,7 +7,6 @@ Maintainer : The Idris Community.
7-}
7-}
8
8
9{-# LANGUAGE DeriveFunctor, FlexibleContexts, PatternGuards #-}
9{-# LANGUAGE DeriveFunctor, FlexibleContexts, PatternGuards #-}
10−-- FIXME: {-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
11{-# OPTIONS_GHC -fwarn-unused-imports #-}
10{-# OPTIONS_GHC -fwarn-unused-imports #-}
12
11
13module Idris.AbsSyntax(
12module Idris.AbsSyntax(