SeLFiE: Do we need to distinguish if a parameter is `Path` or `NonPath`?

data61 / PSL

Other

65 stars 9 forks source link

Closed yutakang closed 4 years ago

yutakang commented 4 years ago

datatype parameter = Path of path | Non_Path of SeLFiE_Util.non_path_parameter

As far as I can see, this distinction makes no positive influence in the code base.

yutakang commented 4 years ago

Both atomic parameters have to be evaluated to an atomic literal in from_Parameter_With_Bool_to_Bound.

yutakang commented 4 years ago

Ah... I need a special handling for Path because it is basically a type class.

yutakang commented 4 years ago

ah... this issue is now outdated.