enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-19 07:02:04 +03:00
Code Issues Projects Releases Wiki Activity
b83c5a15eb
enso/lib
History
Jaroslav Tulach 2964457d48
Intersection types & type checks (#11600) 
Implementation of **type checks** for **intersection types**. The idea is to split the list of `types[]` in `EnsoMultiValue` into two parts:
- first `methodDispatchTypes` represent the types the value _"has been cast to"_
- the rest of the types represent the types the value _"can be cast to"_

By performing this separation we address the #10882 requirements. After a type check only methods available on the `methodDispatchTypes` can be invoked. However the value can still be cast to all the possible types.
2024-12-12 07:29:00 +00:00
..
java Intersection types & type checks (#11600) 2024-12-12 07:29:00 +00:00
js/runner Drop git dependency on enso-bot repository (#11539) 2024-11-12 18:25:19 +00:00
rust Fix failure to parse an invalid syntax case (#11754) 2024-12-05 20:16:40 +00:00
scala Avoid storing 0.0.0-dev into package.yaml (#11805) 2024-12-09 14:57:14 +00:00
README.md Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00

README.md

Libraries

This directory contains the libraries that should remain in this project, but that are not technically part of the main language implementation itself.