Merge pull request #4190 from jfdm/fix-haddock-copyright

Remove the empty haddock property 'copyright'.
idris-lang · Nov 10, 2017 · f92ecd2 · f92ecd2
2 parents a4258cd + 3ccb494
commit f92ecd2
Show file tree

Hide file tree

Showing 102 changed files with 102 additions and 102 deletions.
diff --git a/src/IRTS/Bytecode.hs b/src/IRTS/Bytecode.hs
@@ -2,7 +2,7 @@
 Module      : IRTS.Bytecode
 Description : Bytecode for a stack based VM (e.g. for generating C code with an accurate hand written GC)
 
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 

diff --git a/src/IRTS/CodegenC.hs b/src/IRTS/CodegenC.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.CodegenC
 Description : The default code generator for Idris, generating C code.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/CodegenCommon.hs b/src/IRTS/CodegenCommon.hs
@@ -2,7 +2,7 @@
 {-|
 Module      : IRTS.CodegenCommon
 Description : Common data structures required for all code generators.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/CodegenJavaScript.hs b/src/IRTS/CodegenJavaScript.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.CodegenJavaScript
 Description : The JavaScript code generator.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/Compiler.hs b/src/IRTS/Compiler.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.Compiler
 Description : Coordinates the compilation process.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/Defunctionalise.hs b/src/IRTS/Defunctionalise.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.Defunctionalise
 Description : Defunctionalise Idris' IR.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 

diff --git a/src/IRTS/DumpBC.hs b/src/IRTS/DumpBC.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.DumpBC
 Description : Serialise Idris to its IBC format.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/Exports.hs b/src/IRTS/Exports.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.Exports
 Description : Deal with external things.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/Inliner.hs b/src/IRTS/Inliner.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.Inliner
 Description : Inline expressions.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/JavaScript/AST.hs b/src/IRTS/JavaScript/AST.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.JavaScript.AST
 Description : The JavaScript AST.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/JavaScript/Codegen.hs b/src/IRTS/JavaScript/Codegen.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.JavaScript.Codegen
 Description : The JavaScript common code generator.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/JavaScript/LangTransforms.hs b/src/IRTS/JavaScript/LangTransforms.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.JavaScript.LangTransforms
 Description : The JavaScript LDecl Transformations.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/JavaScript/Name.hs b/src/IRTS/JavaScript/Name.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.JavaScript.Name
 Description : The JavaScript name mangler.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/JavaScript/PrimOp.hs b/src/IRTS/JavaScript/PrimOp.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.JavaScript.PrimOp
 Description : The JavaScript primitive operations.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/JavaScript/Specialize.hs b/src/IRTS/JavaScript/Specialize.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.JavaScript.Specialize
 Description : The JavaScript specializer.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/Lang.hs b/src/IRTS/Lang.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.Lang
 Description : Internal representation of Idris' constructs.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/LangOpts.hs b/src/IRTS/LangOpts.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.LangOpts
 Description : Transformations to apply to Idris' IR.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/Portable.hs b/src/IRTS/Portable.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.Portable
 Description : Serialise Idris' IR to JSON.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/Simplified.hs b/src/IRTS/Simplified.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.Simplified
 Description : Simplified expressions, where functions/constructors can only be applied to variables.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/IRTS/System.hs b/src/IRTS/System.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : IRTS.System
 Description : Utilities for interacting with the System.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/ASTUtils.hs b/src/Idris/ASTUtils.hs
@@ -2,7 +2,7 @@
 {-|
 Module      : Idris.ASTUtils
 Description : This implements just a few basic lens-like concepts to ease state updates. Similar to fclabels in approach, just without the extra dependency.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 

diff --git a/src/Idris/AbsSyntax.hs b/src/Idris/AbsSyntax.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.AbsSyntax
 Description : Provides Idris' core data definitions and utility code.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/AbsSyntaxTree.hs b/src/Idris/AbsSyntaxTree.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.AbsSyntaxTree
 Description : Core data definitions used in Idris.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/Apropos.hs b/src/Idris/Apropos.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Apropos
 Description : Search loaded Idris code and named modules for things.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/CaseSplit.hs b/src/Idris/CaseSplit.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.CaseSplit
 Description : Module to provide case split functionality.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 

diff --git a/src/Idris/Chaser.hs b/src/Idris/Chaser.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Chaser
 Description : Module chaser to determine cycles and import modules.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/Colours.hs b/src/Idris/Colours.hs
@@ -2,7 +2,7 @@
 {-|
 Module      : Idris.Colours
 Description : Support for colours within Idris.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/Completion.hs b/src/Idris/Completion.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Completion
 Description : Support for command-line completion at the REPL and in the prover.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/Core/Binary.hs b/src/Idris/Core/Binary.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Core.Binary
 Description : Binary instances for the core datatypes
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/Core/CaseTree.hs b/src/Idris/Core/CaseTree.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Core.CaseTree
 Description : Module to define and interact with case trees.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 

diff --git a/src/Idris/Core/Constraints.hs b/src/Idris/Core/Constraints.hs
@@ -2,7 +2,7 @@
 {-|
 Module      : Idris.Core.Constraints
 Description : Check universe constraints.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/Core/DeepSeq.hs b/src/Idris/Core/DeepSeq.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Core.DeepSeq
 Description : NFData instances for TT.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/Core/Elaborate.hs b/src/Idris/Core/Elaborate.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Core.Elaborate
 Description : A high level language of tactic composition, for building elaborators from a high level language into the core theory.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 

diff --git a/src/Idris/Core/Evaluate.hs b/src/Idris/Core/Evaluate.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Core.Evaluate
 Description : Evaluate Idris expressions.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/Core/Execute.hs b/src/Idris/Core/Execute.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Core.Execute
 Description : Execute Idris code and deal with FFI.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/Core/ProofState.hs b/src/Idris/Core/ProofState.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Core.ProofState
 Description : Proof state implementation.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 

diff --git a/src/Idris/Core/ProofTerm.hs b/src/Idris/Core/ProofTerm.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Core.ProofTerm
 Description : Proof term. implementation and utilities.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/Core/TT.hs b/src/Idris/Core/TT.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Core.TT
 Description : The core language of Idris, TT.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 

diff --git a/src/Idris/Core/Typecheck.hs b/src/Idris/Core/Typecheck.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Core.Typecheck
 Description : Idris' type checker.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/Core/Unify.hs b/src/Idris/Core/Unify.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Core.Unify
 Description : Idris' unification code.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 

diff --git a/src/Idris/Core/WHNF.hs b/src/Idris/Core/WHNF.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Core.WHNF
 Description : Reduction to Weak Head Normal Form
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/Coverage.hs b/src/Idris/Coverage.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.Coverage
 Description : Clause generation for coverage checking
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/DSL.hs b/src/Idris/DSL.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.DSL
 Description : Code to deal with DSL blocks.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}

diff --git a/src/Idris/DataOpts.hs b/src/Idris/DataOpts.hs
@@ -1,7 +1,7 @@
 {-|
 Module      : Idris.DataOpts
 Description : Optimisations for Idris code i.e. Forcing, detagging and collapsing.
-Copyright   :
+
 License     : BSD3
 Maintainer  : The Idris Community.
 -}