Abstract newtypes are not accepted by the compiler (#17) · Issues · clean-compiler-and-rts / compiler

Abstract newtypes are not accepted by the compiler

nt.dcl

definition module nt
:: NT a

nt.icl

implementation module nt
:: NT a =: NT a

gives the following error:

Error [nt.icl,3,NT]:  type definition in the impl module conflicts with the def module

To upload designs, you'll need to enable LFS. More information