Update test for skylighting 0.8.1.1.
This commit is contained in:
parent
23ddb47520
commit
2cd1c7b30f
1 changed files with 2 additions and 2 deletions
|
@ -94,9 +94,9 @@ return a single value:
|
|||
|
||||
\begin{Shaded}
|
||||
\begin{Highlighting}[]
|
||||
\OtherTok{unsplit ::}\NormalTok{ (}\DataTypeTok{Arrow}\NormalTok{ a) }\OtherTok{=>}\NormalTok{ (b }\OtherTok{->}\NormalTok{ c }\OtherTok{->}\NormalTok{ d) }\OtherTok{->}\NormalTok{ a (b, c) d}
|
||||
\OtherTok{unsplit ::}\NormalTok{ (}\DataTypeTok{Arrow}\NormalTok{ a) }\OtherTok{=>}\NormalTok{ (b }\OtherTok{{-}>}\NormalTok{ c }\OtherTok{{-}>}\NormalTok{ d) }\OtherTok{{-}>}\NormalTok{ a (b, c) d}
|
||||
\NormalTok{unsplit }\OtherTok{=}\NormalTok{ arr }\OperatorTok{.} \FunctionTok{uncurry}
|
||||
\CommentTok{-- arr (\textbackslash{}op (x,y) -> x `op` y)}
|
||||
\CommentTok{{-}{-} arr (\textbackslash{}op (x,y) {-}> x \textasciigrave{}op\textasciigrave{} y)}
|
||||
\end{Highlighting}
|
||||
\end{Shaded}
|
||||
|
||||
|
|
Loading…
Reference in a new issue