@@ -2,13 +2,6 @@
22#if !(MIN_VERSION_base(4,8,0))
33{-# LANGUAGE OverlappingInstances #-}
44#endif
5−-- ------------------------------------------------------------- [ PParser.hs ]
6−-- Module : PParser.hs
7−-- Copyright : (c) The Idris Community.
8−-- License : see LICENSE
9−--
10−-- The parser for Idris ipkg files.
11−-- -------------------------------------------------------------------- [ EOH ]
125module Pkg.PParser where
136
147import Text.Trifecta hiding (span, charLiteral, natural, symbol, char, string, whiteSpace)
@@ -112,5 +105,3 @@ pClause = do reserved "executable"; lchar '=';
112105 ts <- sepBy1 (fst <$> iName []) (lchar ',')
113106 st <- get
114107 put st { idris_tests = idris_tests st ++ ts }
115−
116−-- -------------------------------------------------------------------- [ EOF ]