unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.78k stars 270 forks source link

doc-parsing and/or roundtrip megaticket #2892

Open aryairani opened 2 years ago

aryairani commented 2 years ago

Misc

Underscore-related

Names-related

Pretty-printer

aryairani commented 2 years ago

I used this script to generate the link, after pull.squash-historying the desired namespace to $codebase:.$path and using find to set $count.

#!/bin/bash
count=433
path=.docs
codebase=.

for i in `seq 1 $count` ; do
  f=transcript.md
  echo $i
  echo '```ucm'         > "$f"
  echo "$path> find"    >> "$f"
  echo "$path> edit $i" >> "$f"
  echo "$path> load"    >> "$f"
  echo '```'            >> "$f"
  if ! stack exec -- \
    unison --codebase $codebase transcript.fork "$f"
  then
    mv scratch.u failure-$i.u
  fi
  rm "$f"
done

/cc @rlmark