Skip to content

Instantly share code, notes, and snippets.

@steinwaywhw

steinwaywhw/gist:f7a60d7de1ac321bed4b

Created June 1, 2015 16:29
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save steinwaywhw/f7a60d7de1ac321bed4b to your computer and use it in GitHub Desktop.
Save steinwaywhw/f7a60d7de1ac321bed4b to your computer and use it in GitHub Desktop.
Download ZIP
Common Suffix for Pretty ATS Output
Raw
gistfile1.sh
... 2>&1 | sed 's/S2\(E\|RT\)\|_type\|_t0ype\|C3NSTR\|_bool//g' | sed -e "s/\(cst\|BASpre\)(\(\\w\+\))/\2/g" | em "line=\d+" -f red | em "\[\w+\]" -f yellow | em "SHOWTYPE" -f blue | em "needed term" -l -f bold | sed -e "s/Var([0-9]\+->var(\(\\w\+\)([0-9]\+)))/\1/g" | sed -e "s/app(\(.*\); \(.*\))/\1(\2)/g"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment