Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Jun 24 17:10

    magnus-madsen on master

    doc: clarify `X.sameElements` t… (compare)

  • Jun 24 16:56

    magnus-madsen on master

    test: add `Test.Exp.New` (#3838) (compare)

  • Jun 24 16:42

    magnus-madsen on master

    refactor: structure the `HoleEr… (compare)

  • Jun 24 15:09

    magnus-madsen on master

    feat: add `{Chain, List, MutDeq… (compare)

  • Jun 24 14:52

    magnus-madsen on master

    chore: prettify MutList.flix (#… (compare)

  • Jun 24 08:51

    magnus-madsen on master

    refactor: create a backend obje… (compare)

  • Jun 23 20:01

    magnus-madsen on master

    refactor: mark enums in `Fixpoi… (compare)

  • Jun 23 19:19

    magnus-madsen on master

    refactor: make more method obje… (compare)

  • Jun 23 17:44

    magnus-madsen on master

    refactor: remove redundant let … (compare)

  • Jun 23 17:30

    magnus-madsen on master

    feat: add `RedundancyError.Unde… (compare)

  • Jun 23 17:16

    magnus-madsen on master

    refactor: generalize Array func… (compare)

  • Jun 23 16:23

    magnus-madsen on master

    feat: code generation for `NewO… (compare)

  • Jun 23 10:41

    magnus-madsen on master

    refactor: use regions in `Itera… (compare)

  • Jun 22 21:53

    magnus-madsen on master

    refactor: use regions in `Itera… (compare)

  • Jun 22 21:38

    magnus-madsen on master

    refactor: collect finality/publ… (compare)

  • Jun 22 21:21

    magnus-madsen on master

    refactor: `Int8` functions to s… (compare)

  • Jun 22 12:42

    magnus-madsen on master

    fix: only display code lenses i… (compare)

  • Jun 21 20:17

    magnus-madsen on master

    refactor: make `{Map, MutMap, R… (compare)

  • Jun 21 19:57

    magnus-madsen on master

    refactor: change array to list … (compare)

  • Jun 21 09:02

    magnus-madsen on master

    feat: add `NewObject` expressio… (compare)

Magnus Madsen
@magnus-madsen
This code is okay.
We try to avoid complex hierarchies, so a little bit of duplicated like this is expected.
Keep it simple :)
Paul Butcher
@paulbutcher
OK, I'll not worry about it 👍
Magnus Madsen
@magnus-madsen
The nice thing is that it allows us to change enum or type aliases individually. And they are really separate constructs so that makes sense.
Stephen Tetley
@stephentetley
Are benchmarks being optimized away rather than being run?
I'm seeing results like this:
~~~

------------------------------ Running Benchmarks ------------------------------

Warmup: ..

Benchmark Iterations Time (avg)
RandomAccessList average 1000000 0 us/op
Map average 1000000 0 us/op

Total time elapsed: 0 seconds. Time budget was: 250 seconds.

~~~
Magnus Madsen
@magnus-madsen
Its possible. Can you open a ticket?
The Optimizer started removing pure stuff, so if we are doing pure stuff it might get optimized away.
Stephen Tetley
@stephentetley
Thanks Magnus, I'll open a ticket.
Paul Butcher
@paulbutcher

Since pulling the latest changes to master, I now get this whenever I compile with Gradle:

> Task :compileScala
[Error] : Error while emitting ca/uwaterloo/flix/language/phase/Weeder$
Java heap space
one error found

It's not clear to me how to increase heap space for Gradle. Any pointers?

While I'm asking questions about the build system: how does one build a Jar with IntelliJ?
Paul Butcher
@paulbutcher
Ah - found it: flix/flix#3993
Magnus Madsen
@magnus-madsen
Paul Butcher
@paulbutcher
Right, I found that, but that tells me how to run the project within IntelliJ, not how to build a Jar?
The only way I've found to build a Jar so far is with gradle
Magnus Madsen
@magnus-madsen
Ah- That I don't know.
Paul Butcher
@paulbutcher
NP, Gradle works now that I've worked out how to give it more memory 👍
Magnus Madsen
@magnus-madsen
Great :thumbsup:
Paul Butcher
@paulbutcher
Is there any reason why Flix requires a full JDK (and not a JRE)?
Magnus Madsen
@magnus-madsen
Not sure. Does it?
Paul Butcher
@paulbutcher

It seems that way, yes. I've just installed Flix on a new machine (while investigating the issue that @stephentetley reported about flix.jar not being downloaded on Windows). If I have a JRE (but no JDK) installed, I get the message:

Flix requires Java 11 or later. Found "1.8.0_282"

Install a full JDK and it works fine.

Magnus Madsen
@magnus-madsen
What does java -version print?
Because we need at least Java 11.
Paul Butcher
@paulbutcher
paul@PAULS-SURFACE:~/flix-playground$ java -version
openjdk version "1.8.0_282"
OpenJDK Runtime Environment (build 1.8.0_282-8u282-b08-0ubuntu1~18.04-b08)
OpenJDK 64-Bit Server VM (build 25.282-b08, mixed mode)
Magnus Madsen
@magnus-madsen
Thus your JRE is version 8 which is too old for Flix
I believe we depend on a lot of features from Java 11.
Both from the class library and from the bytecode.
I would hope with a JRE 11 it should work
Without requiring the full compiler (JDK)
Paul Butcher
@paulbutcher
OK, give me a moment, because I got the same error on the Windows machine I was doing the investigation on (the above is from the WSL on that machine). But I got it after installing whatever the default JRE offered by java.com was.
I naively assumed that the default would be recent. Am I being too naive?
Magnus Madsen
@magnus-madsen
OK. Might be a path issue.
No idea. I try to use adopt open JDK or whatever its called
Paul Butcher
@paulbutcher
I don't think so, because no java of any variety was installed before
Magnus Madsen
@magnus-madsen
Java 8 is from 2014 (but of course it receives security updates)
Is open source and free from Oracle interference.
Paul Butcher
@paulbutcher
Yeesh. The default JRE available from Java.com is 1.8 🤯
So yes, I was being naive
Magnus Madsen
@magnus-madsen
That's crazy. Why would they do that? The current version is 17!
Paul Butcher
@paulbutcher
Quite
OK, I at least understand what's going on now.
(I spend almost all my time in OSX and only fire up my Windows machine on the rare occasions I need to check something Windows specific - so I just did the "most obvious thing" to install Java on it - it seems that "most obvious" is not necessarily "most sensible")
Magnus Madsen
@magnus-madsen
Windows and Oracle, what could go wrong :D