diff --git a/ivette/.gitignore b/ivette/.gitignore index 6cdb63fc2a1604ecfbbec90bf1de3799108da7d0..e776663c6d3cf6a1573ce6fd0d6ad83e4cfa63e0 100644 --- a/ivette/.gitignore +++ b/ivette/.gitignore @@ -5,6 +5,7 @@ .ivette .dome-*.stamp .dome-*.back +.eslint-cache node_modules yarn-error.log /bin diff --git a/ivette/api/plugins/eva/index.ts b/ivette/api/plugins/eva/index.ts index 4b46b34354923641cd17852220a4a7ff037b790f..eff005e5d8e2a1e1e73c6c460d4558e01b3913ff 100644 --- a/ivette/api/plugins/eva/index.ts +++ b/ivette/api/plugins/eva/index.ts @@ -23,13 +23,12 @@ const getCallers_internal: Server.GetRequest< kind: Server.RqKind.GET, name: 'plugins.eva.getCallers', input: Json.jKey<'#fct'>('#fct'), - output: Json.jList(Json.jTry( - Json.jPair( - Json.jFail(Json.jKey<'#fct'>('#fct'), - '#fct expected'), - Json.jFail(Json.jKey<'#stmt'>('#stmt'), - '#stmt expected'), - ))), + output: Json.jList( + Json.jTry( + Json.jPair( + Json.jFail(Json.jKey<'#fct'>('#fct'),'#fct expected'), + Json.jFail(Json.jKey<'#stmt'>('#stmt'),'#stmt expected'), + ))), }; /** Get the list of call site of a function */ export const getCallers: Server.GetRequest< diff --git a/ivette/src/dome/src/renderer/data/json.ts b/ivette/src/dome/src/renderer/data/json.ts index 8204ca8cafb1cea04f6c78019ded6797692d8062..1373236a4b9900915c5e9033169cfd94e968fec7 100644 --- a/ivette/src/dome/src/renderer/data/json.ts +++ b/ivette/src/dome/src/renderer/data/json.ts @@ -124,7 +124,7 @@ export const jString: Loose<string> = (js: json) => ( might be more efficient. */ export function jTag<A>(tg: A): Loose<A> { - return (js: json) => Object.is(js, tg) ? tg : undefined; + return (js: json) => (Object.is(js, tg) ? tg : undefined); } /** diff --git a/ivette/src/dome/src/renderer/table/arrays.ts b/ivette/src/dome/src/renderer/table/arrays.ts index 047546e7269b55cf57f3aaacf6f490fe26f2c1f0..d7dfddcc938bea4ee826b225051acdefba4a3fc9 100644 --- a/ivette/src/dome/src/renderer/table/arrays.ts +++ b/ivette/src/dome/src/renderer/table/arrays.ts @@ -462,7 +462,6 @@ export class CompactModel<Key, Row> extends ArrayModel<Key, Row> { this.reload(); } - } // --------------------------------------------------------------------------