add types db (#25)

Author: ulysses4ever

.github/workflows/ci.yml

@@ -7,7 +7,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        julia-version: ['1.7', '1.8', 'nightly']
+        julia-version: ['1.8', '1.9']
         julia-arch: [x64]
         os: [ubuntu-latest, windows-latest, macOS-latest]
 
@@ -17,8 +17,6 @@ jobs:
         with:
           version: ${{ matrix.julia-version }}
           arch: ${{ matrix.julia-arch }}
-      - run: rm Manifest.toml
-        if: matrix.julia-version != '1.7'
       - uses: julia-actions/julia-buildpkg@v1
       - uses: julia-actions/julia-runtest@v1
         with:

Manifest.toml

@@ -5,6 +5,8 @@ version = "0.1.0"
 
 [deps]
 CSV = "336ed68f-0bac-5ca0-87d4-7b16caf5d00b"
+DataFrames = "a93c6f00-e57d-5684-b7b6-d8193f3e46c0"
 InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
 MacroTools = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09"
+Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 Setfield = "efcf1570-3423-57d1-acb7-fd33fddbac46"

Project.toml

@@ -70,6 +70,25 @@ is written in `aggregate.csv`.
 
 See examples in the `tests` directory.
 
+## Types Database
+
+Normally, we don't check methods with `Any` in the parameters types
+because there is no sensible way to enumerate subtypes of `Any` without
+any additional knowledge. One way we can get around it is to collect
+a set of types and test only enumerate that set every time we see
+an `Any`-parameter. That's what the “types database” idea about.
+
+The implementation with further comments in the source code lives in
+[src/typesDB.jl](src/typesDB.jl) (you may be interested in the format of the
+database). A simple example of how to use it is shown in the test suite:
+
+```
+juila> f(x)=1
+juila> typesdb_cfg = build_typesdb_scfg("merged-small.csv")
+juila> is_stable_method((@which f(1)), typesdb_cfg)
+Stb(2)
+```
+
 ## Package History Checking
 
 There is a suite of scripts to examine the git history of packages 

README.md

@@ -2,4 +2,4 @@
 
 ADD_HEAD='1i Module,Methods,Stable,Partial,Unstable,Any,Vararg,Generic,TcFail,NoFuel'
 
-find . -maxdepth 1 -name "*-agg.txt" -exec cat {} + | sort | sed "$ADD_HEAD" > aggregate.csv
+find . -maxdepth 2 -name "*-agg.txt" -exec cat {} + | sort | sed "$ADD_HEAD" > aggregate.csv