johnynek / johnynek/gottlob

Frege embeds a timestamp, killing reproducibility

Open
#2 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Java
Stars
5
Forks
0
PR merge metrics
No merged PRs in 30d

Description

in compiled fr to .java you see an annotation beginning like this:
```
@Meta.FregePackage(
source="test/hello0.fr", time=1504471291378L, jmajor=1, jminor=8,
imps={
```

We need a constant timestamp, or else every time we change any dependency we recompile the whole graph (needlessly it seems).

There should be an option in frege to not do this (and there may be).

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.