E

efftp

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 3 days ago. based on code collected 3 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Mar 18, 2025 — Mar 18, 2026 Showing page 1 of 4 Search / Filter on:
Merge pull request #24 from xeno-by/patch-1	Lukas Rytz	More...				over 12 years ago
Fixed a typo	Eugene Burmako	More...				over 12 years ago
purity of ==	Lukas Rytz	More...				over 12 years ago
test for implicit resolution depending on effects	Lukas Rytz	More...				almost 13 years ago
fix cast syntax	Lukas Rytz	More...				almost 13 years ago
breakable in collections example	Lukas Rytz	More...				almost 13 years ago
require @unchecked for effect casts, support effect ascriptions.	Lukas Rytz	More...				almost 13 years ago
Merge remote-tracking branch 'origin/master'	Lukas Rytz	More...				almost 13 years ago
removed @rel annotation in favor of @pure, fixes #8	Lukas Rytz	More...				almost 13 years ago
Update README.md	Lukas Rytz	More...				almost 13 years ago
Update README.md	Lukas Rytz	More...				almost 13 years ago
Update README.md	Lukas Rytz	More...				almost 13 years ago
sbt names	Lukas Rytz	More...				almost 13 years ago
Update README.md	Lukas Rytz	More...				almost 13 years ago
readme	Lukas Rytz	More...				almost 13 years ago
pending test for patmat problem, #3	Lukas Rytz	More...				almost 13 years ago
disable cleanup phase for now	Lukas Rytz	More...				almost 13 years ago
no more dummy phase. cleanup phase (maybe not really needed). new compiler for every test (spurious failures otherwise)	Lukas Rytz	More...				almost 13 years ago
pending test for implicits issue, #1	Lukas Rytz	More...				almost 13 years ago
fixed bug related to polymorphic parent types with inferred parameter types	Lukas Rytz	More...				almost 13 years ago
fixes bug which made self reference available as a member of a class	Lukas Rytz	More...				almost 13 years ago
support for imports within templates	Lukas Rytz	More...				almost 13 years ago
fixed bugs with secondary constructor effect inference	Lukas Rytz	More...				almost 13 years ago
fixed removeEffectAnnotations for singleton types	Lukas Rytz	More...				almost 13 years ago
some more tests	Lukas Rytz	More...				almost 13 years ago
example where two casts are needed due to anf - could be fixed.	Lukas Rytz	More...				almost 13 years ago
minor cleanup	Lukas Rytz	More...				almost 13 years ago
working collections example (only the main part, up to list, not sets)	Lukas Rytz	More...				almost 13 years ago
fixed some bugs with relative effects and multiple domains	Lukas Rytz	More...				almost 13 years ago
few more tri-domain tests	Lukas Rytz	More...				almost 13 years ago

←
1
2
3
4
→