@@ -110,6 +110,15 @@ literals = mkPattern' match'
110 , return $ emit op
110 , return $ emit op
111 , return $ emit $ unbox t y
111 , return $ emit $ unbox t y
113+ match (App _ (App _ (Indexer _ (Var _ fn) (Var _ fnMod)) [Indexer _ (Var _ dict) (Var _ dictMod)]) [n])
115+ , dictMod == C.dataRing
117+ , Just t <- unboxType dict
118+ = mconcat <$> sequence
120+ , return $ emit $ unbox t n
113 match (App _ val args) = mconcat <$> sequence
122 match (App _ val args) = mconcat <$> sequence
114 [ prettyPrintCpp' val
123 [ prettyPrintCpp' val
115 , return $ emit "("
124 , return $ emit "("