File: a.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 (12 lines) | stat: -rw-r--r-- 170 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
 
type s = i32

entry a (x: s) : s = x + 2

type t1 = {x:[1]i32}
type t2 = t1

entry b (x: i32) : t1 = {x=[x + 3]}

entry c : t1 -> t2 = id

entry d ({x}: t2) : i32 = x[0]