diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-09-19 11:22:21 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-09-19 11:22:21 +1000 |
| commit | ef1b927861f9a949aed20341144ffb5bfd42f038 (patch) | |
| tree | 48bd4688928546bedc6504aad76bf6e0327fcef9 /javascript/app/templates/components/identifier-info.hbs | |
| parent | 117850d8f659517cb818a857dc04c8f5157795c4 (diff) | |
Removing the web client
Diffstat (limited to 'javascript/app/templates/components/identifier-info.hbs')
| -rw-r--r-- | javascript/app/templates/components/identifier-info.hbs | 39 |
1 files changed, 0 insertions, 39 deletions
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)}} - <div class="identifier-info"> - {{#if identifierInfo}} - {{#if isNaughtyRecSel}} - <i>This record selector can never be called because its type mentions a type variable that isn't in the result type of the constructor</i> - {{else}} - {{type-signature - type=identifierInfo.idType - identifiers=identifiers - currentLineNumber=currentLineNumber}} - {{/if}} - {{/if}} - {{#if (and identifierInfo identifierOccurrence identifierOccurrence.idOccType)}} - <div style="height:10px"></div> - {{/if}} - {{#if (and identifierOccurrence identifierOccurrence.idOccType)}} - {{type-signature - type=identifierOccurrence.idOccType - identifiers=identifiers - currentLineNumber=currentLineNumber}} - {{/if}} - <div class="documentation"> - {{{identifierInfo.doc}}} - {{{downloadedDocumentation}}} - </div> - {{#if identifierOccurrence.instanceResolution}} - <div style="height:10px"></div> - {{/if}} - <div> - {{#if identifierOccurrence.instanceResolution}} - {{instance-info - instance=identifierOccurrence.instanceResolution - identifiers=identifiers - nestedLevel=0 - currentLineNumber=currentLineNumber}} - {{/if}} - </div> - </div> -{{/if}} |