module GHC.Platform.Host where import GHC.Platform cHostPlatformArch :: Arch cHostPlatformArch :: Arch cHostPlatformArch = ArchARM :: ArmISA -> [ArmISAExt] -> ArmABI -> Arch ArchARM {armISA :: ArmISA armISA = ArmISA ARMv7, armISAExt :: [ArmISAExt] armISAExt = [ArmISAExt VFPv3D16], armABI :: ArmABI armABI = ArmABI HARD} cHostPlatformOS :: OS cHostPlatformOS :: OS cHostPlatformOS = OS OSLinux cHostPlatformMini :: PlatformMini cHostPlatformMini :: PlatformMini cHostPlatformMini = PlatformMini :: Arch -> OS -> PlatformMini PlatformMini { platformMini_arch :: Arch platformMini_arch = Arch cHostPlatformArch , platformMini_os :: OS platformMini_os = OS cHostPlatformOS }