typeprof 0.1.0 → 0.1.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/README.md +5 -23
- data/typeprof.gemspec +2 -2
- metadata +2 -2
checksums.yaml
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
---
|
|
2
2
|
SHA256:
|
|
3
|
-
metadata.gz:
|
|
4
|
-
data.tar.gz:
|
|
3
|
+
metadata.gz: 6b8c2a9fcfc9dcbb115580fa4f317b532bd1dfbf18187b7793e8d4a6753b793e
|
|
4
|
+
data.tar.gz: 04f2a298d9944be2295a51b367394f328173b231489c99139657a419bcd7937b
|
|
5
5
|
SHA512:
|
|
6
|
-
metadata.gz:
|
|
7
|
-
data.tar.gz:
|
|
6
|
+
metadata.gz: c20b7996791a2c433d4d74b1106f8fafb794d1580fbd64814d75d16fc03b6199193d6458c321b55e4895d31be777718fa3a4d696ce6ac504db3a99a42b55ff6e
|
|
7
|
+
data.tar.gz: 19e6e07f9d131c8d295f7e4e017a0848c8da5fec98f85e4a730248acd7feaa5dad2544d99f004e3f3c41162681ce7c9af1b9ad6de791cb6a24fd6298ab05b448
|
data/README.md
CHANGED
|
@@ -1,19 +1,10 @@
|
|
|
1
|
-
# Ruby
|
|
1
|
+
# TypeProf: A type analysis tool for Ruby code based on abstract interpretation
|
|
2
2
|
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
## Setup
|
|
6
|
-
|
|
7
|
-
```sh
|
|
8
|
-
git clone https://github.com/mame/ruby-type-profiler.git
|
|
9
|
-
cd ruby-type-profiler
|
|
10
|
-
git submodule init
|
|
11
|
-
git submodule update
|
|
12
|
-
bundle install
|
|
13
|
-
```
|
|
3
|
+
## Synopsis
|
|
14
4
|
|
|
15
5
|
```sh
|
|
16
|
-
|
|
6
|
+
gem install typeprof
|
|
7
|
+
typeprof app.rb
|
|
17
8
|
```
|
|
18
9
|
|
|
19
10
|
## Demo
|
|
@@ -32,7 +23,7 @@ foo(42)
|
|
|
32
23
|
```
|
|
33
24
|
|
|
34
25
|
```
|
|
35
|
-
$
|
|
26
|
+
$ typeprof test.rb
|
|
36
27
|
# Classes
|
|
37
28
|
class Object
|
|
38
29
|
def foo : (Integer) -> String?
|
|
@@ -42,12 +33,3 @@ end
|
|
|
42
33
|
## Document
|
|
43
34
|
|
|
44
35
|
[English](doc/doc.md) / [日本語](doc/doc.ja.md)
|
|
45
|
-
|
|
46
|
-
## Todo
|
|
47
|
-
|
|
48
|
-
Contribution is welcome!
|
|
49
|
-
|
|
50
|
-
* Reorganize the test suite (by using minitest framework or something)
|
|
51
|
-
* Design and implement an reasonable CLI UI (nothing is configurable currently)
|
|
52
|
-
* Release a gem
|
|
53
|
-
* Continue to perform an experiment
|
data/typeprof.gemspec
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Gem::Specification.new do |spec|
|
|
2
2
|
spec.name = "typeprof" # temporal
|
|
3
|
-
spec.version = "0.1.
|
|
3
|
+
spec.version = "0.1.1"
|
|
4
4
|
spec.authors = ["Yusuke Endoh"]
|
|
5
5
|
spec.email = ["mame@ruby-lang.org"]
|
|
6
6
|
|
|
@@ -11,7 +11,7 @@ Gem::Specification.new do |spec|
|
|
|
11
11
|
spec.required_ruby_version = Gem::Requirement.new(">= 2.7")
|
|
12
12
|
|
|
13
13
|
spec.metadata["homepage_uri"] = spec.homepage
|
|
14
|
-
spec.metadata["source_code_uri"] = "https://github.com/
|
|
14
|
+
spec.metadata["source_code_uri"] = "https://github.com/ruby/typeprof"
|
|
15
15
|
|
|
16
16
|
# Specify which files should be added to the gem when it is released.
|
|
17
17
|
# The `git ls-files -z` loads the files in the RubyGem that have been added into git.
|
metadata
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
|
2
2
|
name: typeprof
|
|
3
3
|
version: !ruby/object:Gem::Version
|
|
4
|
-
version: 0.1.
|
|
4
|
+
version: 0.1.1
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- Yusuke Endoh
|
|
@@ -239,7 +239,7 @@ licenses:
|
|
|
239
239
|
- MIT
|
|
240
240
|
metadata:
|
|
241
241
|
homepage_uri: https://github.com/mame/ruby-type-profiler
|
|
242
|
-
source_code_uri: https://github.com/
|
|
242
|
+
source_code_uri: https://github.com/ruby/typeprof
|
|
243
243
|
post_install_message:
|
|
244
244
|
rdoc_options: []
|
|
245
245
|
require_paths:
|