html-test/src/DuplicateRecordFields.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

{-# LANGUAGE DuplicateRecordFields #-}
module DuplicateRecordFields (RawReplay(..)) where

import Prelude hiding (Int)

data Int = Int

data RawReplay = RawReplay
    { headerSize :: Int
    -- ^ The byte size of the first section.
    , headerCRC :: Int
    -- ^ The CRC of the first section.
    , header :: Int
    -- ^ The first section.
    , contentSize :: Int
    -- ^ The byte size of the second section.
    , contentCRC :: Int
    -- ^ The CRC of the second section.
    , content :: Int
    -- ^ The second section.
    , footer :: Int
    -- ^ Arbitrary data after the second section. In replays generated by
    -- Rocket League, this is always empty. However it is not technically
    -- invalid to put something here.
    }