search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

builtin-arrays is broken, cogent does not compile. #315

Closed gteege closed 4 years ago

gteege commented 4 years ago

(I hope you will not begin to hate me ...) When doing 

make INSTALL_FLAGS='--enable-tests --force-reinstalls --flags="+builtin-arrays"'

in branch master the compiler signals an error:

[46 of 70] Compiling Cogent.TypeCheck.Generator ( src/Cogent/TypeCheck/Generator.hs, dist/dist-sandbox-49115f4a/build/Cogent/TypeCheck/Generator.o )

src/Cogent/TypeCheck/Generator.hs:264:31: error:
    Data constructor not in scope: F :: TCType -> TCType
    |
264 |   return (mconcat cs <> cz <> F (T $ TArray alpha n) :< F t, ArrayLit es')
    |                               ^
zilinc commented 4 years ago

We have reworked the built-in arrays and augmented it with more features. They are still WIP and are therefore not merged to master.