3fc435f · Idris-dev · git.iko.soy

HLint.hs+1

compare with master

unifiedsplit

@@ -1,3 +1,4 @@

1+{-# LANGUAGE TemplateHaskell #-}

1-- --------------------------------------------------------------- [ HLint.hs ]

2-- --------------------------------------------------------------- [ HLint.hs ]

2-- HLint suggestions we like.

3-- HLint suggestions we like.

3--

4--

src/Idris/ASTUtils.hs+1

@@ -1,3 +1,4 @@

1+{-# LANGUAGE MultiParamTypeClasses #-}

1{-|

2{-|

2Module : Idris.ASTUtils

3Module : Idris.ASTUtils

3Description : This implements just a few basic lens-like concepts to ease state updates. Similar to fclabels in approach, just without the extra dependency.

4Description : This implements just a few basic lens-like concepts to ease state updates. Similar to fclabels in approach, just without the extra dependency.

src/Idris/Core/Constraints.hs+1

@@ -1,3 +1,4 @@

1+{-# LANGUAGE FlexibleContexts, MultiParamTypeClasses #-}

1{-|

2{-|

2Module : Idris.Core.Constraints

3Module : Idris.Core.Constraints

3Description : Check universe constraints.

4Description : Check universe constraints.

src/Idris/Core/TT.hs+1−1

@@ -22,7 +22,7 @@ TT is the core language of Idris. The language has:

22 * We have a simple collection of tactics which we use to elaborate source

23 programs with implicit syntax into fully explicit terms.

24-}

25−{-# LANGUAGE DeriveDataTypeable, DeriveFunctor, DeriveGeneric,

25+{-# LANGUAGE DeriveDataTypeable, DeriveFunctor, DeriveGeneric, FlexibleContexts,

26 FunctionalDependencies, MultiParamTypeClasses, PatternGuards #-}

27{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}

28module Idris.Core.TT(