| route-pattern | /_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format) |
| route-controller | voltron_pull_requests_fragments |
| route-action | pull_request_layout |
| fetch-nonce | v2:85e69190-35ab-b788-72b3-9f22aa4747de |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | BC08:3D4482:1EDEF46:29C4FCF:698C5CAD |
| html-safe-nonce | 1ac8b7e131815adec3dcc1d282d8d72187faf4194b904e68dbe51c04df12dd09 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCQzA4OjNENDQ4MjoxRURFRjQ2OjI5QzRGQ0Y6Njk4QzVDQUQiLCJ2aXNpdG9yX2lkIjoiMjMxOTM5MDQ4NDU5MjM1MjQyOSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9 |
| visitor-hmac | cd9965dd8a71ca8464fb043ff9f3d96cb2fece7a0b4f6348d2a0605b281f7ae1 |
| hovercard-subject-tag | pull_request:369353832 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | ///voltron/pull_requests_fragments/pull_request_layout |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/wurstscript/WurstScript/931/pull_request_layout |
| twitter:image | https://opengraph.githubassets.com/da1b8dc94af3fc7eb4ad3c020ccae3472d2bf311434006e31b07d1cf5ba3f579/wurstscript/WurstScript/pull/931 |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/da1b8dc94af3fc7eb4ad3c020ccae3472d2bf311434006e31b07d1cf5ba3f579/wurstscript/WurstScript/pull/931 |
| og:image:alt | This branch contains an implementation of type classes as described in the new generics design in #679.
TODO list:
Instance Declarations
Basic Type Bounds
Type bounds in classes
Dependent type... |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| og:author:username | peq |
| hostname | github.com |
| expected-hostname | github.com |
| None | 640eeb7b6ff4d8d106235d228c0c286e82592d4d2403227b5b2b4fc5832297a4 |
| turbo-cache-control | no-preview |
| go-import | github.com/wurstscript/WurstScript git https://github.com/wurstscript/WurstScript.git |
| octolytics-dimension-user_id | 30814797 |
| octolytics-dimension-user_login | wurstscript |
| octolytics-dimension-repository_id | 3584229 |
| octolytics-dimension-repository_nwo | wurstscript/WurstScript |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 3584229 |
| octolytics-dimension-repository_network_root_nwo | wurstscript/WurstScript |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 3d444f0a47beeeac94cddbb51c91ab408befe8d4 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
| Skip to content | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#start-of-content |
|
| https://patch-diff.githubusercontent.com/ |
|
Sign in
| https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fwurstscript%2FWurstScript%2Fpull%2F931 |
| GitHub CopilotWrite better code with AI | https://github.com/features/copilot |
| GitHub SparkBuild and deploy intelligent apps | https://github.com/features/spark |
| GitHub ModelsManage and compare prompts | https://github.com/features/models |
| MCP RegistryNewIntegrate external tools | https://github.com/mcp |
| ActionsAutomate any workflow | https://github.com/features/actions |
| CodespacesInstant dev environments | https://github.com/features/codespaces |
| IssuesPlan and track work | https://github.com/features/issues |
| Code ReviewManage code changes | https://github.com/features/code-review |
| GitHub Advanced SecurityFind and fix vulnerabilities | https://github.com/security/advanced-security |
| Code securitySecure your code as you build | https://github.com/security/advanced-security/code-security |
| Secret protectionStop leaks before they start | https://github.com/security/advanced-security/secret-protection |
| Why GitHub | https://github.com/why-github |
| Documentation | https://docs.github.com |
| Blog | https://github.blog |
| Changelog | https://github.blog/changelog |
| Marketplace | https://github.com/marketplace |
| View all features | https://github.com/features |
| Enterprises | https://github.com/enterprise |
| Small and medium teams | https://github.com/team |
| Startups | https://github.com/enterprise/startups |
| Nonprofits | https://github.com/solutions/industry/nonprofits |
| App Modernization | https://github.com/solutions/use-case/app-modernization |
| DevSecOps | https://github.com/solutions/use-case/devsecops |
| DevOps | https://github.com/solutions/use-case/devops |
| CI/CD | https://github.com/solutions/use-case/ci-cd |
| View all use cases | https://github.com/solutions/use-case |
| Healthcare | https://github.com/solutions/industry/healthcare |
| Financial services | https://github.com/solutions/industry/financial-services |
| Manufacturing | https://github.com/solutions/industry/manufacturing |
| Government | https://github.com/solutions/industry/government |
| View all industries | https://github.com/solutions/industry |
| View all solutions | https://github.com/solutions |
| AI | https://github.com/resources/articles?topic=ai |
| Software Development | https://github.com/resources/articles?topic=software-development |
| DevOps | https://github.com/resources/articles?topic=devops |
| Security | https://github.com/resources/articles?topic=security |
| View all topics | https://github.com/resources/articles |
| Customer stories | https://github.com/customer-stories |
| Events & webinars | https://github.com/resources/events |
| Ebooks & reports | https://github.com/resources/whitepapers |
| Business insights | https://github.com/solutions/executive-insights |
| GitHub Skills | https://skills.github.com |
| Documentation | https://docs.github.com |
| Customer support | https://support.github.com |
| Community forum | https://github.com/orgs/community/discussions |
| Trust center | https://github.com/trust-center |
| Partners | https://github.com/partners |
| GitHub SponsorsFund open source developers | https://github.com/sponsors |
| Security Lab | https://securitylab.github.com |
| Maintainer Community | https://maintainers.github.com |
| Accelerator | https://github.com/accelerator |
| Archive Program | https://archiveprogram.github.com |
| Topics | https://github.com/topics |
| Trending | https://github.com/trending |
| Collections | https://github.com/collections |
| Enterprise platformAI-powered developer platform | https://github.com/enterprise |
| GitHub Advanced SecurityEnterprise-grade security features | https://github.com/security/advanced-security |
| Copilot for BusinessEnterprise-grade AI features | https://github.com/features/copilot/copilot-business |
| Premium SupportEnterprise-grade 24/7 support | https://github.com/premium-support |
| Pricing | https://github.com/pricing |
| Search syntax tips | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
| documentation | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
|
Sign in
| https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fwurstscript%2FWurstScript%2Fpull%2F931 |
|
Sign up
| https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=wurstscript%2FWurstScript |
| Reload | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931 |
| Reload | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931 |
| Reload | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931 |
|
wurstscript
| https://patch-diff.githubusercontent.com/wurstscript |
| WurstScript | https://patch-diff.githubusercontent.com/wurstscript/WurstScript |
|
Notifications
| https://patch-diff.githubusercontent.com/login?return_to=%2Fwurstscript%2FWurstScript |
|
Fork
28
| https://patch-diff.githubusercontent.com/login?return_to=%2Fwurstscript%2FWurstScript |
|
Star
236
| https://patch-diff.githubusercontent.com/login?return_to=%2Fwurstscript%2FWurstScript |
|
Code
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript |
|
Issues
77
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/issues |
|
Pull requests
5
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pulls |
|
Discussions
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/discussions |
|
Actions
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/actions |
|
Security
0
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/security |
|
Insights
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pulse |
|
Code
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript |
|
Issues
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/issues |
|
Pull requests
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pulls |
|
Discussions
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/discussions |
|
Actions
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/actions |
|
Security
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/security |
|
Insights
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pulse |
| Sign up for GitHub
| https://patch-diff.githubusercontent.com/signup?return_to=%2Fwurstscript%2FWurstScript%2Fissues%2Fnew%2Fchoose |
| terms of service | https://docs.github.com/terms |
| privacy statement | https://docs.github.com/privacy |
| Sign in | https://patch-diff.githubusercontent.com/login?return_to=%2Fwurstscript%2FWurstScript%2Fissues%2Fnew%2Fchoose |
| Jump to bottom | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#issue-comment-box |
| peq | https://patch-diff.githubusercontent.com/peq |
| master | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/tree/master |
| type-classes | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/tree/type-classes |
|
[WIP] Type classes
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#top |
| peq | https://patch-diff.githubusercontent.com/peq |
| master | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/tree/master |
| type-classes | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/tree/type-classes |
|
Conversation
3
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931 |
|
Commits
52
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits |
|
Checks
0
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/checks |
|
Files changed
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/files |
| Please reload this page | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931 |
| https://github.co/hiddenchars |
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/{{ revealButtonHref }} |
|
| https://patch-diff.githubusercontent.com/peq |
| peq | https://patch-diff.githubusercontent.com/peq |
| Jan 31, 2020 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#issue-557837725 |
| Please reload this page | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931 |
| #679 | https://github.com/wurstscript/WurstScript/issues/679 |
| Please reload this page | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931 |
| peq | https://patch-diff.githubusercontent.com/peq |
| December 31, 2019 23:44 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#commits-pushed-0d19d22 |
|
| https://patch-diff.githubusercontent.com/peq |
| first steps towards supporting type classes | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/0d19d221dc01822c3b6815a06a7c6b208bfaa965 |
| 0d19d22 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/0d19d221dc01822c3b6815a06a7c6b208bfaa965 |
|
| https://patch-diff.githubusercontent.com/peq |
| wip | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/51ad081dff951736c4e3e36cebd10c49c63cc12a |
| 51ad081 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/51ad081dff951736c4e3e36cebd10c49c63cc12a |
|
| https://patch-diff.githubusercontent.com/peq |
| Merge branch 'master' into type-classes | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/9086113b5b65c0ed5e1c9b99b588347ae630dd5f |
| 9086113 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/9086113b5b65c0ed5e1c9b99b588347ae630dd5f |
|
| https://patch-diff.githubusercontent.com/peq |
| wip | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/e7ddf901f059c7fbf1baff9c9c82c29039219e7a |
| e7ddf90 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/e7ddf901f059c7fbf1baff9c9c82c29039219e7a |
|
| https://patch-diff.githubusercontent.com/peq |
| Revert "wip" | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/fa23f1fc79b4469f29ceed77985006664c59e4e0 |
| fa23f1f | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/fa23f1fc79b4469f29ceed77985006664c59e4e0 |
| e7ddf90 | https://github.com/wurstscript/WurstScript/commit/e7ddf901f059c7fbf1baff9c9c82c29039219e7a |
|
| https://patch-diff.githubusercontent.com/peq |
| fix | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/d3813a34275e64d0315c526d6a6cbb1dfd31ca6c |
| d3813a3 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/d3813a34275e64d0315c526d6a6cbb1dfd31ca6c |
|
| https://patch-diff.githubusercontent.com/peq |
| wip | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/7bd190ad38c58fbfce38b901c8ef80a85b223cfd |
| 7bd190a | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/7bd190ad38c58fbfce38b901c8ef80a85b223cfd |
|
| https://patch-diff.githubusercontent.com/peq |
| Merge branch 'master' into type-classes | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/87692a9ba43099f9f709a3e5c9e4ea886e8389d0 |
| 87692a9 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/87692a9ba43099f9f709a3e5c9e4ea886e8389d0 |
|
| https://patch-diff.githubusercontent.com/peq |
| wip | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/0326896e1d0d8af0381246f79997a28da04cd77e |
| 0326896 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/0326896e1d0d8af0381246f79997a28da04cd77e |
|
| https://patch-diff.githubusercontent.com/peq |
| wip | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/625002e6b8ce79f5e85c3b4a8742298001cd4497 |
| 625002e | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/625002e6b8ce79f5e85c3b4a8742298001cd4497 |
|
| https://patch-diff.githubusercontent.com/peq |
| back to the design with parameters | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/e679ff58c50e965cd091124ef28275b0b24ce1a9 |
| e679ff5 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/e679ff58c50e965cd091124ef28275b0b24ce1a9 |
|
| https://patch-diff.githubusercontent.com/peq |
| add parameters for type-class-dicts | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/8d8897c4ccd035b5031e19f77a9fbf266156c3fd |
| 8d8897c | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/8d8897c4ccd035b5031e19f77a9fbf266156c3fd |
|
| https://patch-diff.githubusercontent.com/peq |
| add type-class arguments | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/f0a2e9ad636777589be07d7d60acaf9094d4b0bd |
| f0a2e9a | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/f0a2e9ad636777589be07d7d60acaf9094d4b0bd |
|
| https://patch-diff.githubusercontent.com/peq |
| singleton optimization | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/a2fe29b9cdffc40ed1f7d222836717593963abf2 |
| a2fe29b | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/a2fe29b9cdffc40ed1f7d222836717593963abf2 |
|
| https://patch-diff.githubusercontent.com/peq |
| wip | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/2f05cf09f730a4bff753b91bad86dba2686d908a |
| 2f05cf0 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/2f05cf09f730a4bff753b91bad86dba2686d908a |
|
| https://patch-diff.githubusercontent.com/peq |
| again changing design | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/452e603e8c00c42e02e9cd0145f1ec9c949a86aa |
| 452e603 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/452e603e8c00c42e02e9cd0145f1ec9c949a86aa |
|
| https://patch-diff.githubusercontent.com/peq |
| type class translation | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/0aa3a368ab65483dde4d7eba6a3df221153ba9df |
| 0aa3a36 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/0aa3a368ab65483dde4d7eba6a3df221153ba9df |
|
| https://patch-diff.githubusercontent.com/peq |
| some real progress on type classes | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/c03c8615740612bab9e7b153fd8017aff0875e41 |
| c03c861 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/c03c8615740612bab9e7b153fd8017aff0875e41 |
|
| https://patch-diff.githubusercontent.com/peq |
| fixed optimization | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/b162a4f20a637a4034611a3d5bad3f2148585ff7 |
| b162a4f | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/b162a4f20a637a4034611a3d5bad3f2148585ff7 |
|
| https://patch-diff.githubusercontent.com/peq |
| find subclass instances | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/c496f81a54a979d9420d2e28f079f34ccdc7978c |
| c496f81 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/c496f81a54a979d9420d2e28f079f34ccdc7978c |
|
| https://patch-diff.githubusercontent.com/peq |
| first dependent instances working | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/2f200e27543038e2492f1f588cca579ad0dd9888 |
| 2f200e2 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/2f200e27543038e2492f1f588cca579ad0dd9888 |
| https://patch-diff.githubusercontent.com/peq |
| peq | https://patch-diff.githubusercontent.com/peq |
|
Jan 31, 2020
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#ref-issue-334634752 |
|
[RFC] New Generics
#679
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/issues/679 |
|
| https://patch-diff.githubusercontent.com/peq |
| removed debug | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/3aecaa2b51a3fc789f04a2d8dae4a2f844627d7d |
| 3aecaa2 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/3aecaa2b51a3fc789f04a2d8dae4a2f844627d7d |
| https://patch-diff.githubusercontent.com/Frotty |
| Frotty | https://patch-diff.githubusercontent.com/Frotty |
| Jan 31, 2020 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#issuecomment-580847211 |
| Please reload this page | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931 |
| https://patch-diff.githubusercontent.com/peq |
| peq | https://patch-diff.githubusercontent.com/peq |
| Jan 31, 2020 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#issuecomment-580864204 |
| Please reload this page | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931 |
| peq | https://patch-diff.githubusercontent.com/peq |
| January 31, 2020 21:24 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#commits-pushed-dc677ab |
|
| https://patch-diff.githubusercontent.com/peq |
| change syntax to 'implements' keyword | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/dc677abd675a46f9698c7f702515cf3d5f1f418a |
| dc677ab | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/dc677abd675a46f9698c7f702515cf3d5f1f418a |
|
| https://patch-diff.githubusercontent.com/peq |
| first class with constraints | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/8ea93e752b11afb7dcd09c56887042e26e1bd3af |
| 8ea93e7 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/8ea93e752b11afb7dcd09c56887042e26e1bd3af |
|
| https://patch-diff.githubusercontent.com/peq |
| add missing super-visit | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/13bfc734852cde948fc93c7fb124cd79b114d107 |
| 13bfc73 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/13bfc734852cde948fc93c7fb124cd79b114d107 |
|
| https://patch-diff.githubusercontent.com/peq |
| fixed NPE and tests | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/500c2507ad0811cd5d376f46b601e834e20b9ea6 |
| 500c250 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/500c2507ad0811cd5d376f46b601e834e20b9ea6 |
|
| https://patch-diff.githubusercontent.com/peq |
| dependent constraints for classes | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/949a2ce10b903550072cc9dcb7bcc24fe22bb014 |
| 949a2ce | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/949a2ce10b903550072cc9dcb7bcc24fe22bb014 |
| peq | https://patch-diff.githubusercontent.com/peq |
| February 9, 2020 16:13 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#commits-pushed-ae31eb1 |
|
| https://patch-diff.githubusercontent.com/peq |
| Type Check: All functions implemented correctly | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/ae31eb164332b2b6e6d2de005508507d3a820cbc |
| ae31eb1 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/ae31eb164332b2b6e6d2de005508507d3a820cbc |
|
| https://patch-diff.githubusercontent.com/peq |
| added simple divergence check | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/02b06d6c95cca23cda97837f6b216e644b5efe82 |
| 02b06d6 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/02b06d6c95cca23cda97837f6b216e644b5efe82 |
|
| https://patch-diff.githubusercontent.com/peq |
| basic support for derived ToIndex for object types | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/464c9b0a32e04f75f64c5af2ed9c02e08aaddc62 |
| 464c9b0 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/464c9b0a32e04f75f64c5af2ed9c02e08aaddc62 |
|
| https://patch-diff.githubusercontent.com/peq |
| support for multiple constraints | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/08dd2072bafe16e9c428c673c508fd56106ba8a9 |
| 08dd207 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/08dd2072bafe16e9c428c673c508fd56106ba8a9 |
|
| https://patch-diff.githubusercontent.com/peq |
| fixed tests | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/ca656781ac1ebfa6cdd1ec6cd37587200026ad3b |
| ca65678 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/ca656781ac1ebfa6cdd1ec6cd37587200026ad3b |
|
| https://patch-diff.githubusercontent.com/peq |
| fixed classcast exception | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/9a45d209dad751c6da4280edf1bb0b9e71bf1e44 |
| 9a45d20 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/9a45d209dad751c6da4280edf1bb0b9e71bf1e44 |
|
| https://patch-diff.githubusercontent.com/peq |
| default type class for classes | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/53250f49c123deec69843021d09165e2eab2063e |
| 53250f4 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/53250f49c123deec69843021d09165e2eab2063e |
|
| https://patch-diff.githubusercontent.com/peq |
| fix | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/aae43e0e3740997e06bc4a9aded7f15917734270 |
| 464c9b0 | https://github.com/wurstscript/WurstScript/commit/464c9b0a32e04f75f64c5af2ed9c02e08aaddc62 |
| aae43e0 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/aae43e0e3740997e06bc4a9aded7f15917734270 |
|
| https://patch-diff.githubusercontent.com/peq |
| prefer overloads without type class constraints | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/4311d89ff70c2316b6894e396e9d1ef8fde3bfc8 |
| 4311d89 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/4311d89ff70c2316b6894e396e9d1ef8fde3bfc8 |
|
| https://patch-diff.githubusercontent.com/peq |
| overloading | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/9cc999dee1e090841e8ef250cda755c6a568673c |
| 9cc999d | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/9cc999dee1e090841e8ef250cda755c6a568673c |
| https://patch-diff.githubusercontent.com/peq |
| peq | https://patch-diff.githubusercontent.com/peq |
|
Feb 12, 2020
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#ref-pullrequest-564314589 |
|
Adapt StdLib to new typeclass features
wurstscript/WurstStdlib2#343
| https://patch-diff.githubusercontent.com/wurstscript/WurstStdlib2/pull/343 |
| peq | https://patch-diff.githubusercontent.com/peq |
| February 13, 2020 21:41 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#commits-pushed-b20a0b3 |
|
| https://patch-diff.githubusercontent.com/peq |
| fix override check | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/b20a0b3578634520a27e94c411c7b74dca1f47ad |
| b20a0b3 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/b20a0b3578634520a27e94c411c7b74dca1f47ad |
|
| https://patch-diff.githubusercontent.com/peq |
| re-enable lua tests | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/3c09717e2e5e407ea636e65ee3947d4859ea5518 |
| 3c09717 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/3c09717e2e5e407ea636e65ee3947d4859ea5518 |
| https://patch-diff.githubusercontent.com/peq |
| peq | https://patch-diff.githubusercontent.com/peq |
|
Feb 13, 2020
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#ref-issue-480327377 |
|
Ingame errors with -lua
#885
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/issues/885 |
| peq | https://patch-diff.githubusercontent.com/peq |
| February 13, 2020 22:21 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#commits-pushed-1e263e0 |
|
| https://patch-diff.githubusercontent.com/peq |
| removed any-type | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/1e263e0b01e690a712571e3f88d744a59a95f065 |
| 1e263e0 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/1e263e0b01e690a712571e3f88d744a59a95f065 |
|
| https://patch-diff.githubusercontent.com/peq |
| remove restriction to certain tests | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/ade96438a8e608ded190dd8987e7393ccbc2aca1 |
| ade9643 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/ade96438a8e608ded190dd8987e7393ccbc2aca1 |
|
| https://patch-diff.githubusercontent.com/peq |
| fixed bugs | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/040b04faead51f108d5e0178fd376ae0353dd8b0 |
| 040b04f | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/040b04faead51f108d5e0178fd376ae0353dd8b0 |
|
| https://patch-diff.githubusercontent.com/peq |
| correct handling of public imports | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/4937df8f5346e1cc61bae5963836c048278d86f0 |
| 4937df8 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/4937df8f5346e1cc61bae5963836c048278d86f0 |
|
| https://patch-diff.githubusercontent.com/peq |
| fix lua: protect main | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/8723ef1d57934ea6cccaa6e240ca0ce2b6ca2bfa |
| 8723ef1 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/8723ef1d57934ea6cccaa6e240ca0ce2b6ca2bfa |
|
| https://patch-diff.githubusercontent.com/peq |
| add correct submethods | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/2303938ead53f8d96868308727ee103df259626f |
| 2303938 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/2303938ead53f8d96868308727ee103df259626f |
|
| https://patch-diff.githubusercontent.com/peq |
| one more test for subclasses | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/1bcc0c1f48bd51cbe69664d6e8c695e13b5f7503 |
| 1bcc0c1 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/1bcc0c1f48bd51cbe69664d6e8c695e13b5f7503 |
| https://patch-diff.githubusercontent.com/Frotty |
| Frotty | https://patch-diff.githubusercontent.com/Frotty |
| Feb 15, 2020 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#issuecomment-586596426 |
| https://camo.githubusercontent.com/6057ba36990a9fc68b18ae37b0f0499e0f8818744ffc84567f95c35a34152759/68747470733a2f2f692e696d6775722e636f6d2f58775570376a792e6a7067 |
| Please reload this page | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931 |
|
| https://patch-diff.githubusercontent.com/peq |
| fixed bug in for-loop translation (wip) | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/14bdfd1199e28d4ab3871c2b063f0ffe48abc513 |
| 14bdfd1 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931/commits/14bdfd1199e28d4ab3871c2b063f0ffe48abc513 |
| https://patch-diff.githubusercontent.com/Frotty |
| Frotty | https://patch-diff.githubusercontent.com/Frotty |
| force-pushed | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/compare/64722052717dc5232b691d057452d702d6efb4ab..ac55dd4f0ee93c1a7d0b895b65b7b738d365d1ca |
| 6472205 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/commit/64722052717dc5232b691d057452d702d6efb4ab |
| ac55dd4 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/commit/ac55dd4f0ee93c1a7d0b895b65b7b738d365d1ca |
|
Compare
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/compare/64722052717dc5232b691d057452d702d6efb4ab..ac55dd4f0ee93c1a7d0b895b65b7b738d365d1ca |
| July 22, 2021 21:42 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#event-5058249906 |
| https://patch-diff.githubusercontent.com/Frotty |
| Frotty | https://patch-diff.githubusercontent.com/Frotty |
| force-pushed | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/compare/1c4a76c15c55d9e9488a18643b3ab5a9bad76de3..ca47830e149881f0ff428b3093b658f3d8427493 |
| 1c4a76c | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/commit/1c4a76c15c55d9e9488a18643b3ab5a9bad76de3 |
| ca47830 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/commit/ca47830e149881f0ff428b3093b658f3d8427493 |
|
Compare
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/compare/1c4a76c15c55d9e9488a18643b3ab5a9bad76de3..ca47830e149881f0ff428b3093b658f3d8427493 |
| June 24, 2025 16:48 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#event-18298861390 |
| https://patch-diff.githubusercontent.com/Frotty |
| Frotty | https://patch-diff.githubusercontent.com/Frotty |
| force-pushed | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/compare/3bbfe78706a0322dd80283f4d202742c61603b81..fdcd03d0390bf9839c66012364b7ef108065b4ee |
| 3bbfe78 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/commit/3bbfe78706a0322dd80283f4d202742c61603b81 |
| fdcd03d | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/commit/fdcd03d0390bf9839c66012364b7ef108065b4ee |
|
Compare
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/compare/3bbfe78706a0322dd80283f4d202742c61603b81..fdcd03d0390bf9839c66012364b7ef108065b4ee |
| October 18, 2025 09:02 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#event-20357586694 |
| https://patch-diff.githubusercontent.com/Frotty |
| Frotty | https://patch-diff.githubusercontent.com/Frotty |
| force-pushed | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/compare/e640e98ca6753efd9a34feb22e2ad5f680ea5d22..5535ed83479106ce0f67b434ded2414081f749f1 |
| e640e98 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/commit/e640e98ca6753efd9a34feb22e2ad5f680ea5d22 |
| 5535ed8 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/commit/5535ed83479106ce0f67b434ded2414081f749f1 |
|
Compare
| https://patch-diff.githubusercontent.com/wurstscript/WurstScript/compare/e640e98ca6753efd9a34feb22e2ad5f680ea5d22..5535ed83479106ce0f67b434ded2414081f749f1 |
| October 30, 2025 10:45 | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931#event-20605220982 |
| Sign up for free | https://patch-diff.githubusercontent.com/join?source=comment-repo |
| Sign in to comment | https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fwurstscript%2FWurstScript%2Fpull%2F931 |
| Please reload this page | https://patch-diff.githubusercontent.com/wurstscript/WurstScript/pull/931 |
|
| https://patch-diff.githubusercontent.com/peq |
|
| https://patch-diff.githubusercontent.com/Frotty |
|
| https://github.com |
| Terms | https://docs.github.com/site-policy/github-terms/github-terms-of-service |
| Privacy | https://docs.github.com/site-policy/privacy-policies/github-privacy-statement |
| Security | https://github.com/security |
| Status | https://www.githubstatus.com/ |
| Community | https://github.community/ |
| Docs | https://docs.github.com/ |
| Contact | https://support.github.com?tags=dotcom-footer |