Skip to content

Commit

Permalink
[#148] Migrate custom HLint rules to a newer dhall spec (latest versi…
Browse files Browse the repository at this point in the history
…on: 10.0.0)

Resolves #148
  • Loading branch information
vrom911 committed Oct 2, 2019
1 parent d1be9f1 commit 1119a6c
Show file tree
Hide file tree
Showing 2 changed files with 16 additions and 16 deletions.
18 changes: 9 additions & 9 deletions hlint/hlint.dhall
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
let warn = ./warn.dhall
in let warnReexport = warn.warnReexport
in let warnReexportOp = warn.warnReexportOp
in let warnLifted = warn.warnLifted
in let warnSimple = warn.warnSimple
in let warnNote = warn.warnNote
in let hintNote = warn.hintNote
in let hintNoteOp = warn.hintNoteOp
in let Rule = ./Rule.dhall
let warn = ./warn.dhall
let warnReexport = warn.warnReexport
let warnReexportOp = warn.warnReexportOp
let warnLifted = warn.warnLifted
let warnSimple = warn.warnSimple
let warnNote = warn.warnNote
let hintNote = warn.hintNote
let hintNoteOp = warn.hintNoteOp
let Rule = ./Rule.dhall
in [ Rule.Arguments { arguments =
[ "-XConstraintKinds"
, "-XDeriveGeneric"
Expand Down
14 changes: 7 additions & 7 deletions hlint/warn.dhall
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
let Rule = ./Rule.dhall
in let warnSimple
let warnSimple
: Text -> Text -> Rule
= \(lhsTxt : Text) -> \(rhsTxt : Text) ->
Rule.Warn
Expand All @@ -11,7 +11,7 @@ in let warnSimple
}
}

in let warnNote
let warnNote
: Text -> Text -> Text -> Rule
= \(lhsTxt : Text) -> \(rhsTxt : Text) -> \(n : Text) ->
Rule.Warn {warn =
Expand All @@ -22,7 +22,7 @@ in let warnNote
}
}

in let warnReexport
let warnReexport
: Text -> Text -> Rule
= \(f : Text) -> \(mod : Text) ->
Rule.Warn
Expand All @@ -34,7 +34,7 @@ in let warnReexport
}
}

in let warnReexportOp : Text -> Text -> Rule
let warnReexportOp : Text -> Text -> Rule
= \(f : Text) -> \(mod : Text) ->
Rule.Warn
{ warn =
Expand All @@ -45,7 +45,7 @@ in let warnReexportOp : Text -> Text -> Rule
}
}

in let warnLifted
let warnLifted
: Text -> Text -> Rule
= \(f : Text) -> \(args : Text) ->
Rule.Warn
Expand All @@ -57,7 +57,7 @@ in let warnLifted
}
}

in let hintNote
let hintNote
: Text -> Text -> Text -> Rule
= \(lhsTxt : Text) -> \(rhsTxt : Text) -> \(n : Text) ->
Rule.Hint
Expand All @@ -68,7 +68,7 @@ in let hintNote
}
}

in let hintNoteOp
let hintNoteOp
: Text -> Text -> Text -> Rule
= \(lhsTxt : Text) -> \(rhsTxt : Text) -> \(n : Text) ->
hintNote "(${lhsTxt})" rhsTxt n
Expand Down

0 comments on commit 1119a6c

Please sign in to comment.