From ef1b927861f9a949aed20341144ffb5bfd42f038 Mon Sep 17 00:00:00 2001 From: Yuchen Pei Date: Mon, 19 Sep 2022 11:22:21 +1000 Subject: Removing the web client --- .../app/templates/components/identifier-info.hbs | 39 ---------------------- 1 file changed, 39 deletions(-) delete mode 100644 javascript/app/templates/components/identifier-info.hbs (limited to 'javascript/app/templates/components/identifier-info.hbs') diff --git a/javascript/app/templates/components/identifier-info.hbs b/javascript/app/templates/components/identifier-info.hbs deleted file mode 100644 index 7146a2e..0000000 --- a/javascript/app/templates/components/identifier-info.hbs +++ /dev/null @@ -1,39 +0,0 @@ -{{#if (or identifierInfo identifierOccurrence.idOccType)}} -
- {{#if identifierInfo}} - {{#if isNaughtyRecSel}} - This record selector can never be called because its type mentions a type variable that isn't in the result type of the constructor - {{else}} - {{type-signature - type=identifierInfo.idType - identifiers=identifiers - currentLineNumber=currentLineNumber}} - {{/if}} - {{/if}} - {{#if (and identifierInfo identifierOccurrence identifierOccurrence.idOccType)}} -
- {{/if}} - {{#if (and identifierOccurrence identifierOccurrence.idOccType)}} - {{type-signature - type=identifierOccurrence.idOccType - identifiers=identifiers - currentLineNumber=currentLineNumber}} - {{/if}} -
- {{{identifierInfo.doc}}} - {{{downloadedDocumentation}}} -
- {{#if identifierOccurrence.instanceResolution}} -
- {{/if}} -
- {{#if identifierOccurrence.instanceResolution}} - {{instance-info - instance=identifierOccurrence.instanceResolution - identifiers=identifiers - nestedLevel=0 - currentLineNumber=currentLineNumber}} - {{/if}} -
-
-{{/if}} -- cgit v1.2.3