Frege/frege issues and pull requests

#396 - No class def found error

Issue - State: closed - Opened by ravinder387 over 1 year ago - 1 comment

#395 - How to run a Frege class file

Issue - State: closed - Opened by halloleo over 2 years ago - 2 comments

#394 - Make Mode for IDE

Pull Request - State: open - Opened by tricktron over 2 years ago

#393 - Problem with float literals

Issue - State: closed - Opened by psurkov almost 4 years ago

#392 - FregeDoc on directories yields ClassCastException

Issue - State: open - Opened by Dierk over 4 years ago - 4 comments

#391 - add 'eachLine' to BufferedReader

Issue - State: open - Opened by Dierk over 4 years ago - 2 comments
Labels: enhancement, proposal

#390 - Fixed typo

Pull Request - State: open - Opened by schw1804 about 5 years ago

#389 - Defining instance methods (with defaults) of their super class doesn't work

Issue - State: open - Opened by matil019 about 5 years ago - 2 comments
Labels: bug

#388 - Split records of TauT and RhoT

Pull Request - State: open - Opened by matil019 about 5 years ago

#387 - Member functions should be resolved at call sites

Issue - State: open - Opened by matil019 about 5 years ago - 7 comments
Labels: inconvenience, works as designed

#386 - "warning" comments ignored for method-style calls

Issue - State: open - Opened by matil019 about 5 years ago - 1 comment
Labels: inconvenience

#385 - Properties.getProperty should return Maybe

Issue - State: open - Opened by matil019 about 5 years ago - 1 comment
Labels: bug, enhancement, inconvenience

#384 - Split records of SymbolT and DefinitionS

Pull Request - State: open - Opened by matil019 over 5 years ago - 1 comment

#383 - Kind information is lost on incremental compilation

Issue - State: open - Opened by matil019 over 5 years ago
Labels: bug

#382 - Get rid of sum-record types in the compiler

Issue - State: open - Opened by matil019 over 5 years ago - 2 comments

#381 - Some new standard library functions

Pull Request - State: closed - Opened by pkapustin over 5 years ago

#380 - Improvements to Data.NonEmpty

Pull Request - State: closed - Opened by pkapustin over 5 years ago - 1 comment

#379 - Semigroup improvements

Pull Request - State: closed - Opened by pkapustin over 5 years ago

#378 - Behaviour of sconcat seems to be incorrect

Issue - State: closed - Opened by pkapustin over 5 years ago - 1 comment

#377 - Frege Gradle Plugin fails on JDK 12

Issue - State: open - Opened by russel almost 6 years ago - 2 comments
Labels: contributors wanted

#376 - make complier failed on MacOS

Issue - State: closed - Opened by Hzqi almost 6 years ago - 4 comments

#375 - Embedding the Frege compiler

Issue - State: open - Opened by deliciouslytyped almost 6 years ago - 6 comments
Labels: question

#374 - make compiler failed

Issue - State: open - Opened by liumingc almost 6 years ago - 3 comments

#373 - Relax JArray constraints and add more consistent interface

Pull Request - State: closed - Opened by matil019 about 6 years ago

#372 - Modify instance Show HashMap not to depend on ToJSON

Pull Request - State: closed - Opened by matil019 about 6 years ago

#371 - instance Show (HashMap k v) should not depend on ToJSON

Issue - State: closed - Opened by matil019 about 6 years ago

#370 - The first value of iterate is before the function is called

Pull Request - State: closed - Opened by josephcsible about 6 years ago

#369 - Change Input/OutputStream and "finally" to ST

Pull Request - State: closed - Opened by matil019 over 6 years ago - 1 comment

#368 - Change the native type File to pure native

Pull Request - State: closed - Opened by matil019 over 6 years ago - 1 comment

#367 - frege.java.IO.File should be declared pure native

Issue - State: closed - Opened by matil019 over 6 years ago

#366 - JArray.genericFromList should not require ArrayElement constraint

Issue - State: closed - Opened by matil019 over 6 years ago

#365 - Document PreludeArrays module

Issue - State: open - Opened by matil019 over 6 years ago

#364 - Relax top-level restriction of parseJSON

Issue - State: open - Opened by matil019 over 6 years ago - 1 comment

#363 - WIP: Implement Java Interfaces with Frege Records

Pull Request - State: open - Opened by matil019 over 6 years ago

#362 - compiler aborts in type checker

Issue - State: closed - Opened by Ingo60 over 6 years ago
Labels: bug

#361 - PoC: Implement Java pure interface with Frege record

Pull Request - State: closed - Opened by matil019 almost 7 years ago

#360 - Implement Java Interface with Frege Record

Issue - State: open - Opened by matil019 almost 7 years ago - 18 comments
Labels: proposal

#359 - Compile regression tests in a dedicated directory

Pull Request - State: closed - Opened by matil019 almost 7 years ago - 1 comment

#358 - In overload resolution, when there are many possibilities left, compiler should ignore the ones that result in a function type if there is at least one with a non-function type.

Issue - State: closed - Opened by Ingo60 almost 7 years ago
Labels: inconvenience

#357 - foldlM/foldrM doesn't work with Maybe and other pure monads

Issue - State: closed - Opened by matil019 almost 7 years ago - 14 comments
Labels: inconvenience

#356 - make releases more easily available for users of maven/gradle/sbt/leinigen etc.

Issue - State: open - Opened by Dierk almost 7 years ago - 25 comments

#355 - abort in type checking with (? extends Object)

Issue - State: closed - Opened by Ingo60 almost 7 years ago
Labels: bug

#354 - Automation of Foreign Function (aka Native) Interface

Issue - State: open - Opened by Ingo60 almost 7 years ago - 3 comments
Labels: proposal

#353 - Fix regression of -ascii

Pull Request - State: closed - Opened by matil019 almost 7 years ago - 4 comments

#352 - Add compiler options to generate java gvars in ASCII chars

Pull Request - State: closed - Opened by matil019 almost 7 years ago - 5 comments

#351 - Wrong semantic of newtype

Issue - State: open - Opened by yuxuanchiadm almost 7 years ago - 3 comments
Labels: compatibility, works as designed

#350 - Recent development version of frege crashes javac when compiling compiler2

Issue - State: closed - Opened by yuxuanchiadm almost 7 years ago - 4 comments

#349 - Target fetch-fregec.jar in Makefile not working properly when .travis.yml using CRLF linefeed

Issue - State: closed - Opened by yuxuanchiadm almost 7 years ago

#348 - Type-flipping newtype doesn't work with Functor

Issue - State: closed - Opened by matil019 almost 7 years ago - 1 comment
Labels: works as designed

#347 - Documentation should not resolve type aliases

Issue - State: open - Opened by matil019 almost 7 years ago - 8 comments
Labels: inconvenience

#346 - Fix #345: Supress an invalid generics argument for ListEmpty.empty

Pull Request - State: closed - Opened by matil019 almost 7 years ago - 7 comments

#345 - ListEmpty.empty generates invalid Java code

Issue - State: closed - Opened by matil019 almost 7 years ago - 1 comment
Labels: bug, inconvenience

#336 - Rho problems: Type checking for constraints parameter in higher rank type not working properly

Issue - State: closed - Opened by yuxuanchiadm about 7 years ago - 10 comments

#329 - Request: Add Frege to some Linux repositories

Issue - State: open - Opened by ikciwor over 7 years ago - 3 comments
Labels: contributors wanted

#327 - Frege on JCenter and Maven still broken.

Issue - State: closed - Opened by russel almost 8 years ago - 4 comments

#317 - Any plans to support the Arrow syntax?

Issue - State: closed - Opened by rongcuid about 8 years ago - 1 comment
Labels: wontfix

#311 - Bounds

Pull Request - State: closed - Opened by Ingo60 over 8 years ago

#308 - Frege in SDKMAN!

Issue - State: closed - Opened by russel over 8 years ago - 1 comment
Labels: duplicate

#298 - functions enclosed in backquotes should be left-associative by default

Issue - State: closed - Opened by mabre over 8 years ago
Labels: compatibility

#297 - DOUBLE CASTING FATAL error when compiling higher ranked functions with -O

Issue - State: closed - Opened by mabre over 8 years ago - 1 comment
Labels: bug

#295 - BigInt Optimisation

Issue - State: closed - Opened by Zylviij over 8 years ago - 1 comment
Labels: works as designed

#294 - Compiler error with Num instance

Issue - State: closed - Opened by praalhans over 8 years ago - 4 comments
Labels: bug

#293 - Compiler error with higher-order types

Issue - State: closed - Opened by praalhans over 8 years ago - 5 comments

#290 - Fully support strictness flags in data declarations

Issue - State: closed - Opened by mabre over 8 years ago - 1 comment
Labels: compatibility

#289 - Document the run command line in the getting started guide

Issue - State: closed - Opened by DanKaplanSES over 8 years ago - 2 comments
Labels: wontfix, works as designed

#287 - Compiling big list results in error: code too large

Issue - State: closed - Opened by mabre over 8 years ago - 2 comments
Labels: wontfix

#286 - frege compiler should emit error message for implementation restriction

Issue - State: closed - Opened by taojang over 8 years ago - 6 comments

#285 - cannot find symbol »class β« in generated java code

Issue - State: closed - Opened by mabre over 8 years ago - 1 comment
Labels: wontfix, inconvenience

#283 - ForkIO - ThreadPoolExecutor

Issue - State: closed - Opened by corporatepiyush over 8 years ago - 2 comments
Labels: wontfix

#281 - + binds tighter than .&.

Issue - State: closed - Opened by mabre over 8 years ago - 1 comment
Labels: inconvenience, compatibility

#280 - http://try.frege-lang.org/ is down

Issue - State: closed - Opened by ndmitchell almost 9 years ago - 19 comments

#279 - small refinement at Issue278. Caution: not tested with latest compiler.

Pull Request - State: closed - Opened by Dierk almost 9 years ago - 1 comment

#277 - Two forall a in a type signature get confused

Issue - State: closed - Opened by mabre almost 9 years ago - 6 comments
Labels: bug

#275 - Feature Request: Java 8 build

Issue - State: closed - Opened by jprante almost 9 years ago - 3 comments

#274 - non-indented documentation comment is syntax error

Issue - State: closed - Opened by mabre almost 9 years ago - 2 comments
Labels: enhancement

#268 - Merge gen8 back into master

Pull Request - State: closed - Opened by Ingo60 almost 9 years ago

#261 - Support for installing Frege using sdkman

Issue - State: open - Opened by rajmahendra almost 9 years ago - 17 comments

#258 - Kind occurrence check deferred to the object definition.

Issue - State: open - Opened by Heimdell about 9 years ago - 2 comments
Labels: inconvenience, deferred

#254 - warnings building compiler e.g. appliction of <X> will diverge.

Issue - State: closed - Opened by raould about 9 years ago - 9 comments
Labels: proposal

#240 - Automate synchronized build versions between Frege and Leiningen tools

Issue - State: closed - Opened by seancorfield about 9 years ago - 4 comments

#236 - Haskell things for timing that might be in Frege but are not yet

Issue - State: closed - Opened by russel about 9 years ago - 4 comments