Parser: m note

haskell-nix · Jan 26, 2022 · d7d507d · d7d507d
1 parent 6224533
commit d7d507d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Nix/Parser.hs b/src/Nix/Parser.hs
@@ -489,6 +489,9 @@ operator (coerce -> op) =
 opWithLoc :: (AnnUnit SrcSpan o -> a) -> o -> NOpName -> Parser a
 opWithLoc f op name = f . (op <$) <$> annotateLocation1 (operator name)
 
+--  2022-01-26: NOTE: Make presedence free and type safe by moving it into type level:
+--  https://youtu.be/qaPdg0mZavM?t=1757
+--  https://wiki.haskell.org/The_Monad.Reader/Issue5/Number_Param_Types
 newtype NOpPrecedence = NOpPrecedence Int
   deriving (Eq, Ord, Generic, Bounded, Typeable, Data, Show, NFData)