Parameterize Expr and Reft by the variable type #360
facundominguezAnnotations
1 error and 1 warning
|
hlint-3.8
HLint failed with status: 1. Warning (1)
|
|
hlint-3.8:
tests/tasty/Arbitrary.hs#L3
Warning in module Arbitrary: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE TypeSynonymInstances #-}" ▫︎ Note: Extension TypeSynonymInstances is implied by FlexibleInstances
|