typeprof 0.15.3 → 0.20.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 13f530c84fe1b38000dc93982adac87c01d6d3a3516f8502e3de252d56428a12
-  data.tar.gz: b799ff212fd16b59bb96f8b560252e687d206e9a3ba541eaa6033532108957e3
+  metadata.gz: 3ee0445d195b9ab48538b37afc382d3b48d74c4fd9c5628010a3ac5084349259
+  data.tar.gz: 183309d5b70590396a7b0eec078b1b980b5e38877d5d756e66e03acefb971055
 SHA512:
-  metadata.gz: 6e11866f36a7570ba564bf2abe6912f2531f728e76c4afc32f9bfddc436ea03a86a996eb4d3ddd2bf8c24e9eeae0986b45f17f06575d80df21b812585976f1ba
-  data.tar.gz: 8e990ceee15c1dba1cf529990fbb6e26a4f48946088549f51471c48ff1aeccfdc7cb8b6547c1105e00767263acee681db4340240f94c786b39bbeff842d501dc
+  metadata.gz: 2b43a67c81128f11a34bd3d9aeecad1763e3baf7a8498e68c411fa652579213519956a6ff4d301873b8d9291d1ce89f1c1e33f0379846df620118d47b42add0f
+  data.tar.gz: e1768b62ac2fe976fb94abe2fbf41656002f80e8016cd8c5e634a44770a4a8eeafb1e50bc5003a774d84621a5c14fbad9fef4eb40c9c383b9b48bee74ca05907

data/.github/workflows/main.yml

@@ -7,7 +7,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ruby-version: [2.7, 3.0, head]
+        ruby-version: [2.7, 3.0,head]
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v2

data/Gemfile.lock

@@ -1,17 +1,17 @@
 PATH
   remote: .
   specs:
-    typeprof (0.15.3)
-      rbs (>= 1.3.1)
+    typeprof (0.20.3)
+      rbs (>= 1.6.2)
 
 GEM
   remote: https://rubygems.org/
   specs:
     coverage-helpers (1.0.0)
     docile (1.4.0)
-    power_assert (2.0.0)
+    power_assert (2.0.1)
     rake (13.0.1)
-    rbs (1.6.1)
+    rbs (1.7.0)
     simplecov (0.21.2)
       docile (~> 1.1)
       simplecov-html (~> 0.11)
@@ -19,7 +19,7 @@ GEM
     simplecov-html (0.12.3)
     simplecov_json_formatter (0.1.3)
     stackprof (0.2.17)
-    test-unit (3.4.2)
+    test-unit (3.5.1)
       power_assert
 
 PLATFORMS

data/doc/ide.md

@@ -0,0 +1,81 @@
+# How to use TypeProf for IDE
+
+First, try it with an already-configured repository!
+
+1. `rbenv install 3.1.0-dev`
+2. `git clone https://github.com/mame/rbswiki`
+3. `cd rbswiki && bundle install`
+4. `rbs collection install`
+5. install [VSCode extension for TypeProf](https://marketplace.visualstudio.com/items?itemName=mame.ruby-typeprof) to your VSCode
+6. open the `rbswiki` folder by VSCode
+7. open `lib/rbswiki/wiki.rb`
+
+If everything goes well, you will see guessed signatures for each method:
+
+![Screenshot](typeprof-for-ide.png)
+
+### Troubleshooting
+
+* Make sure that you are using ruby 3.1.0-dev.
+
+```
+$ ruby -v
+ruby 3.1.0dev (2021-09-28T11:03:54Z master 545e01645f) [x86_64-linux]
+```
+
+* Check if typeprof version is 0.20.0 or later.
+
+```
+$ bundle exec typeprof --version
+typeprof 0.20.0
+```
+
+* Check if TypeProf can analyze `lib/rbswiki/wiki.rb` within one second.
+
+```
+$ bundle exec typeprof lib/rbswiki/wiki.rb
+warning: rbs collection is experimental, and the behavior may change until RBS v2.0
+# TypeProf 0.20.0
+
+# Classes
+module RBSWiki
+  class Wiki
+    @content: Hash[String, String]
+...
+```
+
+* See the log of "Ruby TypeProf" in vscode's "OUTPUT" panel.
+
+![Log of TypeProf for IDE](typeprof-for-ide-log.png)
+
+## How to configure TypeProf for your code
+
+1. Write `gem "typeprof"` to your `Gemfile`, and run `bundle install`
+2. Write `rbs_collection.yaml`, and run `rbs collection install`
+3. Test if TypeProf works well by running `bundle exec typeprof your_code.rb`
+4. Open your repository with vscode
+
+### Troubleshooting
+
+*TBD*
+
+## Protips, limitation, unimplemented features, ...
+
+TypeProf for IDE is extremely preliminary! Please give it a try with a warm heart...
+
+* Write a simple (type-level) test in each file with `if $0 == __FILE__` guard to guide TypeProf to infer method signatures.
+* Use `require` only for loading gems. To load your code, use `require_relative` instead of `require`. (Or, create `bin/typeprof` and pass `-Ilib`. TBD for details)
+* Currently, TypeProf for IDE loads `typeprof.rbs` at the top folder. (I'll need to improve it to read `sig/` directory)
+* TypeProf for IDE analyzes each file within one second. Unfortunately, it takes very long to analyze big code, or complex code, or code that requires a big gem. In this case, TypeProf for IDE cannot show any guesses. Splitting a file or manually writing RBS may make the analysis faster. (TBD for details)
+* Unfortunately, TypeProf may report some false positive errors that you cannot stop. I'll create an option to configure error level.
+* TypeProf for IDE tries to invoke TypeProf as follows:
+    * If your repository has `bin/typeprof` executable, it is invoked.
+    * Otherwise, it will try to invoke a command specified in VS`typeprof.server.path`.
+    * Otherwise, it will try to invoke `bundle exec typeprof`.
+    * Otherwise, it will try to invoke `typeprof`.
+    * Otherwise, TypeProf for IDE gives up.
+* Some people says TypeProf for IDE works with vim! (TBD for details)
+
+## How to develop TypeProf for IDE
+
+See `../vscode/development.md`.

data/exe/typeprof

@@ -3,4 +3,8 @@
 require_relative "../lib/typeprof"
 
 config = TypeProf::CLI.parse(ARGV)
-TypeProf.analyze(config)
+if config.options[:lsp]
+  TypeProf.start_lsp_server(config)
+else
+  TypeProf.analyze(config)
+end