From 72a6f29c7b1357fbeca70097c84138c6cf6d5e2a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Wed, 3 Apr 2019 10:28:28 +0100
Subject: Formatting file

---
 src/VeriFuzz/Verilog/Lex.x | 184 ++++++++++++++++++++++-----------------------
 1 file changed, 92 insertions(+), 92 deletions(-)

(limited to 'src/VeriFuzz/Verilog')

diff --git a/src/VeriFuzz/Verilog/Lex.x b/src/VeriFuzz/Verilog/Lex.x
index fb071d4..cc67ecc 100644
--- a/src/VeriFuzz/Verilog/Lex.x
+++ b/src/VeriFuzz/Verilog/Lex.x
@@ -84,103 +84,103 @@ tokens :-
   "wire"             { tok KWWire       }
   "signed"           { tok KWSigned     }
 
-  @simpleIdentifier  { tok IdSimple  }
-  @escapedIdentifier { tok IdEscaped }
-  @systemIdentifier  { tok IdSystem  }
-
-  @number            { tok LitNumber }
-  @string            { tok LitString }
-
-  "("                { tok SymParenL }
-  ")"                { tok SymParenR }
-  "["                { tok SymBrackL }
-  "]"                { tok SymBrackR }
-  "{"                { tok SymBraceL }
-  "}"                { tok SymBraceR }
-  "~"                { tok SymTildy }
-  "!"                { tok SymBang }
-  "@"                { tok SymAt }
-  "#"                { tok SymPound }
-  "%"                { tok SymPercent }
-  "^"                { tok SymHat }
-  "&"                { tok SymAmp }
-  "|"                { tok SymBar }
-  "*"                { tok SymAster }
-  "."                { tok SymDot }
-  ","                { tok SymComma }
-  ":"                { tok SymColon }
-  ";"                { tok SymSemi }
-  "="                { tok SymEq }
-  "<"                { tok SymLt }
-  ">"                { tok SymGt }
-  "+"                { tok SymPlus }
-  "-"                { tok SymDash }
-  "?"                { tok SymQuestion }
-  "/"                { tok SymSlash }
-  "$"                { tok SymDollar }
-  "'"                { tok SymSQuote }
-
-  "~&"               { tok SymTildyAmp }
-  "~|"               { tok SymTildyBar }
-  "~^"               { tok SymTildyHat }
-  "^~"               { tok SymHatTildy }
-  "=="               { tok SymEqEq }
-  "!="               { tok SymBangEq }
-  "&&"               { tok SymAmpAmp }
-  "||"               { tok SymBarBar }
-  "**"               { tok SymAsterAster }
-  "<="               { tok SymLtEq }
-  ">="               { tok SymGtEq }
-  ">>"               { tok SymGtGt }
-  "<<"               { tok SymLtLt }
-  "++"               { tok SymPlusPlus }
-  "--"               { tok SymDashDash }
-  "+="               { tok SymPlusEq }
-  "-="               { tok SymDashEq }
-  "*="               { tok SymAsterEq }
-  "/="               { tok SymSlashEq }
-  "%="               { tok SymPercentEq }
-  "&="               { tok SymAmpEq }
-  "|="               { tok SymBarEq }
-  "^="               { tok SymHatEq }
-  "+:"               { tok SymPlusColon }
-  "-:"               { tok SymDashColon }
-  "::"               { tok SymColonColon }
-  ".*"               { tok SymDotAster }
-  "->"               { tok SymDashGt }
-  ":="               { tok SymColonEq }
-  ":/"               { tok SymColonSlash }
-  "##"               { tok SymPoundPound }
-  "[*"               { tok SymBrackLAster }
-  "[="               { tok SymBrackLEq }
-  "=>"               { tok SymEqGt }
-  "@*"               { tok SymAtAster }
-  "(*"               { tok SymParenLAster }
-  "*)"               { tok SymAsterParenR }
-  "*>"               { tok SymAsterGt }
-
-  "==="              { tok SymEqEqEq }
-  "!=="              { tok SymBangEqEq }
-  "=?="              { tok SymEqQuestionEq }
-  "!?="              { tok SymBangQuestionEq }
-  ">>>"              { tok SymGtGtGt }
-  "<<<"              { tok SymLtLtLt }
-  "<<="              { tok SymLtLtEq }
-  ">>="              { tok SymGtGtEq }
-  "|->"              { tok SymBarDashGt }
-  "|=>"              { tok SymBarEqGt }
-  "[->"              { tok SymBrackLDashGt }
-  "@@("              { tok SymAtAtParenL }
+  @simpleIdentifier  { tok IdSimple             }
+  @escapedIdentifier { tok IdEscaped            }
+  @systemIdentifier  { tok IdSystem             }
+
+  @number            { tok LitNumber            }
+  @string            { tok LitString            }
+
+  "("                { tok SymParenL            }
+  ")"                { tok SymParenR            }
+  "["                { tok SymBrackL            }
+  "]"                { tok SymBrackR            }
+  "{"                { tok SymBraceL            }
+  "}"                { tok SymBraceR            }
+  "~"                { tok SymTildy             }
+  "!"                { tok SymBang              }
+  "@"                { tok SymAt                }
+  "#"                { tok SymPound             }
+  "%"                { tok SymPercent           }
+  "^"                { tok SymHat               }
+  "&"                { tok SymAmp               }
+  "|"                { tok SymBar               }
+  "*"                { tok SymAster             }
+  "."                { tok SymDot               }
+  ","                { tok SymComma             }
+  ":"                { tok SymColon             }
+  ";"                { tok SymSemi              }
+  "="                { tok SymEq                }
+  "<"                { tok SymLt                }
+  ">"                { tok SymGt                }
+  "+"                { tok SymPlus              }
+  "-"                { tok SymDash              }
+  "?"                { tok SymQuestion          }
+  "/"                { tok SymSlash             }
+  "$"                { tok SymDollar            }
+  "'"                { tok SymSQuote            }
+
+  "~&"               { tok SymTildyAmp          }
+  "~|"               { tok SymTildyBar          }
+  "~^"               { tok SymTildyHat          }
+  "^~"               { tok SymHatTildy          }
+  "=="               { tok SymEqEq              }
+  "!="               { tok SymBangEq            }
+  "&&"               { tok SymAmpAmp            }
+  "||"               { tok SymBarBar            }
+  "**"               { tok SymAsterAster        }
+  "<="               { tok SymLtEq              }
+  ">="               { tok SymGtEq              }
+  ">>"               { tok SymGtGt              }
+  "<<"               { tok SymLtLt              }
+  "++"               { tok SymPlusPlus          }
+  "--"               { tok SymDashDash          }
+  "+="               { tok SymPlusEq            }
+  "-="               { tok SymDashEq            }
+  "*="               { tok SymAsterEq           }
+  "/="               { tok SymSlashEq           }
+  "%="               { tok SymPercentEq         }
+  "&="               { tok SymAmpEq             }
+  "|="               { tok SymBarEq             }
+  "^="               { tok SymHatEq             }
+  "+:"               { tok SymPlusColon         }
+  "-:"               { tok SymDashColon         }
+  "::"               { tok SymColonColon        }
+  ".*"               { tok SymDotAster          }
+  "->"               { tok SymDashGt            }
+  ":="               { tok SymColonEq           }
+  ":/"               { tok SymColonSlash        }
+  "##"               { tok SymPoundPound        }
+  "[*"               { tok SymBrackLAster       }
+  "[="               { tok SymBrackLEq          }
+  "=>"               { tok SymEqGt              }
+  "@*"               { tok SymAtAster           }
+  "(*"               { tok SymParenLAster       }
+  "*)"               { tok SymAsterParenR       }
+  "*>"               { tok SymAsterGt           }
+
+  "==="              { tok SymEqEqEq            }
+  "!=="              { tok SymBangEqEq          }
+  "=?="              { tok SymEqQuestionEq      }
+  "!?="              { tok SymBangQuestionEq    }
+  ">>>"              { tok SymGtGtGt            }
+  "<<<"              { tok SymLtLtLt            }
+  "<<="              { tok SymLtLtEq            }
+  ">>="              { tok SymGtGtEq            }
+  "|->"              { tok SymBarDashGt         }
+  "|=>"              { tok SymBarEqGt           }
+  "[->"              { tok SymBrackLDashGt      }
+  "@@("              { tok SymAtAtParenL        }
   "(*)"              { tok SymParenLAsterParenR }
-  "->>"              { tok SymDashGtGt }
-  "&&&"              { tok SymAmpAmpAmp }
+  "->>"              { tok SymDashGtGt          }
+  "&&&"              { tok SymAmpAmpAmp         }
 
-  "<<<="             { tok SymLtLtLtEq }
-  ">>>="             { tok SymGtGtGtEq }
+  "<<<="             { tok SymLtLtLtEq          }
+  ">>>="             { tok SymGtGtGtEq          }
 
   $white             ;
 
-  .                  { tok Unknown }
+  .                  { tok Unknown              }
 
 {
 tok :: TokenName -> AlexPosn -> String -> Token
-- 
cgit