We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5063353 commit db8be72Copy full SHA for db8be72
tests/succeed/primitives.fathom
@@ -72,6 +72,7 @@ let _ = link : Pos -> Format -> Format;
72
let _ = deref : fun (f : Format) -> Ref f -> Format;
73
let _ = stream_pos : Format;
74
let _ = succeed : fun (Elem : Type) -> Elem -> Format;
75
+let _ = or_succeed : Bool -> fun (A : Format) -> Repr A -> Format;
76
let _ = fail : Format;
77
let _ = unwrap : fun (A : Type) -> Option A -> Format;
78
let _ = Repr : Format -> Type;
tests/succeed/primitives.snap
@@ -69,6 +69,7 @@ let _ : _ = link;
69
let _ : _ = deref;
70
let _ : _ = stream_pos;
71
let _ : _ = succeed;
+let _ : _ = or_succeed;
let _ : _ = fail;
let _ : _ = unwrap;
let _ : _ = Repr;
0 commit comments