diff options
| -rw-r--r-- | compiler/nativeGen/PPC/CodeGen.hs | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/compiler/nativeGen/PPC/CodeGen.hs b/compiler/nativeGen/PPC/CodeGen.hs index bbc34117bb..5586e0e958 100644 --- a/compiler/nativeGen/PPC/CodeGen.hs +++ b/compiler/nativeGen/PPC/CodeGen.hs @@ -1570,13 +1570,12 @@ data GenCCallPlatform = GCPLinux | GCPLinux64ELF !Int | GCPAIX platformToGCP :: Platform -> GenCCallPlatform platformToGCP platform = case platformOS platform of - OSLinux -> case platformArch platform of - ArchPPC -> GCPLinux - ArchPPC_64 ELF_V1 -> GCPLinux64ELF 1 - ArchPPC_64 ELF_V2 -> GCPLinux64ELF 2 - _ -> panic "PPC.CodeGen.platformToGCP: Unknown Linux" OSAIX -> GCPAIX - _ -> panic "PPC.CodeGen.platformToGCP: not defined for this OS" + _ -> case platformArch platform of + ArchPPC -> GCPLinux + ArchPPC_64 ELF_V1 -> GCPLinux64ELF 1 + ArchPPC_64 ELF_V2 -> GCPLinux64ELF 2 + _ -> panic "platformToGCP: Not PowerPC" genCCall' |