在使用Gradle时，如何让Frege编译器查看Android API类？

buildscript {
    repositories {
        mavenCentral()
    }
    dependencies {
        classpath 'org.frege-lang:gradle-plugin:3.25.1'
    }
}

apply plugin: 'frege'

frege {
    sourceSets {
        main {
            frege {
                srcDir 'src/main/frege'
                include '**/*.fr'
            }
            java {
                srcDir 'src/main/java'
            }
        }
    }
    dependencies {
        compile 'org.frege-lang:frege-android:1.3.3'
        compile 'com.android.support:appcompat-v7:28.0.0'
        // 添加其他所需的Android API依赖
    }
}

module Main where

import android.widget.Toast

main :: IO ()
main = do
    let context = Android.Context.getApplicationContext()
    Toast.makeText(context, "Hello Frege!", Toast.LENGTH_SHORT).show()