nadia-polikarpova / synquid Goto Github PK

Contributors

Stargazers

Forkers

amcknight mathiasbartl michaelbjames wz1000 gmhta xyunknown kazikame qinheping synergistics shingarov negabinary hgoldstein95

docker run --name synquid -it yinengy/synquid
synquid <your_program_filename>

replicate :: n: Nat -> x: a -> {List a | len _v == n}

replicate :: x: a -> {List a | len _v == 4}

/var/www/comcom/tmp/Synquid/0719913783814785/Synquid.sq:29: Error:
Cannot match shape 'Bool'
with shape '_'
when checking neq :: X1:_ -> X0:_ -> _
in
\x .
match neq ?? ?? with

replicate :: x: a -> {List a | len _v == 3}

replicate = \x . Cons x (Cons x (Cons x Nil))