Skip to content

Instantly share code, notes, and snippets.

@nushio3
Created April 26, 2014 08:26
Show Gist options
  • Save nushio3/11314818 to your computer and use it in GitHub Desktop.
Save nushio3/11314818 to your computer and use it in GitHub Desktop.
An example error message with -dsuppress-module-prefixes
src/Model/Disk.hs:132:16:
Couldn't match type ‘Mass’ with ‘Length’
Expected type: Getting Length s Length
Actual type: (Mass -> Const Length Mass) -> s -> Const Length s
In the first argument of ‘env’, namely ‘centralStarMass’
In the expression: env centralStarMass :: Mass
src/Model/Disk.hs:137:19:
Couldn't match type ‘Time’ with ‘Length’
Expected type: (Velocity -> f Velocity)
-> Environment -> f Environment
Actual type: (Qu
'['F Length ('S 'Zero), 'F Time ('P 'Zero)]
('MkLCSU_
'[(Length, Meter), (Mass, Kilo :@ Gram), (Time, Second),
(Current, Ampere), (Temperature, Kelvin),
(AmountOfSubstance, Mole), (LuminousIntensity, Lumen)])
Double
-> f (Qu
'['F Length ('S 'Zero), 'F Time ('P 'Zero)]
('MkLCSU_
'[(Length, Meter), (Mass, Kilo :@ Gram), (Time, Second),
(Current, Ampere), (Temperature, Kelvin),
(AmountOfSubstance, Mole), (LuminousIntensity, Lumen)])
Double))
-> Environment -> f Environment
In the expression: to go
In an equation for ‘orbitalVelocity’:
orbitalVelocity
= to go
where
go env
= qSqrt $ gravitationalConstant |*| mSun |/| r
where
mSun = env ^. centralStarMass
r = env ^. radius
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment