diff options
Diffstat (limited to 'compiler/basicTypes/IdInfo.hi-boot-5')
| -rw-r--r-- | compiler/basicTypes/IdInfo.hi-boot-5 | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/compiler/basicTypes/IdInfo.hi-boot-5 b/compiler/basicTypes/IdInfo.hi-boot-5 new file mode 100644 index 0000000000..4a326cad6f --- /dev/null +++ b/compiler/basicTypes/IdInfo.hi-boot-5 @@ -0,0 +1,8 @@ +__interface IdInfo 1 0 where +__export IdInfo IdInfo GlobalIdDetails notGlobalId seqIdInfo vanillaIdInfo ; +1 data IdInfo ; +1 data GlobalIdDetails ; +1 notGlobalId :: GlobalIdDetails ; +1 seqIdInfo :: IdInfo -> PrelBase.Z0T ; +1 vanillaIdInfo :: IdInfo ; + |