search

links-lang / links

Links: Linking Theory to Practice for the Web
http://www.links-lang.org
Other
320 stars 42 forks source link

Added multiple options for custom runtimes #1146

Closed Yi-Zhou-01 closed 2 years ago

Yi-Zhou-01 commented 2 years ago

Added multiple options for custom runtimes

dhil commented 2 years ago

You need to remove the tabs from bin/driver.ml, c.f. the workflow rule-check.

dhil commented 2 years ago

Your patch is still failing the rule-check. It seems to be complaining about trailing whitespace in bin/driver.ml.

Yi-Zhou-01 commented 2 years ago

Your patch is still failing the rule-check. It seems to be complaining about trailing whitespace in bin/driver.ml.

Oh, so the check doesn't allow any whitespaces at the end of each line?

dhil commented 2 years ago

Your patch is still failing the rule-check. It seems to be complaining about trailing whitespace in bin/driver.ml.

Oh, so the check doesn't allow any whitespaces at the end of each line?

That's right.