a497ca7 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Removed sectioning and malformed code comments.

a497ca7Jan de Muijnck-Hughes11 years ago

src/Pkg/PParser.hs−9

@@ -2,13 +2,6 @@

2#if !(MIN_VERSION_base(4,8,0))

3{-# LANGUAGE OverlappingInstances #-}

4#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 ]

12module Pkg.PParser where

5module Pkg.PParser where

14import Text.Trifecta hiding (span, charLiteral, natural, symbol, char, string, whiteSpace)

7import Text.Trifecta hiding (span, charLiteral, natural, symbol, char, string, whiteSpace)

@@ -112,5 +105,3 @@ pClause = do reserved "executable"; lchar '=';

112 ts <- sepBy1 (fst <$> iName []) (lchar ',')

105 ts <- sepBy1 (fst <$> iName []) (lchar ',')

113 st <- get

106 st <- get

114 put st { idris_tests = idris_tests st ++ ts }

107 put st { idris_tests = idris_tests st ++ ts }

115−

116−-- -------------------------------------------------------------------- [ EOF ]