diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-11 20:57:07 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-12 00:50:34 +0200 |
commit | e4725c07ee3e7e3fc010df418d16f37c39b0af0f (patch) | |
tree | cb10e1d1203eed875955097311ccbe0943564226 /src/LambdaCube/Compiler/Pretty.hs | |
parent | 95e006bf5afa8d3473e3fe4401f4c9316186a428 (diff) |
mutual function definitions
Diffstat (limited to 'src/LambdaCube/Compiler/Pretty.hs')
-rw-r--r-- | src/LambdaCube/Compiler/Pretty.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/LambdaCube/Compiler/Pretty.hs b/src/LambdaCube/Compiler/Pretty.hs index e2ebb5e4..204e4893 100644 --- a/src/LambdaCube/Compiler/Pretty.hs +++ b/src/LambdaCube/Compiler/Pretty.hs | |||
@@ -320,6 +320,7 @@ infixl 4 `DApp` | |||
320 | 320 | ||
321 | pattern DAt x = DGlue (InfixR 20) (DText "@") x | 321 | pattern DAt x = DGlue (InfixR 20) (DText "@") x |
322 | pattern DApp x y = DSep (InfixL 10) x y | 322 | pattern DApp x y = DSep (InfixL 10) x y |
323 | pattern DHApp x y = DSep (InfixL 10) x (DAt y) | ||
323 | pattern DSemi x y = DOp ";" (InfixR (-19)) x y | 324 | pattern DSemi x y = DOp ";" (InfixR (-19)) x y |
324 | pattern DArr_ s x y = DOp s (InfixR (-1)) x y -- -> => . | 325 | pattern DArr_ s x y = DOp s (InfixR (-1)) x y -- -> => . |
325 | pattern DCstr x y = DOp "~" (Infix (-2)) x y | 326 | pattern DCstr x y = DOp "~" (Infix (-2)) x y |