search

Frege / frege

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
https://github.com/Frege/frege/wiki/_pages
Other
3.64k stars 145 forks source link

Compiler aborts on polymorphic record fields. #55

Closed Ingo60 closed 9 years ago

Ingo60 commented 11 years ago

Example: 

data Rec a b = R { name :: forall f. Functor f => f a -> f String, age :: b }

Compiler aborts with

frege.runtime.Undefined: bound Meta not allowed in substTau

This is due to a wrong assumtion on my side, it used to work earlier. Should run once compiler is purified.

Ingo60 commented 10 years ago

Currently, this bug is prevented from happening. :) Needs more investigation, though.

Ingo60 commented 9 years ago

This is now working fine. (3.22.367)