Skip to content
This repository was archived by the owner on Aug 27, 2025. It is now read-only.
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions src/base/FrontEndParser.ml
Original file line number Diff line number Diff line change
Expand Up @@ -147,6 +147,4 @@ module ScillaFrontEndParser (Literal : ScillaLiteral) = struct
let open Result.Let_syntax in
let%bind cmod = parse_string Parser.Incremental.cmodule s in
pure @@ disambiguate_calls cmod

let get_comments () = Lexer.get_comments ()
end
9 changes: 1 addition & 8 deletions src/base/ScillaLexer.mll
Original file line number Diff line number Diff line change
Expand Up @@ -28,12 +28,6 @@ module MkLexer (S : ParserUtil.Syn) = struct
open Parser

exception Error of string

let comments = ref []
let add_comment start_p s =
let loc = ErrorUtils.toLoc start_p in
comments := (loc, s) :: !comments
let get_comments () = List.rev !comments
}

let digit = ['0'-'9']
Expand Down Expand Up @@ -157,8 +151,7 @@ and comment buf braces =
parse
| "(*" { comment buf (lexbuf.lex_curr_p::braces) lexbuf }
| "*)" { match braces with
p::[] -> add_comment p (Buffer.contents buf);
read lexbuf
p::[] -> read lexbuf
| _ -> comment buf (List.tl_exn braces) lexbuf }
| newline { new_line lexbuf;
Buffer.add_char buf '\n';
Expand Down
6 changes: 3 additions & 3 deletions src/runners/dune
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
(executables
(names scilla_runner scilla_checker scilla_server
disambiguate_state_json scilla_fmt scilla_merger scilla_server_http)
disambiguate_state_json scilla_merger scilla_server_http)
(public_names scilla-runner scilla-checker
scilla-server disambiguate_state_json scilla-fmt scilla-merger scilla-server-http)
scilla-server disambiguate_state_json scilla-merger scilla-server-http)
(package scilla)
(modules scilla_runner scilla_checker scilla_server
disambiguate_state_json scilla_fmt scilla_merger scilla_server_http)
disambiguate_state_json scilla_merger scilla_server_http)
(libraries core core_unix.command_unix angstrom yojson cryptokit fileutils
scilla_base scilla_eval scilla_server_lib scilla_crypto scilla_format
scilla_merge cmdliner opium memtrace)
Expand Down
208 changes: 0 additions & 208 deletions src/runners/scilla_fmt.ml

This file was deleted.