quantified.uncertainty/squiggle
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

added .resi files to lint checker

Browse Source
This commit is contained in:
Quinn Dougherty 2022-04-11 09:35:25 -04:00
parent 16258c2538
commit af3cab01bc
1 changed files with 17 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
packages/squiggle-lang/lint.sh
View File

@ -3,8 +3,9 @@
# Hat tip to @dfalling # Hat tip to @dfalling
# https://forum.rescript-lang.org/t/rescript-9-1-how-can-we-format-to-standard-out/1590/2?u=quinn-dougherty # https://forum.rescript-lang.org/t/rescript-9-1-how-can-we-format-to-standard-out/1590/2?u=quinn-dougherty
files=`ls src/rescript/**/**/*.res src/rescript/**/*.res src/rescript/*.res`
errors=false errors=false
files=`ls src/rescript/**/**/*.res src/rescript/**/*.res src/rescript/*.res`
for file in $files for file in $files
do do
current=`cat $file` current=`cat $file`
@ -18,9 +19,23 @@ do
fi fi
done done
files=`ls src/rescript/**/**/*.resi src/rescript/**/*.resi` # src/rescript/*/resi
for file in $files
do
current=`cat $file`
linted=`echo "${current}" | rescript format -stdin .resi`
diff=`diff <(echo $current) <(echo $linted)`
if [ ${#diff} -gt 0 ]
then
echo "ERROR: $file doesn't pass lint"
errors=true
fi
done
if $errors if $errors
then then
exit 1 exit 1
else else
echo "All files pass linting!" echo "All files pass lint"
fi fi