Support for lambdas :) #454
AlecsFerraAnnotations
1 error and 2 warnings
|
hlint-3.8
HLint failed with status: 1. Suggestion (2)
|
|
hlint-3.8:
src/Language/Fixpoint/Defunctionalize.hs#L96
Suggestion in normalizeLamsFromTo in module Language.Fixpoint.Defunctionalize: Use section ▫︎ Found: "(flip ETApp s)" ▫︎ Perhaps: "(`ETApp` s)"
|
|
hlint-3.8:
src/Language/Fixpoint/Defunctionalize.hs#L97
Suggestion in normalizeLamsFromTo in module Language.Fixpoint.Defunctionalize: Use section ▫︎ Found: "(flip ETAbs s)" ▫︎ Perhaps: "(`ETAbs` s)"
|