format

anoma · Sep 14, 2022 · 303a136 · 303a136
1 parent 5004cd4
commit 303a136
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 17 deletions.
diff --git a/src/Juvix/Compiler/Concrete/Translation/FromSource.hs b/src/Juvix/Compiler/Concrete/Translation/FromSource.hs
@@ -292,17 +292,18 @@ import_ = do
 --------------------------------------------------------------------------------
 
 expressionAtom :: Members '[Reader ParserParams, InfoTableBuilder, JudocStash, NameIdGen] r => ParsecS r (ExpressionAtom 'Parsed)
-expressionAtom = P.label "<expression>" $
-  AtomLiteral <$> P.try literal
-    <|> (AtomIdentifier <$> name)
-    <|> (AtomUniverse <$> universe)
-    <|> (AtomLambda <$> lambda)
-    <|> (AtomFunction <$> function)
-    <|> (AtomLetBlock <$> letBlock)
-    <|> (AtomFunArrow <$ kwRightArrow)
-    <|> (AtomHole <$> hole)
-    <|> parens (AtomParens <$> parseExpressionAtoms)
-    <|> braces (AtomBraces <$> withLoc parseExpressionAtoms)
+expressionAtom =
+  P.label "<expression>" $
+    AtomLiteral <$> P.try literal
+      <|> (AtomIdentifier <$> name)
+      <|> (AtomUniverse <$> universe)
+      <|> (AtomLambda <$> lambda)
+      <|> (AtomFunction <$> function)
+      <|> (AtomLetBlock <$> letBlock)
+      <|> (AtomFunArrow <$ kwRightArrow)
+      <|> (AtomHole <$> hole)
+      <|> parens (AtomParens <$> parseExpressionAtoms)
+      <|> braces (AtomBraces <$> withLoc parseExpressionAtoms)
 
 parseExpressionAtoms ::
   Members '[Reader ParserParams, InfoTableBuilder, JudocStash, NameIdGen] r =>
@@ -519,11 +520,12 @@ wildcard = Wildcard . snd <$> interval kwWildcard
 --------------------------------------------------------------------------------
 
 patternAtom :: Members '[Reader ParserParams, InfoTableBuilder, JudocStash, NameIdGen] r => ParsecS r (PatternAtom 'Parsed)
-patternAtom = P.label "<pattern>" $
-  PatternAtomIden <$> name
-    <|> PatternAtomWildcard <$> wildcard
-    <|> (PatternAtomParens <$> parens parsePatternAtoms)
-    <|> (PatternAtomBraces <$> braces parsePatternAtoms)
+patternAtom =
+  P.label "<pattern>" $
+    PatternAtomIden <$> name
+      <|> PatternAtomWildcard <$> wildcard
+      <|> (PatternAtomParens <$> parens parsePatternAtoms)
+      <|> (PatternAtomBraces <$> braces parsePatternAtoms)
 
 parsePatternAtoms :: Members '[Reader ParserParams, InfoTableBuilder, JudocStash, NameIdGen] r => ParsecS r (PatternAtoms 'Parsed)
 parsePatternAtoms = do

diff --git a/src/Juvix/Compiler/Concrete/Translation/FromSource/Lexer.hs b/src/Juvix/Compiler/Concrete/Translation/FromSource/Lexer.hs
@@ -204,7 +204,7 @@ kwLet :: Members '[Reader ParserParams, InfoTableBuilder] r => ParsecS r ()
 kwLet = keyword Str.let_
 
 kwMapsTo :: Members '[Reader ParserParams, InfoTableBuilder] r => ParsecS r ()
-kwMapsTo = keywordUnicode  Str.mapstoAscii Str.mapstoUnicode
+kwMapsTo = keywordUnicode Str.mapstoAscii Str.mapstoUnicode
 
 kwModule :: Members '[Reader ParserParams, InfoTableBuilder] r => ParsecS r ()
 kwModule = keyword Str.module_