search

Frege / frege-native-gen

Frege code generator for Java classes
17 stars 9 forks source link

Change constructors being impure by default #7

Closed mmhelloworld closed 9 years ago

mmhelloworld commented 9 years ago

See here for a detailed description: https://github.com/Frege/native-gen/issues/6#issuecomment-65934714

mmhelloworld commented 9 years ago

Fixed with https://github.com/Frege/native-gen/commit/80b09d5bbc72fcb1b4bd19a132b987bff9b07078 .