.aec files - saved compiled contracts which can be reused by the compiler #446

New Issue

2023-04-07T20:48:35+09:00

zxq9 commented

2023-04-07 20:48:35 +09:00

(Migrated from gitlab.com)

Created by: radrow

An .aec file is an interface file with compiled implementations:

namespace Ns =
  function f : int => int
  function f = babf23in2n43ngijwiefjiwjgi34ji

The typechecker trusts the type declaration. Compiler deserializes code, checks if the declared type matches and just pastes assembly.

Of course you are not supposed to distribute aec files, they are for caching and partial compilation (for REPL for example).

*Created by: radrow* An .aec file is an interface file with compiled implementations: ``` namespace Ns = function f : int => int function f = babf23in2n43ngijwiefjiwjgi34ji ``` The typechecker trusts the type declaration. Compiler deserializes code, checks if the declared type matches and just pastes assembly. Of course you are not supposed to distribute aec files, they are for caching and partial compilation (for REPL for example).

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#446

.aec files - saved compiled contracts which can be reused by the compiler #446

`.aec` files - saved compiled contracts which can be reused by the compiler #446