File: restore.fut

package info (click to toggle)
haskell-futhark 0.25.32-2
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 18,236 kB
  • sloc: haskell: 100,484; ansic: 12,100; python: 3,440; yacc: 785; sh: 561; javascript: 558; lisp: 399; makefile: 277
file content (9 lines) | stat: -rw-r--r-- 267 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
 
-- Test that we can store and restore opaques.

type whatever [n] = {vec: [n](i64, bool), b:bool}

entry mk (b: bool) : whatever []  = {vec = [(1,b),(2, !b)], b}

entry unmk ({vec, b}: whatever []) : ([]i64, []bool, bool) =
  let (xs,ys) = unzip vec
  in (xs, ys, b)