-
Notifications
You must be signed in to change notification settings - Fork 14
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- asterix structure generalization - json structure follows general structure - ast changes are minimal - json changes are significant, converter script for jsons is provided to support legacy applications - use 'pandoc' for documentation conversion - nixpkgs update
- Loading branch information
Zoran Bošnjak
committed
Jul 9, 2024
1 parent
d3cccd1
commit 6760f64
Showing
128 changed files
with
3,712 additions
and
3,354 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
:set -iother -ilib -iapp | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,69 @@ | ||
# HLint configuration file | ||
# https://github.com/ndmitchell/hlint | ||
########################## | ||
|
||
# This file contains a template configuration file, which is typically | ||
# placed as .hlint.yaml in the root of your project | ||
|
||
|
||
# Specify additional command line arguments | ||
# | ||
# - arguments: [--color, --cpp-simple, -XQuasiQuotes] | ||
|
||
|
||
# Control which extensions/flags/modules/functions can be used | ||
# | ||
# - extensions: | ||
# - default: false # all extension are banned by default | ||
# - name: [PatternGuards, ViewPatterns] # only these listed extensions can be used | ||
# - {name: CPP, within: CrossPlatform} # CPP can only be used in a given module | ||
# | ||
# - flags: | ||
# - {name: -w, within: []} # -w is allowed nowhere | ||
# | ||
# - modules: | ||
# - {name: [Data.Set, Data.HashSet], as: Set} # if you import Data.Set qualified, it must be as 'Set' | ||
# - {name: Control.Arrow, within: []} # Certain modules are banned entirely | ||
# | ||
# - functions: | ||
# - {name: unsafePerformIO, within: []} # unsafePerformIO can only appear in no modules | ||
|
||
|
||
# Add custom hints for this project | ||
# | ||
# Will suggest replacing "wibbleMany [myvar]" with "wibbleOne myvar" | ||
# - error: {lhs: "wibbleMany [x]", rhs: wibbleOne x} | ||
|
||
# The hints are named by the string they display in warning messages. | ||
# For example, if you see a warning starting like | ||
# | ||
# Main.hs:116:51: Warning: Redundant == | ||
# | ||
# You can refer to that hint with `{name: Redundant ==}` (see below). | ||
|
||
# Turn on hints that are off by default | ||
# | ||
# Ban "module X(module X) where", to require a real export list | ||
# - warn: {name: Use explicit module export list} | ||
# | ||
# Replace a $ b $ c with a . b $ c | ||
# - group: {name: dollar, enabled: true} | ||
# | ||
# Generalise map to fmap, ++ to <> | ||
# - group: {name: generalise, enabled: true} | ||
# | ||
# Warn on use of partial functions | ||
# - group: {name: partial, enabled: true} | ||
|
||
|
||
# Ignore some builtin hints | ||
# - ignore: {name: Use let} | ||
# - ignore: {name: Use const, within: SpecialModule} # Only within certain modules | ||
- ignore: {name: Use if} | ||
|
||
# Define some custom infix operators | ||
# - fixity: infixr 3 ~^#^~ | ||
|
||
|
||
# To generate a suitable file for HLint do: | ||
# $ hlint --default > .hlint.yaml |
Oops, something went wrong.