patch diff

alanechang · alanechang · commit 8bee6d56c111 · 2023-11-02T13:13:07.000-04:00
diff --git a/vendor/diff-parsers-upstream-std.patch b/vendor/diff-parsers-upstream-std.patch
@@ -246,6 +246,7 @@
    txt : 'a;
    loc : Location.t;
  }
+ 
 +(* constant layouts are parsed as layout annotations, and also used
 +   in the type checker as already-inferred (i.e. non-variable) layouts *)
 +type const_layout =
@@ -257,7 +258,7 @@
 +  | Float64
 +
 +type layout_annotation = const_layout loc
- 
++
 +type label = string
 +
 +type arg_label =

Original file line number	Diff line number	Diff line change
`@@ -246,6 +246,7 @@`
`246`	`246`	`txt : 'a;`
`247`	`247`	`loc : Location.t;`
`248`	`248`	`}`
	`249`	`+`
`249`	`250`	`+(* constant layouts are parsed as layout annotations, and also used`
`250`	`251`	`+ in the type checker as already-inferred (i.e. non-variable) layouts *)`
`251`	`252`	`+type const_layout =`
`@@ -257,7 +258,7 @@`
`257`	`258`	`+ \| Float64`
`258`	`259`	`+`
`259`	`260`	`+type layout_annotation = const_layout loc`
`260`		`-`
	`261`	`++`
`261`	`262`	`+type label = string`
`262`	`263`	`+`
`263`	`264`	`+type arg_label =`