Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[#148] Migrate custom HLint rules to a newer dhall spec #199

Merged
merged 1 commit into from
Oct 2, 2019
Merged

[#148] Migrate custom HLint rules to a newer dhall spec #199

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 9 additions & 9 deletions hlint/hlint.dhall
View file
Open in desktop
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
View file
Open in desktop
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