Adapt to version3

LICENSE

+Copyright (c) 2020, Michael Hanus
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are
+met:
+
+1. Redistributions of source code must retain the above copyright
+   notice, this list of conditions and the following disclaimer.
+
+2. Redistributions in binary form must reproduce the above copyright
+   notice, this list of conditions and the following disclaimer in the
+   documentation and/or other materials provided with the distribution.
+
+3. Neither the names of the copyright holders nor the names of its
+   contributors may be used to endorse or promote products derived from
+   this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

package.json

 {
     "name": "addtypes",
-    "version": "2.0.0",
+    "version": "3.0.0",
     "author": "Bernd Brassel <bbr@informatik.uni-kiel.de>",
     "maintainer": "Michael Hanus <mh@informatik.uni-kiel.de>",
     "synopsis": "A tool to add missing type signatures in a Curry program",
     "category": [ "Programming" ],
+    "license": "BSD-3-Clause",
+    "licenseFile": "LICENSE",
     "dependencies": {
-        "abstract-curry": ">= 2.0.0",
-        "base"          : ">= 1.0.0, < 2.0.0",
-        "currypath"     : ">= 0.0.1",
-        "searchtree"    : ">= 0.0.1",
-        "wl-pprint"     : ">= 0.0.1"
-    },
-    "compilerCompatibility": {
-        "pakcs": ">= 2.0.0, < 3.0.0",
-        "kics2": ">= 2.0.0, < 3.0.0"
+        "base"          : ">= 3.0.0, < 4.0.0",
+        "abstract-curry": ">= 3.0.0, < 4.0.0",
+        "currypath"     : ">= 3.0.0, < 4.0.0",
+        "process"       : ">= 3.0.0, < 4.0.0",
+        "searchtree"    : ">= 3.0.0, < 4.0.0",
+        "wl-pprint"     : ">= 3.0.0, < 4.0.0"
     },
     "description":
       "This package contains a tool which adds missing type signatures

src/AddTypes.curry

@@ -3,7 +3,7 @@
 -- write while developing the program. 
 --
 -- @author Bernd Brassel, with changes by Michael Hanus
--- @version December 2018
+-- @version November 2020
 -- 
 -- Possible extensions: Use type synonyms to reduce annotations
 ------------------------------------------------------------------
@@ -13,15 +13,15 @@
 module AddTypes ( main, addTypeSignatures )
  where
 
-import FileGoodies
-import List
-import System ( exitWith, system, getArgs )
+import Data.List
+import System.Environment ( getArgs )
 
 import AbstractCurry.Types
 import AbstractCurry.Files
 import AbstractCurry.Pretty
 import Control.AllSolutions ( getOneValue )
 import System.CurryPath     ( stripCurrySuffix )
+import System.Process       ( exitWith, system )
 import Text.Pretty
 
 import CurryStringClassifier
@@ -57,9 +57,7 @@ printUsage :: IO ()
 printUsage = putStrLn $ unlines
   [ "A tool to add missing type signatures to top-level operations"
   , ""
-  , "Usage:"
-  , ""
-  , "    curry addtypes <Curry program>"
+  , "Usage: curry-addtypes <Curry program>"
   ]
 
 --- the given file is read three times: a) typed, to get all the necessary 

src/CurryStringClassifier.curry

@@ -21,7 +21,7 @@
 --- to add function types to a given program.
 ---
 --- @author Bernd Brassel
---- @version April 2005
+--- @version November 2020
 ----------------------------------------------------------------------
 
 {-# OPTIONS_CYMAKE -Wno-incomplete-patterns #-}
@@ -32,7 +32,7 @@ module CurryStringClassifier
   , isCode, isModuleHead, isMeta, readScan, testScan
   ) where
 
-import Char ( isDigit, isSpace )
+import Data.Char ( isDigit, isSpace )
 
 --- The different categories to classify the source code.
 data Token  = SmallComment String