finitio-0.7.0.pre.rc2

https://rubygems.org

finitio

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 622557

number: 0.7.0.pre.rc2

platform: ruby

spec_sha256: 186ae93bac251e8c3c21e65f937ecb7f2b2229974682f354b1d8a1cee9c3fcf2

sha256: 3b37ec8d875978b5e1df50a481dc007d97dc568ebfdf9ed9ff1011823e5d6ae4

created_at: 2024-05-13 08:22:58 UTC

updated_at: 2024-06-09 14:05:41 UTC

position: 12

version_data_entries_count: 258

uploaded_at: 2019-02-21 13:50:04 UTC

indexed: true

has_extensions:

extensions:

Gem size: 53 KB

Version Data Entries

Total: 258

Unpacked size: 246 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
CHANGELOG.md100644003.27 KB64e08506d9a9476d0fd97cfd72287d2b21ac2b95fb8566aa148a3be04e407b1c
Gemfile10064400229 Bytesf372a146af73aa1360102bfa592be355fbec6fb7fb87bec5c673de1a2f7ec731
Gemfile.lock100644001.44 KBe56f6b182d0c77a72aedcb04ba380a75f8028033ad396500672608fc2780aace
LICENCE.md100644001.12 KBea8c2aa2fb1eb5f43333c636ffccbb67067245d3ee2189fb63297f325a4536ba
Manifest.txt10064400123 Bytesdc67663767266bdd166ccffa6486eeadedeb5a1293fffad603c36301fdd74312
README.md100644004.05 KB0715504ca9680aa2c097b9916dedb458250e517ce01a5809221cc8bbc7a6942e
Rakefile10064400209 Bytese245a9f226733d44bc843fde92c0fbcb12b227152470ed9bd49d5892498e8fd9
finitio.gemspec100644005.7 KBbbe630a235aef028cb4bfec7026113b6b40d57b0e991dea68a5def33865ac163
lib/finitio.rb10064400828 Bytes87fa5250660e2ba0e133356cf3be8433841d352a9190a9060e903de6e9b30c88
lib/finitio/errors.rb10064400742 Bytese18af6ab62a4d5ff6121128059e1fa50ed2dcbffc674b40b2076bc24704094de
lib/finitio/stdlib/finitio/data.fio10064400756 Bytesc227e0d4f93c1a6082bacdd1aca300faa77c954da5a3c0c0c28a41eb85356c46
lib/finitio/support.rb10064400301 Bytes447af5d752d5a38b85581489399362e3dae15bf871614841946afe62f370aba7
lib/finitio/support/attribute.rb100644001.57 KB63ca6a5ce8b9eff7178d039129e47e5f08056aac13d1a8bb964520937a5177ce
lib/finitio/support/compilation.rb100644001.98 KB7d7c111271560cdfbc76c33f7dc515a78598a4c09c3f06d0d440a6c84a20c338
lib/finitio/support/constraint.rb10064400877 Bytes7b789b830937e08d63bab54c0aacc6c602a71e0e27cc16b172da2596894f3154
lib/finitio/support/contract.rb10064400979 Bytese09c622e5dd7fa65185221549cb60b564be0954e1d92ee2dc828811285eb3cab
lib/finitio/support/dress_helper.rb100644001.28 KB2b9b637815ca158dff59e68fa2865d1d5517d2c807c2cd7169614a2115c35be4
lib/finitio/support/heading.rb100644002.47 KB351985a97ca05f8c27c95a550e83cda0b1fe90dcbcb281b95f2f53d4448ca750
lib/finitio/support/metadata.rb10064400357 Bytes635f6ad3806875263ac1e47dcb4df2a259fcc651e838e8d03b70815724d55ccb
lib/finitio/support/type_factory.rb100644007.21 KB4f94556363df05e27a859aca8ee6ce654ac82c4a5c36dc0b069425a16aa42ed2
lib/finitio/syntax.rb100644001.17 KB3bc35ff0187ad901507f123afec5bb6e24e3fe1d68a9d0b0c1ef673116f865e3
lib/finitio/syntax/definitions.rb10064400354 Bytes0eb7af6d2261bd65778b0e57f518e03b68ce4795fd9da5791e486dd80fc682b3
lib/finitio/syntax/expr.rb100644001.31 KB1957482ecd07d23cc1451273f8f6ec8ebd25bf36197ebc5b87831f194ed98179
lib/finitio/syntax/expr/arith_op.rb10064400478 Bytesdee9f96ebb8bee6987b29ffe430159096999231705827b527bd506410134fcef
lib/finitio/syntax/expr/comparison.rb10064400484 Bytesdc0944733aa1cb2f2fef0b5ddfecd4fe0dff87049e6e4f1b5c7162c92bcc26d3
lib/finitio/syntax/expr/fn_call.rb10064400523 Bytesa3aaf3aa56b015de5d7c22e761d91aecae14b83a0f72c727dbea35b06a5f956a
lib/finitio/syntax/expr/identifier.rb10064400338 Bytes509b292d663ec11716ca4f55ce3ca0a820417344fe00a7f5b6da6b4c34f72961
lib/finitio/syntax/expr/literal.rb10064400323 Bytes26fdc53ff42bc5dd5e27b40e56ecf30682c9d599b3f332f726986ef5f6bbb957
lib/finitio/syntax/expr/logic_dyadic.rb10064400474 Bytesbe88ef02d689491e7177982e099cf541d63ebe80e7ff75c3aa4ea394000e3b3e
lib/finitio/syntax/expr/logic_not.rb10064400383 Bytesf3da989e69a216ac194f67731b2bbe66abdbe613a009aad03a0e45a56f9e34a0
lib/finitio/syntax/expr/oo_call.rb10064400484 Bytesae39bd11ebef28f8f3ee0a4323d643256ae5291219e38bc8f94228565ce3e75a
lib/finitio/syntax/expr/parenthesized.rb10064400369 Bytes01000f35607f19c36939ea342ceb90d9a48170b61638d4ce26258f8c48cbf7ed
lib/finitio/syntax/expr/unary_minus_op.rb10064400389 Bytes6c6c357e3f87a35038495d538d3d3ff1b05f4bba4ab715986d86368b0b0e8113
lib/finitio/syntax/expressions.citrus100644002.47 KB23de73d0894894b052d620afed6a8e6c60418eb46bfb8061bbe1b4c3f3f7a47b
lib/finitio/syntax/finitio.citrus10064400703 Bytes5ea404912662b63a528483fcba808f1a99e99b1446d75d45caccfc137e2744dd
lib/finitio/syntax/finitio.sexp100644001.36 KBfaf8028b6a99456e428822869a1fe19269faac748a1ecfa3ebfeaa1584935dfa
lib/finitio/syntax/import.rb10064400395 Bytes1d20d5eca83b341fdd4b43b5fecb8df3c3f96e554ef70a91da075a160dcd0b8f
lib/finitio/syntax/imports.rb10064400355 Bytes4c9878df575755fbc210150b40fbb90d5f1f52b7adc73de8c5c88e9b2792a5bf
lib/finitio/syntax/lexer.citrus100644001.08 KBff0d6adcadc2ecc8769ae0df6dcb581b7c50a3b68de6c45a593b49147a951cb2
lib/finitio/syntax/literal.rb10064400324 Bytes669b3a724ab89e6442919fbaa7c17bab81cd1a70a57576f42a712285627a65ff
lib/finitio/syntax/literal/boolean.rb10064400463 Bytesbde14b7b0e6b76516a8ef051871947f05ec78361f1100ad12884185d5c53c2c8
lib/finitio/syntax/literal/integer.rb10064400257 Bytesf671b0e7dfdf45e782d0ac5b7679c097b58deb416764b40a38c262292b8e4e1f
lib/finitio/syntax/literal/real.rb10064400249 Bytes1fee61015d1ce1cfac8f25e0c8fde195a80cd65f53e898cbc8e528880bfdd587
lib/finitio/syntax/literal/string.rb10064400262 Bytesa0db8ebf74999d6da17f02a4b842e7c05a14f46b58f9964c61ee1bd0726bc2d3
lib/finitio/syntax/literals.citrus10064400798 Bytesc838a3bdd5094ca1d69d248ab8de462d52d8fc682f1317b0b1859810184e57b0
lib/finitio/syntax/node.rb100644001.09 KB3a22c5816d03e08ee30de3678af2628693832191e720171618821eca3ef9b5d6
lib/finitio/syntax/system.rb10064400602 Bytes0514e806a9a710471f3efd1f808ca33324fad31b24181ea261e9818ade51065d
lib/finitio/syntax/type.rb10064400957 Bytes44c108719dfa50cef458bf7414a59e16011f7091c3701a1c3c637136ef3606d1
lib/finitio/syntax/type/ad_type.rb10064400741 Bytes6f7edd636b7f4dbbf3e9bbabca6f6130cf56b4a5ab7b90eb9bfbc2d34fd856f6
lib/finitio/syntax/type/any_type.rb10064400244 Bytes654e3b22301045e95d3b22d7eb3336a89b3a6f83f683941714f2d6eb0f0eaf59
lib/finitio/syntax/type/attribute.rb10064400654 Bytesff068eec83345e5bf2f14c891cf9d0a0594cd2ff72c26874da44a5a75d59dc38
lib/finitio/syntax/type/builtin_type.rb10064400384 Bytese821f3940213943eb0b3b1aa12e8edfef014585d11864d2d45436ea77abb183b
lib/finitio/syntax/type/constraint_def.rb10064400340 Bytesd6c488ba4838a2d0f967612d7fac79354c47d02dfa9df484a5f9ea1ed371f200
lib/finitio/syntax/type/constraints.rb10064400387 Byteseeb1385e69491a1f217ffd62527bfb52bb260ad20f00808bad97dd7558b90971
lib/finitio/syntax/type/contract.rb100644001.02 KB179230a4e23d09896daf38d66160ad4f214ed94581a5203e8bcffe513b917295
lib/finitio/syntax/type/expression.rb10064400257 Bytes0a3bec8fe2f2967781be0048a215f3ad7fe88b634fa5c68b57c82d280bb3ea3d
lib/finitio/syntax/type/external_pair.rb10064400415 Bytes0601322011046cd134a997daa6eda93647c8a1a7a131df17aa34df9a4009cba6
lib/finitio/syntax/type/heading.rb10064400740 Bytes44c3e85e87d8314f606be2417130d13178b3022313a3c892ce8560ab34136211
lib/finitio/syntax/type/heading_extra.rb10064400377 Bytes2e5f3a8b255c7bfbf842604024070c0804ed7309089cee334ab3c9897044fbee
lib/finitio/syntax/type/inline_pair.rb10064400358 Bytes04fc74a11cdb467c6aadb0f545c5bb202389e36800a6c732f9162422314cc0b8
lib/finitio/syntax/type/lambda_expr.rb10064400363 Bytes997cd04a6a61a0a4fd2fd501451e79e2be8752ec5966337ce050ef3239673163
lib/finitio/syntax/type/main_type.rb10064400310 Bytes5d46af5c25c9944c5f11031293961c5b7aa5cb693bc2a70aaa5788fa98b266c5
lib/finitio/syntax/type/metadata.rb10064400350 Bytesf73da443f0825fc073282fb9e22c30fece76fd1fd93097f594e0afa5a863fad8
lib/finitio/syntax/type/metadata_attr.rb10064400283 Bytescdd0ade27ae834f28e4695eb6749614887fb815fdf3a6bdb8758e4e84bc87b44
lib/finitio/syntax/type/named_constraint.rb10064400558 Bytes40d530a0c46e28f7a70b0c929cc1a6c19c36ab7fc352a306a1dde81c8d6c4a97
lib/finitio/syntax/type/relation_type.rb10064400427 Bytes566d4768b5e3c52a3fd91cb2ed128712c4860057c3b40fdf9ff34bc0c9c5a27a
lib/finitio/syntax/type/seq_type.rb10064400329 Bytes1097f3c47e543741e5fa03ba82916aa511556966bb68c3aad84a3d65bcbbe36b
lib/finitio/syntax/type/set_type.rb10064400329 Bytesf0893c54f376c9314519f7515d6479688d13d5d54d8bbb6ec4f61ce8f0833b83
lib/finitio/syntax/type/struct_type.rb10064400381 Bytesbea69124a8172b6f400617753afd40ca0ec8dd95a98fbebda31cb1f305dc8391
lib/finitio/syntax/type/sub_type.rb10064400544 Bytes22405ebbc594d030c1bb62f142dfce8e7954e84020f12ade32a4863adf2f4c4b
lib/finitio/syntax/type/tuple_type.rb10064400415 Bytesd36ecfe706d381bcd3ab832739771c9952be912bec96899f1a268f228829bf5e
lib/finitio/syntax/type/type_def.rb10064400432 Bytesd0faa49d1ea8c8b1bf7813c53043592c72eb17bec4d28d6ca55ea2af3a8712bd
lib/finitio/syntax/type/type_ref.rb10064400350 Bytes62dba5495e1d8ef3cc2e944a1826a1c1c8f46affea952fb1c113289e2d1dbeb4
lib/finitio/syntax/type/union_type.rb10064400435 Bytes39b9b1bbe6204f71848506f8c703f2ff43277c29b288b38ea732cecc11d49fbd
lib/finitio/syntax/type/unnamed_constraint.rb10064400493 Bytes3e75b4d443ff25eb4ec77391237c3902e641899383bd4010141aedb7e99f1ed5
lib/finitio/syntax/types.citrus100644003.65 KBcf599d9056f8d51b97f38a32b72842ecaabdbb8c13ce4c654f8d35b181c82a07
lib/finitio/system.rb100644002.35 KBdb97d6423626a31c924d59fe2fb22bb3e302a3c161623db42ec4dc63c3b06475
lib/finitio/type.rb100644002.44 KBc9639ba6ead952b8a30a9270a1323bd75701bd54f953b7ff884da17d887828c8
lib/finitio/type/ad_type.rb100644004.2 KB0a13b7d20b906fc1072b55341de68d12bb88fafc5a74c0b5ae038fb82bdfcba0
lib/finitio/type/alias_type.rb10064400712 Bytesba16505441c117cc902428ac6f807bff7f781cfc2e4d3512e317b08bc2b2166e
lib/finitio/type/any_type.rb100644001 KB928d679f8c19921a4e166d01c277cdb1ac0c551d636b50b7dd53d48d57d7f94c
lib/finitio/type/builtin_type.rb100644001.48 KB66413b2ddc9bb1ce6be4fd455918ef14042f02a9bb9e334638ffe7dd271fe3ac
lib/finitio/type/collection_type.rb10064400539 Bytesfc636df2ccbaf5509d9306e69be347855dcf70f8f8ef480a3660e4a83509429b
lib/finitio/type/hash_based_type.rb100644002.81 KBd5942bb0602b7e695595cc37514de3464c03a8ef8f7e5064f3d760855ddfb326
lib/finitio/type/heading_based_type.rb10064400586 Bytesa947eb263bcedd9e1a41d6ef91d7925009d1727638c2a1c6b1f9b82ee34ef283
lib/finitio/type/multi_relation_type.rb100644001.11 KB0b4463cee6e91c53fca163f1de34252ea0bf9f6a54d67bb5fef880b5572ede61
lib/finitio/type/multi_tuple_type.rb10064400971 Bytes8d06803bc6d5ee47bfaa0e99ceff5a6fbabcaaa52307b48e676a9ca96aedb870
lib/finitio/type/proxy_type.rb10064400889 Bytes2192270740aa92395d9761022d42bb9a4c6b399dd9a265025139dab8f6744156
lib/finitio/type/rel_based_type.rb100644001.05 KBca4e44f49bda298f75b7bbf65c44ba1a5a96b1db2235f0648109384ccf00b4a6
lib/finitio/type/relation_type.rb100644001.24 KB8169b7745736a10a143f30e3f0b6e1c668158e0e27388deb1b6284b150fbba8f
lib/finitio/type/seq_type.rb100644001.6 KB80799d29c8f77dc54cd2a42cd9a7ca6e8702c04d2da223dcd5ea810d4e6d3cf3
lib/finitio/type/set_type.rb100644001.65 KBff15c9b8eddabb4d9e2b6c24e0eb628b631e35fb92cb12b0b8841aee9f0f4f07
lib/finitio/type/struct_type.rb100644002.52 KB07e9cbd9122604e46e818a9de17cd9819cdd494a4c4cb85581913c1e7f0d9842
lib/finitio/type/sub_type.rb100644002.83 KB84c693c5b3de41f8b3d9be549e009e1b05442b9fbad525a769ee20b4070a07a6
lib/finitio/type/tuple_type.rb100644001.55 KB14977abf7e712b715c5f171cb3a34450404995b8cd0ddafb3d8c64450bce6f00
lib/finitio/type/union_type.rb100644002.37 KBc4de70c94248f2f5906b3757e1c537b383a10371fd3739144b0ccdf8b13c6a8b
lib/finitio/version.rb10064400183 Bytes6bedf3dfe97f9355100ef02260d88ba0b907c8c9aa26092a7cc31d058324be2d
spec/attribute/test_equality.rb10064400765 Bytes42b3262a2eab6b69083fb644fe7189a344eb0609bb90ffaa0fd9933fdadd561c
spec/attribute/test_fetch_on.rb100644001.06 KBddddf1cef81efa30db60903c4383a083a39acd5c64ce672618807bcf07b6e9d9
spec/attribute/test_initialize.rb10064400671 Bytese71a624bf39bb14c6111b79dcc568311092ccc89ad12043fc488042339db0176
spec/attribute/test_optional.rb10064400424 Bytes2c027ce654c1301741682a0b76db5bb64ce6fc8d0ead050ca0e9d4f29e450f84
spec/attribute/test_required.rb10064400403 Bytes45139d1a215ec51a2d454b058e57d8b477d5fdedd904ee5a852c73b058870b50
spec/attribute/test_to_name.rb10064400381 Bytes9fb5f6da6bb31854846b6fb4ce4bc948c6e9bce35e68ea406d0913f708fafdca
spec/constraint/test_anonymous.rb10064400398 Bytes35c39e61a7a96ce8570d17f1e2efe67270e85008a04096db26367ca555a664df
spec/constraint/test_equality.rb100644001011 Bytes3d49bd71546c6b26eda9023f0d0912c29e3d6bb75d9127cb864eafe234c2868e
spec/constraint/test_name.rb10064400390 Bytesb13cb6e98b655976916fa534373a0de31bc7e683439f991b075abe289402d7ed
spec/constraint/test_named.rb10064400390 Bytes078d905149969ad8f74e715efb7628abe5167f4cc4a97d6433677cdf01b5c154
spec/constraint/test_triple_equal.rb10064400267 Bytes76014e96623fb4aa9d1e45a35c81d6facddcd180cb12d97a5f4b8596b052d850
spec/finitio/system.fio1006440031 Bytes107687959955afa6bfbd6e464e16fafc3c80b49ead4fab1b1d227f8415188fa6
spec/finitio/test_ast.rb10064400833 Bytesc44ff7790d7f2bbd8cab40050da1756e059c0e3cc6736ea1a6e900a124ce216b
spec/finitio/test_parse.rb10064400419 Bytese6ebf3ad26cb06062a044e3f5170761e6943804c6f3baf7db02ff5f3e516451b
spec/finitio/test_system.rb10064400850 Bytesc488844338001717c2b0619e75698ba7b8b11d597018c515d56a669fc4ca2eb0
spec/finitio/with-duplicates.fio1006440043 Bytes8b2b6e9d5645e4b99377195bfa8a31e5ef5c3edc2f2fef5cdf8b2a7c49614a21
spec/heading/test_allow_extra.rb100644001.14 KBe22cd3be58842dffe369ea08a4efe20d86beab9d7554dde9ecfeb069b59c690a
spec/heading/test_each.rb10064400548 Bytesc9ad86ada112e738fa47d2e122ea9c4720e0207016e634ea0216d7fb7ee35227
spec/heading/test_equality.rb100644001.26 KB19388080766285471765d4d642daeab161953f2800af284c940f099c969e0f58
spec/heading/test_hash.rb100644001.38 KB1ce1924074b2c8cdb6aed8b3622132a8275b9904d2852f86eda93373fd05fb45
spec/heading/test_hash_get.rb10064400315 Bytes7f05ec7e5878ddc73a1fd37dd796e81cb45890cb236465da82b42173291d0e0d
spec/heading/test_initialize.rb10064400709 Bytes684b1f063747ac0201d53435576bdbaf89ad5ffd265c049cd9b3347624384fdd
spec/heading/test_multi.rb100644001.13 KB6b5850335a87730f1cde4b5eded4c4155e8d0b9ce43c96f73bfe2474862a06ea
spec/heading/test_size.rb10064400585 Bytes7991246b8551c2df9ced33e66bab89ebe5c0602f848b333d3677b363fec6db28
spec/heading/test_to_name.rb100644001.35 KB3fa0d4256c63a8fbe5499a824f360b0621397404231eb226cc88001377ec459b
spec/spec_helper.rb100644001.78 KB9ca8ded66b619a6e3847d168fe84a77cecbe26b6def8e5a91527f261828ee1d1
spec/syntax/expr/test_free_variables.rb10064400879 Bytes85f1869931aad451ae5b3d9019b5209c38f1bee07c90aacac9075c38d673fc66
spec/syntax/expr/test_to_proc_source.rb10064400896 Bytesa31e884a491ad145b816570633602fcba85b5a587f238ec6beecc451d6d349d2
spec/syntax/nodes/imported.fio100644000 Bytese3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
spec/syntax/nodes/test_ad_type.rb100644004.12 KB4aadb8238344b286ada4ec1899ac5c92ddb51f4ba74a4f44c56a5cb08fb0425d
spec/syntax/nodes/test_any_type.rb10064400498 Bytes85f85fa6bf85eb0f6141dc082982f4d2eb39306437aa4cd89fc41fcb2f9411ce
spec/syntax/nodes/test_attribute.rb100644001.57 KB85105da5068894b2c13a52c55f1315f388f2613a2f1cd42d21ab72c4b11fb76c
spec/syntax/nodes/test_builtin_type.rb10064400965 Bytes6d073f5bfd241a3f75b1966e017b1bb473df3c535f4ef8df62c3259667d66442
spec/syntax/nodes/test_comment.rb10064400417 Bytes50cfa29072cce466dcc4e79346ef6880533d30cc31b2516286c0d77d25b92616
spec/syntax/nodes/test_constraint_def.rb10064400640 Bytes8a03cecd6a141d162e7b1af323d80cbf087678eeb4d888716c4946d50c71ea06
spec/syntax/nodes/test_constraints.rb100644002.04 KB2351a24da3428745d6a3e47eef7c520ba8a3e7f9615b1c35a503e142a0eb7b68
spec/syntax/nodes/test_contract.rb100644003.38 KB00da6a57f37b4ca5bf95c4b6f988817bf1d52c65ffced77f5ef4874375d6fc70
spec/syntax/nodes/test_expression.rb10064400965 Bytesd7ecd06b37033fc51b0f67e07327caa84a99d3dfadf371737a5bcb84d9bda6ea
spec/syntax/nodes/test_heading.rb100644002.82 KBe1a642a05758f9169bb151252d505cfe8c76b085a5c70f514fd28da40e2d47bd
spec/syntax/nodes/test_import.rb10064400972 Bytes5c5d6be1cf73f0b8c00e5f8b91fa7eef6f0cc651544e1a48a086ce4300dd9d6d
spec/syntax/nodes/test_metadata.rb10064400509 Bytes90cf8574430efbb435c37240f1d5193b8876c388d39f06090eec2d21451fccd3
spec/syntax/nodes/test_named_constraint.rb10064400843 Bytesc54896b9b641cc4245156c6b3994bfd16cc4df57bb80d07ad3019deb8251af04
spec/syntax/nodes/test_relation_type.rb100644001.9 KBeaa71e95c71208f9a234d5d8fed92a228c8cd6faefd4651618873a66567cf5e3
spec/syntax/nodes/test_seq_type.rb10064400757 Bytes5f30e21140a435e940a14acc963d954f20498144079ad8d9dec0e1c37ceaf598
spec/syntax/nodes/test_set_type.rb10064400757 Bytes166e52c4a72205212d96738cdca20b6f466d461ce9e97bde8e31f004f4c70692
spec/syntax/nodes/test_spacing.rb10064400400 Bytes287e1b311eff51c94203adfbf3580a1b647b26b54a3c4703dccb946e95db8cdd
spec/syntax/nodes/test_struct_type.rb10064400785 Bytesaf3b56ce4af7b30f525250386d5a25f3872b30ad9af7cc139488adf982ef8cb8
spec/syntax/nodes/test_sub_type.rb100644002.19 KBb8bc27adc48184346a0b08456ab8decaf8f9c21863f878694048a1b6176e8c26
spec/syntax/nodes/test_system.rb100644001.01 KB68121c8d252b1e8667b5e80ad61b8d8005577bc646531bfbc9c530e1149af4d8
spec/syntax/nodes/test_tuple_type.rb100644002.14 KB6ad9a58b9693f12fa869f5e0f69d437185c54011ffc48aa44c84303f25353209
spec/syntax/nodes/test_type_def.rb100644001.07 KB05aed80661863a9fd02612d5a32701d8f9ebee5f194526ee3a0cd5b070a77bf0
spec/syntax/nodes/test_type_ref.rb10064400600 Bytesb9f14858c914458c1252e4582b9e6f1a93243365329ab58a219aad4d6bc55bfb
spec/syntax/nodes/test_union_type.rb10064400770 Bytes8b5793094d2f5a18695e6147db9df34a001c3049551dd799b38e4c7a51af6c1c
spec/syntax/nodes/test_unnamed_constraint.rb10064400836 Bytes43163db7da166294f5af7421f0d7cf93556c71f98b176bfbf37eac166b0f7bed
spec/syntax/test_compile.rb10064400776 Bytesdfe996efdd1a6a1a7753e817b0646e4ededa65f4f05e09479abc9af14a83df16
spec/syntax/test_compile_type.rb10064400384 Bytesbb7fd1eb878d759cae1f85bdf821191f93140e5af800069c31acdc7910b3a30f
spec/system/test_add_type.rb10064400950 Bytes16d42653e1fa8a3766864e9017762edfec9a74fede3aef130c914a7a51e8ee91
spec/system/test_dsl.rb10064400548 Bytes1fc822b8c804455af745ab7263c8ae7b60c33ca2ca9b90243ededa933eb1a770
spec/system/test_dup.rb10064400587 Bytesfa1c3a6cdea376218077c53da174b18adbb85d792f2f7ccd8b1775bba95c2f6e
spec/system/test_fetch.rb100644001.68 KB6f6fd6f67f5daf3ecd7fd19bdcf5de0b77a3f689ae7ca42bcd9914c798bd9149
spec/system/test_get_type.rb10064400519 Bytes8c8e4fd162abbb453d1bd0ffa5f214a8885b7bd6f37c0336e53d0ba75d938ff8
spec/system/test_initialize.rb10064400141 Bytes322d48ae2c61f5bd916a9ba3d299e19ea67c765f490fcb1032014b886c6e3cbe
spec/test_finitio.rb10064400150 Bytes1667862525d050739a2779b6010858925cc481ba0b21fa0273bf719beffa967d
spec/type/ad_type/test_default_name.rb10064400200 Bytes0b3b8e760fa997a780415d25367e2c74e919228b24a1b393d1a09b8e03ec0c7e
spec/type/ad_type/test_dress.rb100644001.31 KBc472165891ca7c1ab1aa98c082dbd99e2c5d02cfd934c4da591dd703ae486d4d
spec/type/ad_type/test_include.rb10064400354 Bytes67ca881946d7a9cf6aef67d72a5398f209e156a9111b2101d14623b1c6169ee4
spec/type/ad_type/test_initialize.rb100644001.04 KBcc81be1c995efcf981d71620e39c715da656192dbc70e16a873993cfb51a30c5
spec/type/ad_type/test_name.rb10064400340 Bytes30f7bd8f0d854864cf7891cd190582b5ba0d9212b5553142006c61c3642c0d1f
spec/type/alias_type/test_default_name.rb10064400191 Bytesf276df414024c0bd5db15e03d2b1e4b7b66a77f3bf85eb00f37362b1ffb52686
spec/type/alias_type/test_delegation.rb10064400613 Bytes5cd2da4c2ca996e60e8613ffc9f1848d988e2a6e125c289fa0ead2408e9aaafe
spec/type/alias_type/test_name.rb10064400175 Bytes43ab4ec54ae38e6e62e396cbc0e044d389343d87d8c3cd1eb74cb893f3c7f492
spec/type/any_type/test_default_name.rb10064400192 Bytes88156a334badc5e4a175ca2ab51d9c7bd2eb3002997fbae021cf0c7e0ad8a5b6
spec/type/any_type/test_dress.rb10064400319 Bytesb98d47a2d947ebbb3396705226caf0ccbc1f2fafa541d66dbf5d26d7975501d0
spec/type/any_type/test_equality.rb10064400637 Bytesa8c4afee68ccaefc337a90ad92085cb27ea8a1233a8049fcccdb11c0227a3adc
spec/type/any_type/test_include.rb10064400328 Bytesb06c571b432b3afe8d5f682fe6021672f2a930044e53f6c0352a783e3cd0fe88
spec/type/any_type/test_initialize.rb10064400147 Bytes151b3c9927a8891a12a64058e1c84ef04a5419c2f20c7e4c6830397b541fbc45
spec/type/any_type/test_name.rb10064400429 Bytes4dabb556738a4d9f3b9d6375193fb8d22e47fa344acc393d5486f772b2914efc
spec/type/builtin_type/test_default_name.rb10064400230 Bytes03375dbc5fe8a31530f6da106d372ddbaadcd3033b20499b9548d2de49b956e1
spec/type/builtin_type/test_dress.rb10064400621 Bytes15e2b4985cc85467c6ee0cda29aed1ff2ca59a17d0c22b9dd1d5e9f0be6a1249
spec/type/builtin_type/test_equality.rb10064400660 Bytesc6985b11432d3c2599ccb87b2be401b4b420faf4f36d4f2fd4198831a4ea0b79
spec/type/builtin_type/test_include.rb10064400354 Bytesa275efca0f83125fcccde99a80078101581c69859bf7d4fcf82e41e55d109d80
spec/type/builtin_type/test_initialize.rb10064400227 Bytes112c5a40a47a1f10b4d272d5f447a98fb70e4c7fed3d47e0bef1188d0a938709
spec/type/builtin_type/test_name.rb10064400463 Bytesf56c02e02d863a835b0792e816e749c155055b4c63cb82a0dc9c2f26d34c20ea
spec/type/multi_relation_type/test_default_name.rb10064400354 Bytes551dbeead4ca4e99dde408dabfe781f9cae6d739ac72b59f823f1b165c848353
spec/type/multi_relation_type/test_dress.rb100644004.86 KB94b4db2ea4fcdeb45ec1cdce4d04bfdcf96817db53ccfcb8008de1a465729776
spec/type/multi_relation_type/test_equality.rb100644001.21 KB322fd1769278ab429fb890cbce480766d204168cded1134d11de2cf64cffa1c8
spec/type/multi_relation_type/test_include.rb100644001.59 KBff97bd646f92f4452dbf0f15840412d8763f66cbb0967d48bbda2f3ea2808ad3
spec/type/multi_relation_type/test_initialize.rb10064400621 Bytes84dd95a327a094caf20b49c0fba505d25f9e7b87c894898e1b3189b13337fef5
spec/type/multi_relation_type/test_name.rb10064400519 Bytesb47e378a58b1321e32ceb272b43e3cb422bdb4a6b01828b63d1aa157108199ef
spec/type/multi_tuple_type/test_default_name.rb10064400328 Bytesdae55fa9705bcb09e7f424954fed285638d19472526bd9fd38cd327aca157a9d
spec/type/multi_tuple_type/test_dress.rb100644005 KBf3fbcfbb35cad200cddd1c4802fb4caf0d8b68ec3ae37b5b2acb3760a79e65d9
spec/type/multi_tuple_type/test_equality.rb100644001003 Bytes20bb6274f8ea37ed77f593f99ff44eb14a3b334908a8906eba056b7f433442c1
spec/type/multi_tuple_type/test_include.rb100644002.21 KBd56a6720917c59f2f1632abd5e944a0d4cc03f0fcd14111d0d99d84224a645a1
spec/type/multi_tuple_type/test_initialize.rb10064400651 Bytes3d499f3cee10124ca9ce9a9d3aa9a3ddfafd738cb01e7597e271ef195245062d
spec/type/multi_tuple_type/test_name.rb10064400448 Bytes2abd1ca5c7428ec2d32b72a60ca649647aae3544ee4228d6be9529eba0caadf6
spec/type/proxy_type/test_delegation.rb10064400816 Bytesf5fc34081ead137fac1d5afe9496caca5e85c15679350001c14d88fb5c6341b9
spec/type/proxy_type/test_resolve.rb10064400569 Bytes5fd9f8185c5ff51eb9bd41450be15edbe95ab013820f129e6171a276cfcc41ff
spec/type/relation_type/test_default_name.rb10064400277 Bytes04a5ce074fa83dcb13dbcc76ffda1ff7c336bd5312796c175384524b51847110
spec/type/relation_type/test_dress.rb100644003.81 KBe00d2ee4047d1045a95e082567f303cef2a38b6fe12eda5dbeebaf48f7cd9750
spec/type/relation_type/test_equality.rb10064400981 Bytes479935fd64c2c0dfd08e5af93eee8b35ce5d0341b83347a30abdb5d9aaf44e58
spec/type/relation_type/test_include.rb10064400779 Bytes7db1babcb3f50f57051e21b5ce8e61403c46a04b347a501764703d76bdb1aac2
spec/type/relation_type/test_initialize.rb10064400542 Bytesfa8ef9f27e0bfa2d7f2db87ca5ae759b9652dde0b26464e67240d1ac92ba4938
spec/type/relation_type/test_name.rb10064400437 Bytese8fb7fbb2dd14d2f4b66c840d54e46e9a310306a672c5f30f652858d13ef83c7
spec/type/seq_type/test_default_name.rb10064400211 Bytesdebf5930b9e7f7627e7ce953ed3a7819778a1b6456da7d98033d5996594a0f53
spec/type/seq_type/test_dress.rb10064400944 Bytese26d1dbe3db37ad89b85ead72717787f6708919942ac2cd428c64942f6fea91c
spec/type/seq_type/test_equality.rb10064400623 Bytes0d092372f3d9ac31952084dcb4be1b36fb9fec5638ee6e34b7b862a15b4b3e2b
spec/type/seq_type/test_include.rb10064400691 Bytes8a7a97ca7dd402e8f6b868952dc4ceedc1867e9011845672c63ded122dafa2ee
spec/type/seq_type/test_initialize.rb10064400561 Bytes76d6f21696b09f24a5f5433bab52a92e9a757a2de3d214fe5d8375257d0b8d9a
spec/type/seq_type/test_name.rb10064400373 Bytes32764589d89662beb2b9083a3577e5faa50f7547b91c0d16803f1bbf4124ff19
spec/type/set_type/test_default_name.rb10064400211 Bytes720227d30ef4df112b8208d99916de4137c0912e473dc073c0e86a7f0ff7cc49
spec/type/set_type/test_dress.rb100644001.32 KB40cb1ccaabf7536d526b66a3a37f2fd4d613abceb1fb0521900530ef265f2f79
spec/type/set_type/test_equality.rb10064400623 Bytesebd92753a3852a0cdd9d67bf089db464078cc58458bc25c1763bb47af4a1f02a
spec/type/set_type/test_include.rb10064400691 Bytes45cc2f494242e0eb64006b928e2dd0f1e7f0c8fa785d516f5e72975c79c3a9f6
spec/type/set_type/test_initialize.rb10064400561 Bytesd9e9310941de36707b171f284c9cbdce691a5ea7f2e8f608f59858ac072ac03f
spec/type/set_type/test_name.rb10064400373 Bytes55bb7b43fce4200a94a92ecd28ac2ac781eb1be26f056000109f9d2837a73077
spec/type/struct_type/test_default_name.rb10064400200 Bytesa032c9833b1eacc71ffb926bd0c3d3ddba0e81e45cd67e9026c24e52f61453be
spec/type/struct_type/test_dress.rb100644002.31 KBfe1ebf539a8f5adb81b433ddfe4805bf259deb2e5cc3f1bf9cd4e853a64cb6b9
spec/type/struct_type/test_equality.rb10064400768 Bytes3b556bbd18e4fc611b351a78d40b44e96456c6d13af05533f3a5df422c5a8703
spec/type/struct_type/test_include.rb10064400767 Bytesaf85029ca43e6b5eb302f6cc0be2e3d507df8865fd1630dea0229082f6cb28b0
spec/type/struct_type/test_initialize.rb10064400464 Bytes9c3c430285f1f1c9b6cebf910749b963f5fef61e6c082a77c3cad3089af931bf
spec/type/struct_type/test_name.rb10064400366 Bytes505617718d0a9cea50fb1467a72852e2befa159ad4bc6656dbefbd4d45f7dfd6
spec/type/sub_type/test_default_name.rb10064400264 Bytesae055c77f6f4237681523e6de7a94127f86cd525f023f238a2b62cbac7648757
spec/type/sub_type/test_dress.rb100644001.74 KB6671fdd210a9c53eaedbe89126270170e25997aa846658bd519eea71c9f0b95d
spec/type/sub_type/test_equality.rb100644001.17 KBf89dfa72812f546861aa864afb84aabb66457b92e2cfd294b386c6677c3e51ad
spec/type/sub_type/test_include.rb10064400600 Bytes4373e6c9c8e0ddb0afa752de27c283bf53537049b2893af9ffcf9ab5d85e3cdc
spec/type/sub_type/test_initialize.rb10064400296 Bytes4a5a43a0efeb5cc3740d2f6fe4433dd640286620f6fa1c3456afea2e74bf91e2
spec/type/sub_type/test_name.rb10064400484 Bytes6513daf9c3a3406a73e1cab5ded787d49ecf26257b05eee9bcad1e4956322178
spec/type/tuple_type/test_default_name.rb10064400245 Bytes9806505210a7e8b71bbdf5047a0d6a3d144a99d01fbee35020050f113b947c1a
spec/type/tuple_type/test_dress.rb100644002.64 KB0f8e93032f623accb73642ddf3457c3d1280dfcb5268814e4c1b4de155233d85
spec/type/tuple_type/test_equality.rb10064400969 Bytes631ea68c612e7626bd07b5abd0e34ee65526eea041aa5aa01aea2be4cd5317b7
spec/type/tuple_type/test_include.rb10064400712 Bytes293d932c7282366aca6dd560cadf8966a8ea92266f8343393adb8f39d9cb5110
spec/type/tuple_type/test_initialize.rb10064400632 Bytesead5686d00bcf6f21f125640a8265bcc6bcd1f05044ec33c61964442d099dad5
spec/type/tuple_type/test_name.rb10064400424 Bytes10e0c1ad8f2b53618bf88efac18a90fca961418d91b6b4d641e0c25654f457f2
spec/type/union_type/test_default_name.rb10064400219 Bytesd43599be1aae0e3d83325598d1fc1097d60a1c4ac0013b652eb6782524acd6e8
spec/type/union_type/test_dress.rb10064400895 Bytes32c4a3a9596a305113621e07a32d6c181b11529975c6d62867ec7d0cfca14308
spec/type/union_type/test_equality.rb10064400880 Bytes08015bdd6823fd98176387446bb74c6c6521194553582fc9aee1070c68bab21e
spec/type/union_type/test_include.rb10064400472 Bytes42d02433e02574e24a43fcc7349d50f08c6b49d7a3f7f8378bdf2196b98a70f2
spec/type/union_type/test_initialize.rb10064400561 Bytes23b6b36fb903f1ea19d1fbc461007f980f96c6ae983e72aa2026d3cedecdc877
spec/type/union_type/test_name.rb10064400387 Bytesdb1dde8b99ff51221077eb9d2ba300c33cebc7fa530908eeff77f910b95202f0
spec/type_factory/dsl/test_adt.rb100644001.15 KBa7290051af30dc8c40ee546bf1ae2bbe5497eaef5b107a8f64c4de17f3371006
spec/type_factory/dsl/test_any.rb10064400459 Bytesc4351acf13b78a8dbde7bac4eb441016548eccfc1c601f07d54ee4f1c81a5fe8
spec/type_factory/dsl/test_attribute.rb100644001.02 KBd535c589f5b9d00e619ffb469c9dce5003c406537cda7ccd692fdd424c8826eb
spec/type_factory/dsl/test_attributes.rb10064400959 Bytes6c0880d430d8168e8c10e0a7aebe40e01ba3e54475cbc921fcc916ff0e3b89dd
spec/type_factory/dsl/test_builtin.rb10064400931 Bytes14bf23b676199b2a148d3f50c7420982f23de16669e9aefb9f3502b687f8c372
spec/type_factory/dsl/test_multi_relation.rb10064400785 Bytesa1e22f61abab8ed79638bec566c74c6f1e3804b1cf8af06bf3b433c4d3d87c2c
spec/type_factory/dsl/test_multi_tuple.rb10064400750 Bytes95c772d5f28f638fe12f3ae90d12c69b7003737cd33eb782773fe201cc546a74
spec/type_factory/dsl/test_relation.rb100644001.86 KBa384c221029483175aa01183969fdeb76b7b9c23c16fd69b6fe3caf4d88f8db8
spec/type_factory/dsl/test_seq.rb100644001.11 KBcbce2d6223010b5b978413b07bfd68e92d940d5cfe604b543d50132f09a2e634
spec/type_factory/dsl/test_set.rb100644001.11 KBb0b0a08f4253a915635d59bb69de0322540fe1ce3edc28690f5584b160314e15
spec/type_factory/dsl/test_struct.rb10064400976 Bytesdfad37f616a4db744187094d203e03e81fb7da24562110bdddd42651d31051fe
spec/type_factory/dsl/test_subtype.rb100644002.09 KBbd6d717866828569bd4f31a5a89688ea79cef435309f804684a30bcc5f47a487
spec/type_factory/dsl/test_tuple.rb100644001.52 KBf70694515fe5a9480c588319c95af1566997d506da6bf4172c8c5b2b0042ab7c
spec/type_factory/dsl/test_union.rb100644001.8 KBad1fbc85938925cac14416f68abcd9383574f33139cafe8c6307160c827398cf
spec/type_factory/factory/test_builtin.rb10064400493 Bytes6e80342c98fa45a04988807c86740a5a40de4a31f243bae52cae829d12cd2104
spec/type_factory/factory/test_seq_type.rb10064400934 Bytes1a9e132fc4e3ee38ee529fda15bbddff55d88a55f0047308bf8b22147e791b79
spec/type_factory/factory/test_set_type.rb10064400939 Bytes2dfbe56728c041561551711a386cd42d1b367713d91008132271f03fd3262005
spec/type_factory/factory/test_struct_type.rb10064400402 Bytes76612f190f339a4cc98bb0901e88f16b3e4246b3feb726323f125eeefcf35cf3
spec/type_factory/factory/test_sub_type.rb100644001.25 KBc6317e90a09c174958b37250cc295cf31698bb5fb24388965e81c0c826abbf69
spec/type_factory/factory/test_tuple_type.rb10064400989 Bytes8a100536f6c05fe1b2313c987458db28c05938f23c8fe1a72d66e0431f9b76ff
tasks/gem.rake100644001.97 KBc1364f9d91cf3005dd991b6a76fa31e742b581b3e1cd457d75931810de67b255
tasks/test.rake10064400667 Bytesc9257af994a5b633a8440aeb5cacb4afcd01c4139b3cd672e179b3e6674a3998