Cross Reference: Builtin.hascasl
xref: /hets/ToHaskell/test/Builtin.hascasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
9efe0ca32bd86630c33e73d5c7bd3f1c0642ebffChristian Maedertype dummy
9efe0ca32bd86630c33e73d5c7bd3f1c0642ebffChristian Maeder
9efe0ca32bd86630c33e73d5c7bd3f1c0642ebffChristian Maederpred p : dummy
9efe0ca32bd86630c33e73d5c7bd3f1c0642ebffChristian Maeder
9efe0ca32bd86630c33e73d5c7bd3f1c0642ebffChristian Maedervar x : dummy
9efe0ca32bd86630c33e73d5c7bd3f1c0642ebffChristian Maeder
9efe0ca32bd86630c33e73d5c7bd3f1c0642ebffChristian Maeder. p x
9efe0ca32bd86630c33e73d5c7bd3f1c0642ebffChristian Maeder
9efe0ca32bd86630c33e73d5c7bd3f1c0642ebffChristian Maeder. not (p x)
9efe0ca32bd86630c33e73d5c7bd3f1c0642ebffChristian Maeder
9efe0ca32bd86630c33e73d5c7bd3f1c0642ebffChristian Maeder. p x = p x when def (p x) \/ false else p x

Indexes created Tue Jul 24 14:28:13 CEST 2018