Remove unnecessary pluginId setting

jhrcek · jhrcek · commit 091cf2ccb4a4 · 2020-12-13T05:34:48.000+01:00
diff --git a/plugins/default/src/Ide/Plugin/Eval.hs b/plugins/default/src/Ide/Plugin/Eval.hs
@@ -85,8 +85,7 @@ import           Type.Reflection            (Typeable)
 descriptor :: PluginId -> PluginDescriptor
 descriptor plId =
   (defaultPluginDescriptor plId)
-    { pluginId = plId,
-      pluginCodeLensProvider = Just provider,
+    { pluginCodeLensProvider = Just provider,
       pluginCommands = [evalCommand]
     }
 
diff --git a/plugins/default/src/Ide/Plugin/ModuleName.hs b/plugins/default/src/Ide/Plugin/ModuleName.hs
@@ -95,8 +95,7 @@ import System.FilePath (
 descriptor :: PluginId -> PluginDescriptor
 descriptor plId =
     (defaultPluginDescriptor plId)
-        { pluginId = plId
-        , pluginCodeLensProvider = Just codeLens
+        { pluginCodeLensProvider = Just codeLens
         , pluginCommands = [PluginCommand editCommandName editCommandName command]
         }
 

Original file line number	Diff line number	Diff line change
`@@ -85,8 +85,7 @@ import Type.Reflection (Typeable)`
`85`	`85`	`descriptor :: PluginId -> PluginDescriptor`
`86`	`86`	`descriptor plId =`
`87`	`87`	`(defaultPluginDescriptor plId)`
`88`		`- { pluginId = plId,`
`89`		`- pluginCodeLensProvider = Just provider,`
	`88`	`+ { pluginCodeLensProvider = Just provider,`
`90`	`89`	`pluginCommands = [evalCommand]`
`91`	`90`	`}`
`92`	`91`
Original file line number	Diff line number	Diff line change
`@@ -95,8 +95,7 @@ import System.FilePath (`
`95`	`95`	`descriptor :: PluginId -> PluginDescriptor`
`96`	`96`	`descriptor plId =`
`97`	`97`	`(defaultPluginDescriptor plId)`
`98`		`- { pluginId = plId`
`99`		`- , pluginCodeLensProvider = Just codeLens`
	`98`	`+ { pluginCodeLensProvider = Just codeLens`
`100`	`99`	`, pluginCommands = [PluginCommand editCommandName editCommandName command]`
`101`	`100`	`}`
`102`	`101`