ArrityCheck.gf « update « compiler « testsuite - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/testsuite/compiler/update/ArrityCheck.gf

blob: 9ee03ba6e4ecdca61e89b44ee133c5bd875a291f (plain)

abstract ArrityCheck = {
  fun f : Int -> Int -> Int ;
  def f 0 = \x -> x ;
      f 1 1 = 0 ;
}