max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(runtime/serializer): style

Browse source
This commit is contained in:
Leonardo de Moura 2018-05-22 17:43:23 -07:00
parent 339764bf6a
commit 7afa418e13
2 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/runtime/serializer.cpp
View file

@ -8,6 +8,7 @@ Author: Leonardo de Moura
#include <string>
#include <limits>
#include <stdio.h>
#include <utility>
#include <ios>
#include "runtime/exception.h"
#include "runtime/serializer.h"
@ -92,7 +93,7 @@ void serializer_core::write_constructor(object * o) {
m_out.put(*sit);
}
void serializer_core::write_closure(object *) {
void serializer_core::write_closure(object *) { // NOLINT
/* TODO(Leo): we need a table from function pointer to unique name id.
For serializing bytecode, we will need to retrieve the unique name id too.
@ -143,7 +144,7 @@ void serializer_core::write_mpz(mpz const & n) {
write_string(out.str());
}
void serializer_core::write_external(object *) {
void serializer_core::write_external(object *) { // NOLINT
/* TODO(Leo): we need support for registering serializers/deserializers
for external objects.
*/

1
src/runtime/serializer.h
View file

@ -9,6 +9,7 @@ Author: Leonardo de Moura
#include <iostream>
#include <string>
#include <sstream>
#include <functional>
#include <unordered_map>
#include <cstring>
#include "runtime/int64.h"