Code

Prettyprinter fixes#1276

Code

Merged

brianhuffman merged 5 commits intomasterGaloisInc/cryptol:masterfrom prettyprinter-fixesGaloisInc/cryptol:prettyprinter-fixesCopy head branch name to clipboardSep 5, 2021

+32-25

Commits

Commits on Sep 2, 2021

• Switch prettyprinter layout engine from layoutSmart to layoutPretty.

  Show description for 317b3c1
  

  Brian Huffman

  committed
  317b3c1

  Copy full SHA for 317b3c1

Commits on Sep 3, 2021

• Change linebreak heuristic for commaSepFill in the prettyprinter.

  Show description for 58723d0
  

  Brian Huffman

  committed
  58723d0

  Copy full SHA for 58723d0

• Update expected test output related to #1275 fix.

  

  Brian Huffman

  committed
  f25536a

  Copy full SHA for f25536a

• Update expected output for check-docs.

  

  Brian Huffman

  committed
  b9f97e7

  Copy full SHA for b9f97e7

• Update more expected test output.

  

  Brian Huffman

  committed
  17260de

  Copy full SHA for 17260de