Changes between Version 1 and Version 9 of Ticket #10820


Ignore:
Timestamp:
Dec 15, 2015 11:11:01 PM (4 years ago)
Author:
bgamari
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10820

    • Property Status changed from new to closed
    • Property Differential Rev(s) changed from to Phab:D1200
    • Property Test Case changed from to th/T18020.hs
    • Property Milestone changed from to 8.0.1
    • Property Owner set to spinda
    • Property Resolution changed from to fixed
  • Ticket #10820 – Description

    v1 v9  
    33Sample specification, to get things started:
    44
    5 {{{
     5{{{#!hs
    66enabledExts :: Q [Extension]
    77isExtEnabled :: Extension -> Q Bool