Skip to main content

Browse the archive

Revision ae9f5b95ebf7b36577861434e2099b638540d730 authored by Anish Tondwalkar on 20 October 2019, 06:45:47 UTC, committed by Anish Tondwalkar on 20 October 2019, 06:45:47 UTC 
bump iterations in Transformations.hs
1 parent eba2590
Raw File
sort00.fq 
// for LH Issue 773

constant foo : (func(0, [int; int]))

bind 0 x     : {v: Str | true}

constraint:
  env [ 0 ]
  lhs {v : int | (foo x = 0)}
  rhs {v : int | (3 = 1 + 2) }
  id 1 tag []
back to top