anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-25 16:45:20 +03:00
Code Issues Projects Releases Wiki Activity

Update pre-commit to check JSON formatting (#2400)

Browse Source
This commit is contained in:
Jonathan Cubides 2023-09-28 14:55:35 +02:00 committed by GitHub
parent 2b566e0870
commit f9e27b52f7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
56 changed files with 164 additions and 164 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.devcontainer/devcontainer.json
View File

@ -7,9 +7,7 @@
"VARIANT": "ubuntu-22.04"
}
},
"runArgs": [
"--privileged"
],
"runArgs": ["--privileged"],
"hostRequirements": {
"cpus": 4,
"memory": "8gb",
@ -61,11 +59,7 @@
"internalBuildDir": "/home/vscode/.local/juvix"
},
"juvix-mode.bin.path": "/home/vscode/.local/bin/juvix",
"juvix-mode.input.languages": [
"Juvix",
"JuvixCore",
"Haskell"
],
"juvix-mode.input.languages": ["Juvix", "JuvixCore", "Haskell"],
"juvix-mode.reloadReplOnSave": true
},
"extensions": [

12
.pre-commit-config.yaml
View File

@ -28,14 +28,20 @@ repos:
exclude: assets/
- repo: https://github.com/pre-commit/mirrors-prettier
rev: v3.0.0-alpha.6
rev: v3.0.3
hooks:
- id: prettier
types_or: [css, javascript, markdown, yaml, toml]
types_or: [css, javascript, markdown, yaml]
exclude: examples/|tests/|assets/
- repo: https://github.com/pre-commit/mirrors-prettier
rev: v3.0.3
hooks:
- id: prettier
types_or: [json]
- repo: https://github.com/pre-commit/mirrors-clang-format
rev: v15.0.7
rev: v16.0.6
hooks:
- id: clang-format
files: runtime/.+\.(c|h)$

4
tests/VampIR/positive/Compilation/data/test001.json
View File

@ -1,4 +1,4 @@
{
"x": "1",
"out": "0"
"x": "1",
"out": "0"
}

6
tests/VampIR/positive/Compilation/data/test002.json
View File

@ -1,5 +1,5 @@
{
"a": "0",
"b": "1",
"out": "1"
"a": "0",
"b": "1",
"out": "1"
}

6
tests/VampIR/positive/Compilation/data/test003.json
View File

@ -1,5 +1,5 @@
{
"x": "0",
"y": "1",
"out": "1"
"x": "0",
"y": "1",
"out": "1"
}

10
tests/VampIR/positive/Compilation/data/test004.json
View File

@ -1,7 +1,7 @@
{
"x": "5",
"y": "17",
"z": "0",
"u": "2",
"out": "32"
"x": "5",
"y": "17",
"z": "0",
"u": "2",
"out": "32"
}

6
tests/VampIR/positive/Compilation/data/test005.json
View File

@ -1,5 +1,5 @@
{
"x": "3",
"y": "5",
"out": "8"
"x": "3",
"y": "5",
"out": "8"
}

6
tests/VampIR/positive/Compilation/data/test006.json
View File

@ -1,5 +1,5 @@
{
"x": "1",
"y": "0",
"out": "1"
"x": "1",
"y": "0",
"out": "1"
}

6
tests/VampIR/positive/Compilation/data/test007.json
View File

@ -1,5 +1,5 @@
{
"a": "1",
"b": "2",
"out": "32"
"a": "1",
"b": "2",
"out": "32"
}

6
tests/VampIR/positive/Compilation/data/test008.json
View File

@ -1,5 +1,5 @@
{
"x": "5",
"y": "10",
"out": "8"
"x": "5",
"y": "10",
"out": "8"
}

8
tests/VampIR/positive/Compilation/data/test009.json
View File

@ -1,6 +1,6 @@
{
"a": "7",
"b": "2",
"c": "0",
"out": "9"
"a": "7",
"b": "2",
"c": "0",
"out": "9"
}

4
tests/VampIR/positive/Compilation/data/test010.json
View File

@ -1,4 +1,4 @@
{
"val": "1367",
"out": "3"
"val": "1367",
"out": "3"
}

4
tests/VampIR/positive/Compilation/data/test011.json
View File

@ -1,4 +1,4 @@
{
"in": "10",
"out": "55"
"in": "10",
"out": "55"
}

4
tests/VampIR/positive/Compilation/data/test012.json
View File

@ -1,4 +1,4 @@
{
"in": "10",
"out": "55"
"in": "10",
"out": "55"
}

4
tests/VampIR/positive/Compilation/data/test013.json
View File

@ -1,4 +1,4 @@
{
"in": "10",
"out": "55"
"in": "10",
"out": "55"
}

4
tests/VampIR/positive/Compilation/data/test014.json
View File

@ -1,4 +1,4 @@
{
"in": "10",
"out": "55"
"in": "10",
"out": "55"
}

4
tests/VampIR/positive/Compilation/data/test015.json
View File

@ -1,4 +1,4 @@
{
"in": "10",
"out": "55"
"in": "10",
"out": "55"
}

6
tests/VampIR/positive/Compilation/data/test016.json
View File

@ -1,5 +1,5 @@
{
"in1": "2",
"in2": "4",
"out": "11"
"in1": "2",
"in2": "4",
"out": "11"
}

4
tests/VampIR/positive/Compilation/data/test017.json
View File

@ -1,4 +1,4 @@
{
"x": "5",
"out": "901"
"x": "5",
"out": "901"
}

4
tests/VampIR/positive/Compilation/data/test018.json
View File

@ -1,4 +1,4 @@
{
"in": "1367",
"out": "3"
"in": "1367",
"out": "3"
}

6
tests/VampIR/positive/Compilation/data/test019.json
View File

@ -1,5 +1,5 @@
{
"x": "0",
"y": "1",
"out": "1"
"x": "0",
"y": "1",
"out": "1"
}

4
tests/VampIR/positive/Compilation/data/test020.json
View File

@ -1,4 +1,4 @@
{
"n": "9",
"b": "0"
"n": "9",
"b": "0"
}

6
tests/VampIR/positive/Compilation/data/test021.json
View File

@ -1,5 +1,5 @@
{
"in1": "5",
"in2": "3",
"out": "125"
"in1": "5",
"in2": "3",
"out": "125"
}

6
tests/VampIR/positive/Compilation/data/test022.json
View File

@ -1,5 +1,5 @@
{
"in1": "5",
"in2": "9",
"out": "1953125"
"in1": "5",
"in2": "9",
"out": "1953125"
}

6
tests/VampIR/positive/Compilation/data/test023.json
View File

@ -1,5 +1,5 @@
{
"x": "1",
"y": "2",
"out": "4"
"x": "1",
"y": "2",
"out": "4"
}

4
tests/VampIR/positive/Core/data/test001.json
View File

@ -1,4 +1,4 @@
{
"in": "0",
"out": "1"
"in": "0",
"out": "1"
}

6
tests/VampIR/positive/Core/data/test002.json
View File

@ -1,5 +1,5 @@
{
"in1": "0",
"in2": "1",
"out": "1"
"in1": "0",
"in2": "1",
"out": "1"
}

6
tests/VampIR/positive/Core/data/test003.json
View File

@ -1,5 +1,5 @@
{
"in1": "0",
"in2": "1",
"out": "1"
"in1": "0",
"in2": "1",
"out": "1"
}

6
tests/VampIR/positive/Core/data/test004.json
View File

@ -1,5 +1,5 @@
{
"in1": "0",
"in2": "1",
"out": "1"
"in1": "0",
"in2": "1",
"out": "1"
}

8
tests/VampIR/positive/Core/data/test005.json
View File

@ -1,6 +1,6 @@
{
"in1": "5",
"in2": "2",
"in3": "3",
"out": "11"
"in1": "5",
"in2": "2",
"in3": "3",
"out": "11"
}

10
tests/VampIR/positive/Core/data/test006.json
View File

@ -1,7 +1,7 @@
{
"in1": "5",
"in2": "17",
"in3": "0",
"in4": "2",
"out": "32"
"in1": "5",
"in2": "17",
"in3": "0",
"in4": "2",
"out": "32"
}

6
tests/VampIR/positive/Core/data/test007.json
View File

@ -1,5 +1,5 @@
{
"in1": "3",
"in2": "5",
"out": "8"
"in1": "3",
"in2": "5",
"out": "8"
}

6
tests/VampIR/positive/Core/data/test008.json
View File

@ -1,5 +1,5 @@
{
"in1": "1",
"in2": "0",
"out": "1"
"in1": "1",
"in2": "0",
"out": "1"
}

8
tests/VampIR/positive/Core/data/test009.json
View File

@ -1,6 +1,6 @@
{
"in1": "3",
"in2": "0",
"in3": "1",
"out": "1"
"in1": "3",
"in2": "0",
"in3": "1",
"out": "1"
}

6
tests/VampIR/positive/Core/data/test010.json
View File

@ -1,5 +1,5 @@
{
"in1": "1",
"in2": "2",
"out": "40"
"in1": "1",
"in2": "2",
"out": "40"
}

8
tests/VampIR/positive/Core/data/test011.json
View File

@ -1,6 +1,6 @@
{
"in1": "5",
"in2": "6",
"in3": "10",
"out": "8"
"in1": "5",
"in2": "6",
"in3": "10",
"out": "8"
}

6
tests/VampIR/positive/Core/data/test012.json
View File

@ -1,5 +1,5 @@
{
"in1": "7",
"in2": "3",
"out": "5"
"in1": "7",
"in2": "3",
"out": "5"
}

4
tests/VampIR/positive/Core/data/test013.json
View File

@ -1,4 +1,4 @@
{
"in": "1367",
"out": "3"
"in": "1367",
"out": "3"
}

4
tests/VampIR/positive/Core/data/test014.json
View File

@ -1,4 +1,4 @@
{
"in": "100",
"out": "5050"
"in": "100",
"out": "5050"
}

4
tests/VampIR/positive/Core/data/test015.json
View File

@ -1,4 +1,4 @@
{
"in": "100",
"out": "5050"
"in": "100",
"out": "5050"
}

4
tests/VampIR/positive/Core/data/test016.json
View File

@ -1,4 +1,4 @@
{
"in": "10",
"out": "55"
"in": "10",
"out": "55"
}

4
tests/VampIR/positive/Core/data/test017.json
View File

@ -1,4 +1,4 @@
{
"in": "10",
"out": "55"
"in": "10",
"out": "55"
}

4
tests/VampIR/positive/Core/data/test018.json
View File

@ -1,4 +1,4 @@
{
"in": "100",
"out": "5050"
"in": "100",
"out": "5050"
}

4
tests/VampIR/positive/Core/data/test019.json
View File

@ -1,4 +1,4 @@
{
"in": "2",
"out": "11"
"in": "2",
"out": "11"
}

4
tests/VampIR/positive/Core/data/test020.json
View File

@ -1,4 +1,4 @@
{
"in": "100",
"out": "5050"
"in": "100",
"out": "5050"
}

6
tests/VampIR/positive/Core/data/test021.json
View File

@ -1,5 +1,5 @@
{
"in1": "1",
"in2": "2",
"out": "2"
"in1": "1",
"in2": "2",
"out": "2"
}

6
tests/VampIR/positive/Core/data/test022.json
View File

@ -1,5 +1,5 @@
{
"in1": "5",
"in2": "10",
"out": "901"
"in1": "5",
"in2": "10",
"out": "901"
}

12
tests/VampIR/positive/Core/data/test023.json
View File

@ -1,8 +1,8 @@
{
"in1": "2",
"in2": "3",
"in3": "4",
"in4": "7",
"in5": "13",
"out": "18"
"in1": "2",
"in2": "3",
"in3": "4",
"in4": "7",
"in5": "13",
"out": "18"
}

6
tests/VampIR/positive/Core/data/test024.json
View File

@ -1,5 +1,5 @@
{
"in1": "2",
"in2": "3",
"out": "1"
"in1": "2",
"in2": "3",
"out": "1"
}

4
tests/VampIR/positive/Core/data/test025.json
View File

@ -1,4 +1,4 @@
{
"in": "1367",
"out": "3"
"in": "1367",
"out": "3"
}

10
tests/VampIR/positive/Core/data/test026.json
View File

@ -1,7 +1,7 @@
{
"in1": "3",
"in2": "5",
"in3": "10",
"in4": "100",
"out": "6295"
"in1": "3",
"in2": "5",
"in3": "10",
"in4": "100",
"out": "6295"
}

4
tests/VampIR/positive/Core/data/test027.json
View File

@ -1,4 +1,4 @@
{
"in": "2",
"out": "9"
"in": "2",
"out": "9"
}

6
tests/VampIR/positive/Core/data/test028.json
View File

@ -1,5 +1,5 @@
{
"in1": "3",
"in2": "7",
"out": "100"
"in1": "3",
"in2": "7",
"out": "100"
}

6
tests/VampIR/positive/Core/data/test029.json
View File

@ -1,5 +1,5 @@
{
"in1": "3",
"in2": "7",
"out": "120"
"in1": "3",
"in2": "7",
"out": "120"
}

4
tests/VampIR/positive/translation/data/test001.json
View File

@ -1,4 +1,4 @@
{
"in": "3",
"out": "45"
"in": "3",
"out": "45"
}

6
tests/VampIR/positive/translation/data/test002.json
View File

@ -1,5 +1,5 @@
{
"in1": "3",
"in2": "4",
"out": "7"
"in1": "3",
"in2": "4",
"out": "7"
}