Skip to content

Instantly share code, notes, and snippets.

@zeta-00
Created March 18, 2020 21:14
Show Gist options
  • Save zeta-00/807443d4927a59f9c76a6147333da84e to your computer and use it in GitHub Desktop.
Save zeta-00/807443d4927a59f9c76a6147333da84e to your computer and use it in GitHub Desktop.
[zeta@nixos:/Commands]$ ghcide Rollback.hs
ghcide version: 0.1.0 (GHC: 8.6.5) (PATH: /nix/store/xhg5lzac77x3y6ww54qjrvi3ygyjxzq9-ghcide-0.1.0-exe-ghcide/bin/ghcide)
Ghcide setup tester in /home/zeta/darcs/screened/src/Darcs/UI/Commands.
Report bugs at https://github.com/digital-asset/ghcide/issues
Step 1/6: Finding files to test in /home/zeta/darcs/screened/src/Darcs/UI/Commands
Found 1 files
Step 2/6: Looking for hie.yaml files that control setup
Found 1 cradle
Step 3/6, Cradle 1/1: Implicit cradle for /home/zeta/darcs/screened/src/Darcs/UI/Commands
Cradle {cradleRootDir = "/home/zeta/darcs/screened/src/Darcs/UI/Commands", cradleOptsProg = CradleAction: Default}
Step 4/6, Cradle 1/1: Loading GHC Session
Step 5/6: Initializing the IDE
Step 6/6: Type checking the files
File: /home/zeta/darcs/screened/src/Darcs/Util/Tree.hs
Hidden: no
Range: 330:21-330:22
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Util/Tree.hs:330:22: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall <tvs>. <type>
File: /home/zeta/darcs/screened/src/Darcs/Patch/Apply.hs
Hidden: no
Range: 90:32-90:33
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Apply.hs:90:33: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall <tvs>. <type>
File: /home/zeta/darcs/screened/src/Darcs/Patch/Match.hs
Hidden: no
Range: 157:34-157:35
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Match.hs:157:35: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall <tvs>. <type>
File: /home/zeta/darcs/screened/src/Darcs/Patch/PatchInfoAnd.hs
Hidden: no
Range: 134:31-134:32
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/PatchInfoAnd.hs:134:32: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall <tvs>. <type>
File: /home/zeta/darcs/screened/src/Darcs/Patch/Named.hs
Hidden: no
Range: 143:27-143:28
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Named.hs:143:28: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall <tvs>. <type>
File: /home/zeta/darcs/screened/src/Darcs/Patch/Split.hs
Hidden: no
Range: 74:35-74:36
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Split.hs:74:36: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall <tvs>. <type>
File: /home/zeta/darcs/screened/src/Darcs/Patch/Witnesses/Ordered.hs
Hidden: no
Range: 117:24-117:30
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Witnesses/Ordered.hs:117:25: error:
Not a data constructor: ‘forall’
Perhaps you intended to use ExistentialQuantification
File: /home/zeta/darcs/screened/src/Darcs/Patch/Witnesses/Sealed.hs
Hidden: no
Range: 81:21-81:22
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Witnesses/Sealed.hs:81:22: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall <tvs>. <type>
^C
[zeta@nixos:/Commands]$ ^C
[zeta@nixos:/Commands]$
@zeta-00
Copy link
Author

zeta-00 commented Mar 18, 2020

mands", cradleOptsProg = CradleAction: Default}

Step 4/6, Cradle 1/1: Loading GHC Session

Step 5/6: Initializing the IDE

Step 6/6: Type checking the files
File: /home/zeta/darcs/screened/src/Darcs/Util/Tree.hs
Hidden: no
Range: 330:21-330:22
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Util/Tree.hs:330:22: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Apply.hs
Hidden: no
Range: 90:32-90:33
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Apply.hs:90:33: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Match.hs
Hidden: no
Range: 157:34-157:35
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Match.hs:157:35: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/PatchInfoAnd.hs
Hidden: no
Range: 134:31-134:32
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/PatchInfoAnd.hs:134:32: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Named.hs
Hidden: no
Range: 143:27-143:28
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Named.hs:143:28: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Split.hs
Hidden: no
Range: 74:35-74:36
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Split.hs:74:36: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Witnesses/Ordered.hs
Hidden: no
Range: 117:24-117:30
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Witnesses/Ordered.hs:117:25: error:
Not a data constructor: ‘forall’
Perhaps you intended to use ExistentialQuantification
File: /home/zeta/darcs/screened/src/Darcs/Patch/Witnesses/Sealed.hs
Hidden: no
Range: 81:21-81:22
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Witnesses/Sealed.hs:81:22: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/UI/Completion.hs
Hidden: no
Range: 11:7-11:24
Source: not found
Severity: DsError
Message:
Could not find module ‘Data.List.Ordered’
It is not a module in the current program, or in any known package.
File: /home/zeta/darcs/screened/src/Darcs/UI/Flags.hs
Hidden: no
Range: 112:7-112:24
Source: not found
Severity: DsError
Message:
Could not find module ‘Data.List.Ordered’
It is not a module in the current program, or in any known package.
File: /home/zeta/darcs/screened/src/Darcs/UI/Options/All.hs
Hidden: no
Range: 293:30-293:31
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/UI/Options/All.hs:293:31: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/UI/SelectChanges.hs
Hidden: no
Range: 184:31-184:32
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/UI/SelectChanges.hs:184:32: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Conflict.hs
Hidden: no
Range: 61:21-61:22
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Conflict.hs:61:22: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Read.hs
Hidden: no
Range: 104:27-104:28
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Read.hs:104:28: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Summary.hs
Hidden: no
Range: 100:23-100:24
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Summary.hs:100:24: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/TokenReplace.hs
Hidden: no
Range: 46:12-46:22
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/TokenReplace.hs:46:13: error:
Parse error in pattern: from
File: /home/zeta/darcs/screened/src/Darcs/Patch/Info.hs
Hidden: no
Range: 52:7-52:20
Source: not found
Severity: DsError
Message:
Ambiguous module name ‘Crypto.Random’:
it was found in multiple packages:
crypto-api-0.13.3 crypto-random-0.0.9 cryptonite-0.25
File: /home/zeta/darcs/screened/src/Darcs/Repository/State.hs
Hidden: no
Range: 130:65-130:66
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Repository/State.hs:130:66: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Repository/Prefs.hs
Hidden: no
Range: 499:31-499:35
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Repository/Prefs.hs:499:32: error:
Illegal lambda-case (use -XLambdaCase)
File: /home/zeta/darcs/screened/src/Darcs/Repository/Hashed.hs
Hidden: no
Range: 359:33-359:34
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Repository/Hashed.hs:359:34: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Repository/Pending.hs
Hidden: no
Range: 127:35-127:36
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Repository/Pending.hs:127:36: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Repository/Job.hs
Hidden: no
Range: 125:33-125:34
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Repository/Job.hs:125:34: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Repository/Rebase.hs
Hidden: no
Range: 80:4-80:5
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Repository/Rebase.hs:80:5: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Repository/Cache.hs
Hidden: no
Range: 221:42-221:46
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Repository/Cache.hs:221:43: error:
Illegal lambda-case (use -XLambdaCase)
File: /home/zeta/darcs/screened/src/Darcs/Repository/Clone.hs
Hidden: no
Range: 277:47-277:48
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Repository/Clone.hs:277:48: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Util/ByteString.hs
Hidden: no
Range: 197:36-197:37
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Util/ByteString.hs:197:37: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Depends.hs
Hidden: no
Range: 103:40-103:41
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Depends.hs:103:41: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Util/Tree/Monad.hs
Hidden: no
Range: 165:21-165:22
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Util/Tree/Monad.hs:165:22: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/UI/Options/Core.hs
Hidden: no
Range: 297:23-297:24
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/UI/Options/Core.hs:297:24: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/UI/Options/Util.hs
Hidden: no
Range: 73:33-73:34
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/UI/Options/Util.hs:73:34: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/CommuteFn.hs
Hidden: no
Range: 38:36-38:37
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/CommuteFn.hs:38:37: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Ident.hs
Hidden: no
Range: 188:33-188:34
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Ident.hs:188:34: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Util/Hash.hs
Hidden: no
Range: 21:17-21:36
Source: not found
Severity: DsError
Message:
Could not find module ‘Codec.Binary.Base16’
It is not a module in the current program, or in any known package.
File: /home/zeta/darcs/screened/src/Darcs/Util/Hash.hs
Hidden: no
Range: 23:17-23:28
Source: not found
Severity: DsError
Message:
Ambiguous module name ‘Crypto.Hash’:
it was found in multiple packages: cryptonite-0.25 hashing-0.1.0.1
File: /home/zeta/darcs/screened/src/Darcs/Util/Diff/Patience.hs
Hidden: no
Range: 163:20-163:25
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Util/Diff/Patience.hs:163:21: error:
Parse error in pattern: ys
File: /home/zeta/darcs/screened/src/Darcs/Repository/Old.hs
Hidden: no
Range: 73:32-73:33
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Repository/Old.hs:73:33: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Util/Tree/Hashed.hs
Hidden: no
Range: 246:31-246:33
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Util/Tree/Hashed.hs:246:32: error:
Illegal bang-pattern (use BangPatterns):
! h
File: /home/zeta/darcs/screened/src/Darcs/Repository/Resolution.hs
Hidden: no
Range: 156:42-156:43
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Repository/Resolution.hs:156:43: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Viewing.hs
Hidden: no
Range: 46:38-46:39
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Viewing.hs:46:39: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Util/HTTP.hs
Hidden: no
Range: 102:41-102:45
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Util/HTTP.hs:102:42: error:
Illegal lambda-case (use -XLambdaCase)
File: /home/zeta/darcs/screened/src/Darcs/Patch/V1/Commute.hs
Hidden: no
Range: 152:37-152:38
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/V1/Commute.hs:152:38: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/V2/RepoPatch.hs
Hidden: no
Range: 196:30-196:31
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/V2/RepoPatch.hs:196:31: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Prim/Named.hs
Hidden: no
Range: 23:7-23:20
Source: not found
Severity: DsError
Message:
Ambiguous module name ‘Crypto.Random’:
it was found in multiple packages:
crypto-api-0.13.3 crypto-random-0.0.9 cryptonite-0.25
File: /home/zeta/darcs/screened/src/Darcs/Patch/V3/Core.hs
Hidden: no
Range: 25:7-25:24
Source: not found
Severity: DsError
Message:
Could not find module ‘Data.List.Ordered’
It is not a module in the current program, or in any known package.
File: /home/zeta/darcs/screened/src/Darcs/Patch/V3/Resolution.hs
Hidden: no
Range: 156:3-156:4
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/V3/Resolution.hs:156:4: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Prim/V1.hs
Hidden: no
Range: 49:34-49:35
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Prim/V1.hs:49:35: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
File: /home/zeta/darcs/screened/src/Darcs/Patch/Permutations.hs
Hidden: no
Range: 52:29-52:30
Source: parser
Severity: DsError
Message:
/home/zeta/darcs/screened/src/Darcs/Patch/Permutations.hs:52:30: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall .
Files that failed:

  • /home/zeta/darcs/screened/src/Darcs/UI/Commands/Rollback.hs

Completed (0 files worked, 1 file failed)

[zeta@nixos:/Commands]$

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment