search

wala / ML

Eclipse Public License 2.0
24 stars 17 forks source link

Missing the open() built-in function #96

Open khatchad opened 9 months ago

khatchad commented 9 months ago

https://docs.python.org/3/library/functions.html#open

Related to https://github.com/wala/ML/issues/93.

Regression

We'd have to add a PythonType corresponding to files and set that as the return type of this built-in function. The issue would block the addition of the IO libary.