Commit 0d8e310a authored by simonpj's avatar simonpj
Browse files

Use the RebindableSyntax flag, not NoImplicitPrelude

parent 34d3bca7
{-# OPTIONS -XNoImplicitPrelude #-}
{-# OPTIONS -XRebindableSyntax #-}
-- Haskell98!
-- Tests of the do-notation for the parameterized monads
......
{-# LANGUAGE NoImplicitPrelude, MultiParamTypeClasses,
{-# LANGUAGE RebindableSyntax, MultiParamTypeClasses,
FlexibleInstances #-}
-- Tests of the do-notation for the restricted monads
......
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE RebindableSyntax #-}
-- Trac #303
......
{-# LANGUAGE NoImplicitPrelude, NPlusKPatterns #-}
{-# LANGUAGE RebindableSyntax, NPlusKPatterns #-}
module RebindableCase1 where
{
......
{-# LANGUAGE NoImplicitPrelude, NPlusKPatterns #-}
{-# LANGUAGE RebindableSyntax, NPlusKPatterns #-}
module Main where
{
......
{-# LANGUAGE NoImplicitPrelude, NPlusKPatterns #-}
{-# LANGUAGE RebindableSyntax, NPlusKPatterns #-}
module Main where
{
......
{-# LANGUAGE NoImplicitPrelude, NPlusKPatterns #-}
{-# LANGUAGE RebindableSyntax, NPlusKPatterns #-}
module Main where
{
......
{-# LANGUAGE NoImplicitPrelude, NPlusKPatterns, TypeSynonymInstances,
{-# LANGUAGE RebindableSyntax, NPlusKPatterns, TypeSynonymInstances,
MultiParamTypeClasses, FunctionalDependencies #-}
module Main where
......
{-# LANGUAGE NoImplicitPrelude, NPlusKPatterns, Rank2Types,
{-# LANGUAGE RebindableSyntax, NPlusKPatterns, Rank2Types,
ScopedTypeVariables, FlexibleInstances #-}
module Main where
{
......
{-# OPTIONS -XNoImplicitPrelude #-}
{-# OPTIONS -XRebindableSyntax #-}
-- This one tests rebindable syntax for do-notation
......
{-# LANGUAGE NoImplicitPrelude, MultiParamTypeClasses #-}
{-# LANGUAGE RebindableSyntax, MultiParamTypeClasses #-}
-- Trac #1537
......
{-# LANGUAGE NoImplicitPrelude, FlexibleInstances,
{-# LANGUAGE RebindableSyntax, FlexibleInstances,
MultiParamTypeClasses, FunctionalDependencies #-}
-- Trac #1537
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment