You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Related to issue #1133, the build still does not work properly even with @rollup/plugin-typescript": "^8.3.2", and rollup version 2.74.0 both of which include some fixes for this drive letter issue.
on windows:
make a "c:\Temp" folder and cd into that folder and make sure node.js returns the opposite case:
path=require('path')path.resolve('.')// returns the string "C:\\Temp" (notice the drive letter difference from your terminal window).
[!] Error: Unexpected token (Note that you need plugins to import files that are not JavaScript)
../../../../../D:/git/leanprover/vscode-lean4/lean4-infoview/src/infoview/main.tsx (3:12)
1: import * as React from 'react';
2: import * as ReactDOM from 'react-dom';
3: import type { DidCloseTextDocumentParams, Location, DocumentUri } from 'vscode-languageserver-protocol';
^
4:
5: import 'tachyons/css/tachyons.css';
Error: Unexpected token (Note that you need plugins to import files that are not JavaScript)
at error (d:\git\leanprover\vscode-lean4\lean4-infoview\node_modules\rollup\dist\shared\rollup.js:198:30)
at Module.error (d:\git\leanprover\vscode-lean4\lean4-infoview\node_modules\rollup\dist\shared\rollup.js:12723:16)
at Module.tryParse (d:\git\leanprover\vscode-lean4\lean4-infoview\node_modules\rollup\dist\shared\rollup.js:13100:25)
at Module.setSource (d:\git\leanprover\vscode-lean4\lean4-infoview\node_modules\rollup\dist\shared\rollup.js:13005:24)
at ModuleLoader.addModuleSource (d:\git\leanprover\vscode-lean4\lean4-infoview\node_modules\rollup\dist\shared\rollup.js:22479:20)
Note it works fine if you create a new terminal window and run "pushd D:\temp" with upper case matching what nodejs returns from path.resolve. But the code should not be sensitive to case like this since Windows file system is case insensitive.
Additional Information
The text was updated successfully, but these errors were encountered:
Provide a minimal repository link (Read https://git.io/fNzHA for instructions).
Please use NPM for installing dependencies!
These may take more time to triage than the other options.
⚠️ ZIP Files are unsafe and maintainers will NOT download them.
The reproduction you provided is very far from minimal. If you'd like some guidance on what we consider minimal to be, please read the link provided above. We're very short on maintainer help and with what little time we do have, we cannot dive large repositories for triage. Please ping when you have a reproduction that matches our expectations and we'll be happy to reopen.
Related to issue #1133, the build still does not work properly even with
@rollup/plugin-typescript": "^8.3.2",
and rollup version 2.74.0 both of which include some fixes for this drive letter issue.on windows:
Expected Behavior
Should just work.
Actual Behavior
Note it works fine if you create a new terminal window and run "pushd D:\temp" with upper case matching what nodejs returns from path.resolve. But the code should not be sensitive to case like this since Windows file system is case insensitive.
Additional Information
The text was updated successfully, but these errors were encountered: