Code

Add (with-stdin-from ...)#2487

Code

Merged

nojb merged 12 commits intoocaml:masterocaml/dune:masterfrom nojb:with_stdin_fromnojb/dune:with_stdin_fromCopy head branch name to clipboardAug 1, 2019

+330-168

Commits

Commits on Aug 1, 2019

• Add action (with-stdin-from ...)

  Show description for b445ae5
  nojb

  committed
  b445ae5

  Copy full SHA for b445ae5

• Add test

  Show description for d18599f
  nojb

  committed
  d18599f

  Copy full SHA for d18599f

• Adapt manual & CHANGES.md

  Show description for 71a0616
  nojb

  committed
  71a0616

  Copy full SHA for 71a0616

• Syntax requires dune 2.0

  Show description for 84bc87d
  nojb

  committed
  84bc87d

  Copy full SHA for 84bc87d

• Update test

  Show description for 7a1ae4e
  nojb

  committed
  7a1ae4e

  Copy full SHA for 7a1ae4e

• Better wording for CHANGES.md

  Show description for dd7de2c
  nojb

  committed
  dd7de2c

  Copy full SHA for dd7de2c

• Process: use GADT to share code

  Show description for 085615b
  nojb

  committed
  085615b

  Copy full SHA for 085615b

• Fix unit tests

  Show description for e9a8cbb
  

  rgrinberg

  authored and

  nojb

  committed
  e9a8cbb

  Copy full SHA for e9a8cbb

• Do not use abstract indices

  Show description for c8f88bd
  

  rgrinberg

  authored and

  nojb

  committed
  c8f88bd

  Copy full SHA for c8f88bd

• Fix comment

  Show description for 4a92d5e
  

  rgrinberg

  authored and

  nojb

  committed
  4a92d5e

  Copy full SHA for 4a92d5e

• Wrap to 80 chars

  Show description for 8cbfea2
  

  rgrinberg

  authored and

  nojb

  committed
  8cbfea2

  Copy full SHA for 8cbfea2

• Make it compile on 4.02.3

  Show description for 5a21e5b
  nojb

  committed
  5a21e5b

  Copy full SHA for 5a21e5b