We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 86b6d71 commit b7e0310Copy full SHA for b7e0310
lambda-buffers-compiler/src/LambdaBuffers/Compiler/KindCheck.hs
@@ -185,7 +185,7 @@ runKindCheck = interpret $ \case
185
tyDef2Map :: PC.TyDef -> HandleErrorEnv ()
186
tyDef2Map = tyAbs2Map . view #tyAbs
187
188
- -- Note(cstml): Is there any purpose for anything from the tyArg - be sure to cover with tests.
+ -- NOTE(cstml): Is there any purpose for anything from the tyArg - be sure to cover with tests.
189
tyAbs2Map :: PC.TyAbs -> HandleErrorEnv ()
190
tyAbs2Map tyAbs = tyBody2Map (tyAbs ^. #tyBody)
191
0 commit comments