Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/mint-lang/hm-type-system


https://github.com/mint-lang/hm-type-system

Tweak unification algorithm.

f6e725bdc6abb642fc20d4a1e449e39269191eec authored almost 2 years ago by Szikszai Gusztáv <[email protected]>
Use development dependencies.

caed97d197ce4970891796f4ee8489c0fe67f158 authored almost 2 years ago by Szikszai Gusztáv <[email protected]>
Remove pattern matching part.

6ee32501dd7f36ace7146370891f460e5184ae52 authored almost 2 years ago by Szikszai Gusztáv <[email protected]>
Trying some stuff.

9a9cee5c4ea68245a153f37873ff1b89a6472d88 authored almost 2 years ago by Szikszai Gusztáv <[email protected]>
Tweak pattern matching.

e151a17306f15224f72be21a6ce5385cd010e2bb authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Unify instead of compare in unify.

ddf8bbf85886cbd1f56096aba88c1e31db003066 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Added feature to map types to variables in patterns.

e75a2890e002c440de731b25cd9a14ce74971d8e authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Implement some optimizations.

af8207c9b61683af51831269e80d5d82f91d11ae authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Cast as type.

26a987cea76e2d7097477922a953aabbc047cf28 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Fix.

93729afa7a189dcd4fbac651f38d1bca7a220e86 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Add parse! method for type.

b204715eb6ca6af1158e9c112e7388593e9e8a70 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Added alternative type initializer method.

3bcb2344a583c04afba531a6ecab3cb517dee36c authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Return the unified type with the definition when resolving a definition by fields.

9f22924ddd6f8417de79974ef9fa36ac3e77a381 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Actually resolve the a definition by fields.

34336f7c081e626ccf937095f429b0d8cff02555 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Added one more integration spec.

bc1be233d407e167eeeb3ca4a68bd830b574abc4 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Implement resolving logic for the environment.

e8ab0d2eb97f31d14c1480381a3255395b6c2f95 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Added resolve method for environment.

2ccda6a5fe3f2320f97d7d340ec22cd54e6b73ce authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Make sure there are no duplicates in the generated patterns.

4137d5c199a554f9c6420d0afbc02cf4fb91bf03 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Generate wildcard patterns too.

28c9e45eedf4bc83d517500eeda80bf3f9baaddd authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Only sort fields if all have a name.

3e1e5a62f11a52b97c0360054f856e94693a72f8 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Actuall fail if the names are not equal.

bf792f68cba9d03e0ee4e7fc1cf1708fae385656 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Allow matching of not named fields to named fields if they have the same type.

da155969877cc9fbcc786138544a1f0dc4a95d5e authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Make fields argument of Type initializer optional.

5c1e19a12cef673752bdf2540debcc69066ce082 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Add an alternative initializer for Type.

9eb7df0ce5dbecda5af927523e468db2c13c58ab authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Add fields method to variable.

a2e6f0f2cad68907da835e3c5c8162f800255e10 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Rename shard.

63daa1d21c7dce93cc61b19069d49c99a10257e2 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Rename hm.cr to hm_type_system.cr

30d1c6ec35d0a91f9f28742c1678c5431e892253 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Fix issue in README.md.

7acb5391c84bca23f01b61646fed4d029cc07e50 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Added some parser tests and some documentation.

7af4e43744bd9ac4ca0c1c1937c87b835278ec95 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Fields with names should be kept in patterns generated for those fields.

9b6b262147e888f7737ed8aa399733178546dfc9 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Implement parsers for patterns and clean up parser.

b6406c05d22cb17c8b91869d64ed69acc356180c authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Work on documentation a bit.

3c01ec1bf1425572254d60674314436d1ccdefcf authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Make sure we are matching the pattern to the other pattern not in reverse.

e62b5f4542ea8a6e65e8696a3b3efd72603d9944 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Added test for pattern <> pattern matching.

6d55e077664ce3e799e896da5661e975e132fa9b authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Started pattern generator module.

ab48d3dc14ad01b3ee0ff3b630f92738e4a6371a authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Some cleanup for the patterns.

1b67eef255e2a952bcdb794161356f5cd39385aa authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Refactor formatter.

40f706154ee9da545413bf3cc49e93beaff1c5e3 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Some text changes.

f1cbff44bcfa6da19c654ae231a68fbc3f5e0758 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Start implementing playground and refactor branch enumerator.

d107414ecdb43ac26aa0fb7c8ee1ff77d8431fdf authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Implementing pattern matching.

7b8b8be7ca124c5c31bdde58008e8bccbfb6d98f authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Working on pattern matching.

83b2b0c10a2f36f7e8e36ad47da8305b7133b591 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Reorder some methods un unifier.

824729bdeaa97ebb7c5e5098aa59631125cffbd0 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Allow same structed types to be equal without the same name.

a814e89db2eff548687c6fd72b324f61d228a8d1 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Implement branch enumerator and enviroment.

48aa9d0431afde376d29b6cf338e9ba46693c615 authored almost 2 years ago by Gusztáv Szikszai <[email protected]>
Initial commit.

c10f85806201346de2f4f48ea30f7f9a1adb10ed authored almost 2 years ago by Gusztáv Szikszai <[email protected]>