search

msv-lab / modus

A language for building Docker/OCI container images
GNU Affero General Public License v3.0
279 stars 9 forks source link

(Some) Operator Type Checking #172

Closed thevirtuoso1973 closed 2 years ago

thevirtuoso1973 commented 2 years ago

Related to #170.

image

This doesn't check merge requirements, need to think of a nice way to do that. Actually this would check merge's requirement currently.

thevirtuoso1973 commented 2 years ago

@maowtm The failing system tests should be changed right? https://github.com/modus-continens/modus/runs/5452994463?check_suite_focus=true

I guess this PR makes it a bit stricter so no pure image expression allowed in in_workdir, for example.

maowtm commented 2 years ago

Yeah agreed. Pushed a commit to delete it.